面向安全性需求的安全构件模型框架研究

Research into safety component model framework of safety requirement-oriented

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。

Component theories are becoming more and more important in software engineering. The traditional component technology can＇t satisfy safety-critical software development requirement. A formal Safety Component （SC） model framework based on safety, which used the fault model and redundancy comparison to ensure the safety property of component, was proposed to standardize components specifications and designs to satisfy the development requirement of safety-critical software. The safety component model has been used in the simulation and testing system of CTCS-2 Train Control Center （TCC）.