基于自动化安全性分析的仿真模型构建方法  

Simulation Modeling Method Based on Automatic Safety Analysis Techniques

作　　者：王丹华[1,2] 卢威[1] 潘金贵[1] 陈斌 

机构地区：[1]南京大学计算机科学与技术系,南京210093 [2]马塞诸塞大学阿莫斯特校区计算机科学系,美国马萨诸塞州01003

出　　处：《系统仿真学报》2013年第5期899-906,共8页Journal of System Simulation

基　　金：国家自然科学基金(60473113);国家自然科学基金重点资助(60533080);南京大学计算机软件新技术国家重点实验室开放课题(KFKT2009A13)

摘　　要：研究针对医疗过程或其他高风险过程提出一种建立高安全性仿真模型的系统框架。基于Little-JIL语言,为医疗过程建立仿真模型;在此基础上将仿真模型作为输入提出自动化安全性分析技术对其进行风险评估,分别提出影响树与故障树的自动构建算法;最终根据评估结果对仿真模型提出改进措施。实验表明该方法在医疗过程投入实施前有效发现其中潜在漏洞,改善其安全性,从而降低医疗过程在具体实施中的风险,避免事故的发生。Most medical processes are safety critical and therefore could benefit from proactive safety analysis techniques that attempt to detect hazards and weaknesses of such processes before they are put into use. A framework was proposed to produce simulation models with improved safety. Automatic algorithms were introduced into this framework to generate both effects trees and fault trees for these medical processes. With the approach, recommended changes would be made to the simulation models which would then be reevaluated to assure that the problem had been effectively addressed.

关 键 词：仿真模型 医疗过程 安全性分析 自动化 影响树 故障树 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]