Research into safety component model framework of safety requirement-oriented

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