基于控制约束的安全性验证方法

作     者：龚时雨 郭驰名 Gong Shiyu;Guo Chiming

作者机构：国防科学技术大学信息系统与管理学院长沙410073 

基　　金：装备预言基金项目(9140A19030306KG) 

出 版 物：《导弹与航天运载技术》 (Missiles and Space Vehicles)

年 卷 期：2009年第6期

页      码：55-59页

摘      要：事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响。依据社会-技术系统控制模型建立层次化安全控制结构,运用安全控制约束考查系统各层次组件间交互作用中可能存在的控制缺陷,实现对系统满足安全要求的验证,给出了一个对设计方案进行验证的应用示例。

主 题 词：安全性验证 控制约束 安全控制结构 

学科分类：08[工学] 0837[0837] 

D　O　I：10.3969/j.issn.1004-7182.2009.06.013

馆 藏 号：203417309...