基于有限状态机的安全性仿真技术

王蓓; 赵廷弟; 焦健

基于有限状态机的安全性仿真技术

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

详细信息

中图分类号: N 945
计量
- 文章访问数: 3511
- HTML全文浏览量: 59
- PDF下载量: 895
- 被引次数: 0
出版历程
- 收稿日期: 2010-01-22
- 网络出版日期: 2011-04-30

Safety simulation technology based on finite state machine

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

摘要

摘要: 为了研究系统中事故的动态变化机理,探索事故发展过程中的运动行为,制定正确的应急控制措施,提出了基于有限状态机理论的安全性建模仿真方法.结合Simulink/Stateflow工具开发了面向事故机理与应急过程的建模仿真平台,实现了系统的机理模型、安全状态控制模型以及应急操作模型的有效融合.该平台能实现对人-机-环境综合系统进行动态仿真,为明确事故的动态变化过程和制定应急控制措施提供依据.通过对某舰船舱室事故过程的仿真实例,验证了该方法的有效性和合理性.
- 安全性 /
- 仿真 /
- 有限状态机 /
- Simulink /
- Stateflow
Abstract: The safety modeling and simulation method based on finite state machine theory was proposed to research the dynamic change mechanism of the accident in system, as well as explore the movement during the accident evolution and establish exact emergency treatment. The modeling and simulation platform for accident mechanism and control process was developed in the environment of Simulink/Stateflow. The combination of system mechanism model, safety state control model and emergency treatment model can be achieved in this platform. Therefore the dynamic simulation for such systems that integrated with human-machine and environment can be implemented in an effective way. Then the simulation results can be obtained, which provide reference for the precise identification of the accident process and the establishment of exact control treatment. Finally the accident simulation example was given, which proved the validity and rationality of this proposed method.
- safety /
- simulation /
- finite state machine /
- Simulink /
- Stateflow

HTML全文

参考文献(1)

[1] 陈宝智.危险源辨识评价与控制[M].成都:四川科学技术出版社,1996Chen Baozhi.Hazard source identification,assessment and control[M].Chengdu: Sichuan Technology Press,1996(in Chinese) [2] Badreddin E,Abdel-geliel M.Dynamic safety margin principle and application in control of safety critical systems[C]//Proceedings of the 2004 IEEE International Conference on Control Applications.Taipei,Taiwan:Concentration Banking Info,2004: 689-694 [3] 袁大祥,柯丹丹.事故的系统论[J].系统工程学报,2004,19(2):183-187Yuan Daxiang,Ke Dandan.System theory of accident[J].Journal of System Engineering,2004,19(2):183-187(in Chinese)[4] Hyunwoo Cho,Gary D Hachtel,Enrico Macii.Algorithms for approximate FSM traversal based on state space decomposition[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,1996,15(12):1465-1478 [5] Anastasios T Bouloutas,George W Hart,Mischa Schwartz.Fault identification using a finite state machine model with unreliable partially observed data sequences[J].IEEE Transactions on Communications,1993,41(7):1074-1083 [6] Chen Yiliang,Lin Feng.Safety control of discrete event systems using finite state machines with parameters[C]//Proceedings of the American Control Conference.Arlington:American Auotmatic Control Council,2001:975-980 [7] Gary D Hachtel,Enrico Macii,Abelardo Pardo,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 [8] Drumea A,Popescu C.Finite state machines and their applications in software for industrial control[C]//27th Int-l Spring Seminar on Electronics Technology.Bucharest,Romaina:IEEE,2004 [9] James H Williams.NAS system engineering manual version3.1[M].FAA System Engineering Council,2006:47-60 [10] Sameer Vittal,Michel Teboul.Performance and reliability analysis of wind turbines using Monte Carlo methods based on system transport theory[C]//13th AIAA/ASME/AHS Adaptive Structures Conference.Austin,Texas:Alexander Bell Drive,2005 [11] Martin J Ippel.Mental models as finite-state machines:examples and computational methods[R].AL/HR-TR-1997-0179,1997 [12] 陈桂明,张明照,戚红雨,等.应用MATLAB建模与仿真[M].北京:科学出版社,2001Chen Guiming,Zhang Mingzhao,Qi Hongyu.et al.Apply MATLAB to modeling and simulation[M].Beijing:Science Press,2001(in Chinese) [13] 黄永安,马路,刘慧敏.MATLAB7.0/Simulink6.0建模仿真开发与高级工程应用[M].北京:清华大学出版社,2005:236-256Huang Yongan,Ma Lu,Liu Huimin.MATLAB7.0/Simulink6.0 modeling simulation and advanced engineering application[M].Beijing: Tsinghua University Press,2005:236-256(in Chinese)

施引文献

资源附件(0)

访问统计