面向安全性需求的安全构件模型框架研究  

Research into safety component model framework of safety requirement-oriented

作　　者：喻钢[1,2] 徐中伟[1] 

机构地区：[1]同济大学嘉定校区电子与信息工程学院,上海201804 [2]上海大学嘉定校区悉尼工商学院,上海201800

出　　处：《计算机应用》2008年第11期2929-2932,2939,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60674004);铁道部科技研究开发计划课题(2007X003)

摘　　要：构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。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）.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]