Safety simulation applying Stateflow technology

[1] 孙殿阁,孙佳,王淼,等.基于Bow-tie技术的民用机场安全风险分析应用研究[J].中国安全生产科学技术,2010,6(4):85-89 Sun Diange,Sun Jia,Wang Miao,et al.Application of the improved Bow-tie risk analysis technology in civil airport safety[J].Journal of Safety Science and Technology,2010,6(4):85-89(in Chinese) [2] 曾声奎,赵廷弟,张建国,等.系统可靠性设计分析教程[M].北京:北京航空航天大学出版社,2001:117-157 Zeng Shengkui,Zhao Tingdi,Zhang Jianguo,et al.System reliability design and analysis tutorial[M].Beijing:Beijing University of Aeronautics and Astronautics Press,2001:117-157(in Chinese) [3] 李堂经,王新阁,许卓然.基于蒙特卡洛仿真的动态故障树分析[J].兵工自动化,2010,29(3):42-46 Li Tangjing,Wang Xinge,Xu Zhuoran.Dynamic fault tree analysis based on Monte Carlo simulation[J].Ordnance Industry Automation,2010,29(3):42-46(in Chinese) [4] 马振宇.电网可靠性的蒙特卡洛仿真研究[J].电力系统保护与控制,2009,37(14):55-67 Ma Zhenyu.Research of Monte Carlo simulation for power system reliability assessment[J].Power System Protection and Control,2009,37(14):55-67(in Chinese) [5] Hachtel G D,Macii E,Pardo A,et al.Markovian analysis of large finite state machines[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996,15(12):1479-1493 [6] 孟海宁,齐勇,侯迪.基于非马尔可夫随机Petri网的软件再生建模与分析[J].计算机学报,2007,30(12):2212-2217 Meng Haining,Qi Yong,Hou Di.Modeling and analysis of software rejuvenation Based on non-Markovian stochastic Petri nets[J].Chinese Journal of Computers,2007,30(12):2212-2217(in Chinese) [7] 韩用明,吴相林,岳超源.基于SPN的软件过程模型及蒙特卡洛仿真[J].华中科技大学学报,2003,31(7):37-39 Han Yongming,Wu Xianglin,Yue Chaoyuan.Model of software process and Monte-Carlo simulation analysis based on SPN[J].Journal of Huazhong university of Science and Technology,2003,31(7):37-39(in Chinese) [8] Polic A,Hace A,Jezernik K.A recursive description of mixed time-and event-driven dynamic in mechatronic Systems[J].5th IEEE International Conference on Industrial Informatics,2007,19(11):293-298 [9] Williams J H.NAS system engineering manual[M].Version 3.1.Washington:FAA System Engineering Council,2006:4-6 [10] Rooney B D.Hybrid launch system vehicles,ground facilities and operations integration .AIAA 2006-7231,2006 [11] 张悦,王东风,韩璞,等.一类混杂系统的推广自动机模型及其仿真[J].系统仿真学报,2007,19(15):3546-3549 Zhang Yue,Wang Dongfeng,Han Pu,et al.Extended automata model and simulation for a class of hybrid systems[J].Journal of System Simulation,2007,19(15):3546-3549(in Chinese) [12] 黄永安,马路,刘慧敏.MATLAB 7.0/Simulink 6.0建模仿真开发与高级工程应用[M].北京:清华大学出版社,2005 Huang Yongan,Ma Lu,Liu Huimin.MATLAB 7.0/Simulink 6.0 modeling simulation and advanced engineering application[M].Beijing:Tsinghua University Press,2005(in Chinese) [13] 陈桂明,张明照,戚红雨,等.应用MATLAB建模与仿真[M].北京:科学出版社,2001 Chen Guiming,Zhang Mingzhao,Qi Hongyu,et al.Apply MATLAB to modeling and simulation[M].Beijing:Science Press,2001(in Chinese) [14] Barnard P A.Graphical techniques for aircraft dynamic model development .AIAA 2004-4808,2004 [15] The MathWorks Inc.Stateflow and Stateflow coder for use with Simulink[M].USA:The MathWorks Inc Copyright,2006