Relation between global diagnosis and diagnoses obtained from subsystems

This paper presents a behavioural model to describe the realisation of a system objective from the services provides by the components it groups. The behavioural model takes into account both normal and faulty situations and allows to diagnose component faults. As behavioural model can be difficult to build and apprehend for large scale systems, the paper proposes an algorithm to diagnose system faults from the behavioural models of its subsystems without building the entire system behavioural model.