On Integrating Component into Safety Critical System

Author

Wang, Haifeng ; Tang, Tao

Author_Institution

Sch. of Electron. & Inf. Eng., Beijing Jiaotong Univ., Beijing, China

fYear

2009

fDate

19-20 Dec. 2009

Firstpage

1

Lastpage

4

Abstract

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.

Keywords

control engineering computing; formal verification; railways; safety-critical software; COTS component; SCADE tool set; component-based development; formal method; railway communications-based train control system; safety critical system; safety verification method; zone controller; Communication system control; Communication system traffic control; Control systems; Laboratories; Programming; Rail transportation; Railway safety; Software safety; Software systems; Traffic control;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-4994-1

Type

conf

DOI

10.1109/ICIECS.2009.5362961

Filename

5362961