Research into safety component model framework of safety requirement-oriented
面向安全性需求的安全构件模型框架研究

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