| 基于控制约束的安全性验证方法 |
| |
| 引用本文： | 龚时雨,郭驰名.基于控制约束的安全性验证方法[J].导弹与航天运载技术,2009(6). |
| |
| 作者姓名： | 龚时雨 郭驰名 |
| |
| 作者单位： | 国防科学技术大学信息系统与管理学院,长沙,410073 |
| |
| 摘 要： | 事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响.依据社会-技术系统控制模型建立层次化安全控制结构,运用安全控制约束考查系统各层次组件间交互作用中可能存在的控制缺陷,实现对系统满足安全要求的验证,给出了一个对设计方案进行验证的应用示例.
|
| 关 键 词： | 安全性验证 控制约束 安全控制结构 |
A Safety Verification Method Based on Control Constraints |
| |
| Gong Shiyu,Guo Chiming.A Safety Verification Method Based on Control Constraints[J].Missiles and Space Vehicles,2009(6). |
| |
| Authors: | Gong Shiyu Guo Chiming |
| |
| Abstract: | 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. |
| |
| Keywords: | Safety verification Control constraint Safety control structure |
| 本文献已被 万方数据 等数据库收录！ |
|
