北京航空航天大学学报 ›› 2016, Vol. 42 ›› Issue (11): 2358-2370.doi: 10.13700/j.bh.1001-5965.2015.0757

• 论文 • 上一篇    下一篇

基于场景控制特征的安全性需求分析方法

朱丹江, 姚淑珍, 谭火彬   

  1. 北京航空航天大学 计算机学院, 北京 100083
  • 收稿日期:2015-11-17 修回日期:2015-12-18 出版日期:2016-11-20 发布日期:2016-11-30
  • 通讯作者: 姚淑珍,Tel.:010-82339434,E-mail:szyao@buaa.edu.cn E-mail:szyao@buaa.edu.cn
  • 作者简介:朱丹江,男,博士研究生。主要研究方向:软件工程、软件测试。E-mail:danjiang@buaa.edu.cn;姚淑珍,女,博士,教授,博士生导师。主要研究方向:先进软件工程技术、形式化方法、Petri网理论。Tel.:010-82339434,E-mail:szyao@buaa.edu.cn;谭火彬,男,博士,讲师。主要研究方向:软件工程、软件建模。
  • 基金资助:
    航空科学基金(2013ZC51023)

Safety requirements analysis method based on control characteristics of scenarios

ZHU Danjiang, YAO Shuzhen, TAN Huobin   

  1. School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
  • Received:2015-11-17 Revised:2015-12-18 Online:2016-11-20 Published:2016-11-30

摘要: 安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。

关键词: 安全性需求, 需求分析, 控制分析, 场景分析, 控制建模

Abstract: Safety requirements are critical to ensure the system safety. With the increase of system complexity and coupling degree, it becomes more difficult to analyze and extract the safety requirements. We construct the variables effect graph which describes the relationships among system variables in the control process through control structure and process analysis modeling for the system scenario. Then we present a safety requirements analysis method. By using the method, the control process is analyzed with variables effect graph etc., and the hazardous control actions based on the systems-theoretic accident model and process (STAMP) are created, and thereby the system safety requirements are generated. The experimental results show that our method is effective on correctness and consistency.

Key words: safety requirements, requirements analysis, control analysis, scenario analysis, control modeling

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发