应用Stateflow技术的安全性建模与仿真

王蓓; 赵廷弟

应用Stateflow技术的安全性建模与仿真

王蓓,
赵廷弟

北京航空航天大学可靠性与系统工程学院, 北京 100191

基金项目: 国防预研资助项目(51319040201)

详细信息

中图分类号: N 945
计量
- 文章访问数: 2533
- HTML全文浏览量: 64
- PDF下载量: 904
- 被引次数: 0
出版历程
- 收稿日期: 2010-07-20
- 网络出版日期: 2011-11-30

Safety simulation applying Stateflow technology

School of Reliability and Systems Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

摘要

摘要: 为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.
- 系统安全性 /
- 仿真 /
- 模型设计 /
- 混合系统
Abstract: The accident-process oriented safety simulation method was proposed to ensure the safety of high risk systems, as well as explore the movement during the accident evolution and emergency treatment. The modeling and simulation method was designed upon the principle of finite state machine and the technology of Stateflow. By this method, the modeling and simulation of process logic and continues mechanism in hybrid system can be achieved. Then the simulation result can reflect the system characteristic of state transforming and man-machine communicating, and the mechanism in the accident process, accordingly, the quantitative support can be provided for the emergency treatment decision-making. Finally, the model design and simulation experiment for the typical accident process in some product were implemented, and the validity and rationality of this proposed method were validated by the result.
- system safety /
- simulation /
- model building /
- hybrid systems

HTML全文

参考文献(1)

[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

施引文献

资源附件(0)

访问统计