%0 Journal Article
%T Research into safety component model framework of safety requirement-oriented<br>面向安全性需求的安全构件模型框架研究
%A YU Gang
%A XU Zhong-wei
%A <br>喻钢
%A 徐中伟
%J 计算机应用
%D 2008
%I 
%X 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).
%K Safety Component (SC)
%K safety-critical software
%K safety requirement<br>安全构件
%K 安全苛求软件
%K 安全性需求
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=10CA0FB0D271FB7F02A40920764CDE43&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=708DD6B15D2464E8&sid=E0584D3CF9A385B5&eid=AD5C7547F4E32E81&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=11