[1] FLEMING C H,SPENCER M,THOMAS J,et al. Safety assurance in NextGen andcomplex transportation systems[J]. Safety Science, 2013,55:173-187. [2] 吕小虎, 韩笑东, 宫江雷, 等. 基于系统多维要素的安全关键软件验证方法[J]. 计算机科学,2019,46(9):156-161.(LYU X H,HAN X D,GONG J L,et al. Systemic muti-factors based verification method for safety-critical software[J]. Computer Science,2019,46(9):156-161.) [3] 胡军, 张维珺, 李宛倩. 面向需求的安全关键系统形式化建模与验证方法研究[J]. 计算机工程与科学,2019,41(8):1426-1433. (HU J,ZHANG W J,LI W Q. A requirement oriented formal modeling and verification method for safety critical systems[J]. Computer Engineering and Science,2019,41(8):1426-1433.) [4] 朱丹江, 姚淑珍, 谭火彬. 基于场景控制特征的安全性需求分析方法[J]. 北京航空航天大学学报,2016,42(11):2358-2370. (ZHU D J,YAO S Z,TAN H B. Safety requirements analysis method based on control characteristics of scenarios[J]. Journal of Beijing University of Aeronautics and Astronautics,2016,42(11):2358-2370.) [5] 王鹏, 吴康, 阎芳, 等. 基于系统理论过程分析的安全关键软件安全性验证方法[J]. 计算机应用,2019,39(11):3298-3303. (WANG P,WU K,YAN F,et al. Security verification method of safety critical software based on system theoretic process analysis[J]. Journal of Computer Applications,2019,39(11):3298-3303.) [6] LEVESON N G. Engineering a Safer World:Systems Thinking Applied to Safetys[M]. Cambridge:MIT Press,2012:1582-1592. [7] THOMAS J. Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis[D]. Cambridge:Massachusetts Institute of Technology,2013:66-127. [8] ABDULKHALEQ A, WAGNER S, LEVESON N. Acomprehensive safety engineering approach for software-intensive systems based on STPA[J]. Procedia Engineering,2015,128:2-11. [9] 刘宏杰, 唐涛, 金夏垚, 等. 基于STPA方法的平交道口安全需求分析[J]. 北京交通大学学报,2018,42(2):84-90.(LIU H J, TANG T,JIN X Y,et al. A safety requirements analysis approach for level crossing based on STPA[J]. Journal of Beijing Jiaotong University,2018,42(2):84-90.) [10] 徐燕, 钟德明, 尹帅. 基于系统理论过程分析的软件安全性分析[J]. 计算机应用,2013,33(S2):238-240.(XU Y,ZHONG D M,YIN S. Analysis of software safety based on system theoretic process analysis[J]. Journal of Computer Applications,2013,33(S2):238-240.) [11] 张广泉. 形式化方法导论[M]. 北京:清华大学出版社,2015:1-7.(ZHANG G Q. Introduction to Formal Methods[M]. Beijing:Tsinghua University Press,2015:1-7.) [12] 尹安东, 赵韩, 孙骏, 等. 基于混杂系统理论的混合动力汽车驱制动控制研究[J]. 汽车工程,2015,37(10):1150-1155.(YIN A D,ZHAO H,SUN J,et al. A study on the driving and braking controls for hybrid electric vehicle based on hybrid system theory[J]. Automotive Engineering,2015,37(10):1150-1155.) [13] PNUELI A. The temporal logic of programs[C]//Proceedings of the 18th Annual Symposium on Foundations of Computer Science. Piscataway:IEEE,1977:46-57. [14] 秦楠, 马亮, 黄锐. 基于STPA的潜艇鱼雷发射控制系统安全性分析[J]. 系统工程理论与实践,2019,39(12):3208-3216. (QIN N,MA L,HUANG R. Safety analysis for submarine torpedo launch control system based on STPA[J]. System Engineering-Theory and Practice,2019,39(12):3208-3216.) [15] CIMATTI A,CLARKE E,GIUNCHIGLIA F,et al. NuSMV:a new symbolic model verifier[C]//Proceedings of the 11th International Conference on Computer Aided Verification,LNCS 1633. Berlin:Springer,1999:495-499. |