A Common Framework for Design and Safety Analyses using Formal Methods

摘要

We consider safety assessment of complex systems including software components. This paper describes a methodology for managing design, verification and impact of failures in an integrated framework based on SCADE, a design tool developed by Esterel Technologies, and Prover Plug-In [2] for SCADE, an automatic verification tool which we extended to support Fault Tree Analysis and Failure Mode and Effect Analysis. The main goal of the proposed methodology is to be an efficient way of developing correct and fault tolerant systems.