On Integrating Component into Safety Critical System

This paper illustrates a novel formal method of component integrating for component-based development in safety critical area. Formal definitions of COTS component and safety verification method are presented, as well as a development framework is shown. Furthermore, we demonstrate a case study of zone controller (ZC) from railway communications-based train control system, with the help of tool set SCADE. A component model and system safety model of ZC are described in detail. The result shows that formal methods open a way to overcoming the challenge of component-based safety critical system development.