|
|||||
|
|
| 基于自动化安全性分析的仿真模型构建方法 | |
| 引用本文： | 王丹华,卢威,潘金贵,陈斌. 基于自动化安全性分析的仿真模型构建方法[J]. 系统仿真学报, 2013, 25(5) |
| 作者姓名： | 王丹华 卢威 潘金贵 陈斌 |
| 作者单位： | 1. 南京大学计算机科学与技术系,南京 210093;马塞诸塞大学阿莫斯特校区计算机科学系,美国马萨诸塞州 01003 2. 南京大学计算机科学与技术系,南京,210093 3. 马塞诸塞大学阿莫斯特校区计算机科学系,美国马萨诸塞州 01003 |
| 基金项目： | 国家自然科学基金，国家自然科学基金重点资助，南京大学计算机软件新技术国家重点实验室开放课题 |
| 摘 要： | 研究针对医疗过程或其他高风险过程提出一种建立高安全性仿真模型的系统框架.基于Little-JIL语言,力医疗过程建立仿真模型；在此基础上将仿真模型作为输入提出自动化安全性分析技术对其进行风险评估,分别提出影响树与故障树的自动构建算法；最终根据评估结果对仿真模型提出改进措施.实验表明该方法在医疗过程投入实施前有效发现其中潜在漏洞,改善其安全性,从而降低医疗过程在具体实施中的风险,避免事故的发生. |
| 关 键 词： | 仿真模型 医疗过程 安全性分析 自动化 影响树 故障树 |
Simulation Modeling Method Based on Automatic Safety Analysis Techniques |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |