构件化安全苛求软件的安全接口策略  

Safety interface scheme for component-based safety critical software

作　　者：刘颖[1] 徐中伟[1] 

机构地区：[1]同济大学铁道与城市轨道交通研究院,上海2018041

出　　处：《计算机应用》2008年第11期2933-2935,2944,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60674004)

摘　　要：在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。Safety is still a crucial requirement in component-based safety critical software. A safety interface scheme under muhi-fauhs 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.

关 键 词：安全苛求软件 构件化软件 多故障模式 安全接口 安全性保障 

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