This paper describes a modular representation and compositional analysis of a system's hardware and software components, called Fault Propagation and Transformation Calculus (FPTC). We show how, given an architectural description of how components are combined into a whole system, together with an FPTC expression of each component's failure behaviour, the failure properties of the whole system can be computed automatically from the individual FPTC expressions. From a safety point of view, this provides some idea of robustness: the system's capability to withstand certain types of failures in individual components. It also provides a way to understand how and where to develop fault accommodation within an architecture.
Finally, REF describes a modular, compositional method, called Failure Propagation and Transformation Calculus (FPTC) to automatically derive the failure properties of a system, starting from a description of the architecture and the failure behaviour of single components.
Modular architectural representation and analysis of fault propagation and transformation
Proc. FESCA 2005, ENTCS 141(3), Elsevier
Computer Science