%0 Journal Article
%T Safety interface scheme for component-based safety critical software<br>构件化安全苛求软件的安全接口策略
%A LIU Ying
%A XU Zhong-wei
%A <br>刘颖
%A 徐中伟
%J 计算机应用
%D 2008
%I 
%X Safety is still a crucial requirement in component-based safety critical software. A safety interface scheme under multi-faults mode was introduced, and this scheme was applied to the development of railway computer interlocking software. By defining the safety interface for each component of the interlocking software, the safety of the interlocking system was guaranteed.
%K safety critical software
%K component-based software development
%K multi-faults mode
%K safety interface
%K safety guarantee<br>安全苛求软件
%K 构件化软件
%K 多故障模式
%K 安全接口
%K 安全性保障
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=642C50CC47BD1F934F21BBE46E66AB07&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=708DD6B15D2464E8&sid=EC06E8AA53347B6E&eid=943AC17D52E75B65&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=6