关键词: 安全构件, 安全苛求软件, 安全性需求

Abstract: 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).

Key words: Safety Component (SC), safety-critical software, safety requirement