摘要
事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响。依据社会-技术系统控制模型建立层次化安全控制结构,运用安全控制约束考查系统各层次组件间交互作用中可能存在的控制缺陷,实现对系统满足安全要求的验证,给出了一个对设计方案进行验证的应用示例。
It is difficult to take into account that safety problems caused by complex interactions between system components during the development and operation of engineering systems by the conventional event-based verification methods such as event tree, fault tree etc. According to the model of socio-technical control, a hierarchical safety control structure is firstly presented. Then, by means of safety control constraints, the control flaws which may exist in the complex interactions between system components on different levels of the hierarchical structure can be identified. As a result of that, whether the safety requirements have been fufilled can been verified. Finally, an example of verifying a design scheme safety is shown in detail by the proposed method.
出处
《导弹与航天运载技术》
北大核心
2009年第6期55-59,共5页
Missiles and Space Vehicles
基金
装备预言基金项目(9140A19030306KG)
关键词
安全性验证
控制约束
安全控制结构
Safety verification
Control constraint
Safety control structure.
