| 民航业务系统的安全性分析与验证 |
| |
| 引用本文： | 邢逆舟,王立松. 民航业务系统的安全性分析与验证[J]. 计算机与现代化, 2014, 0(10): 46-51. DOI: 10.3969/j.issn.1006-2475.2014.10.011 |
| |
| 作者姓名： | 邢逆舟 王立松 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院,江苏 南京,210016 |
| |
| 基金项目： | 国家重点基础研究发展计划项目 |
| |
| 摘 要： | 民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件，因此民航业务系统的安全性十分重要，形式化验证方法是保障系统安全性的重要技术手段。本文结合故障树分析技术提取民航业务逻辑的安全性验证需求，并用新〖JP2〗提出的ABPD业务流程模型为民航业务系统建模，进一步分析并定义出6种安全性性质。最后，采用图搜索方法对ABPD〖JP〗模型进行安全性验证并给出具体算法实现。实验结果表明了算法和程序的有效性。
|
| 关 键 词： | 民航业务系统 故障树分析技术 ABPD模型 安全性验证 模型验证 |
| 收稿时间： | 2014-11-05 |
Safety Analysis and Verification on Civil Aviation Business System |
| |
| XING Ni-zhou,WANG Li-song. Safety Analysis and Verification on Civil Aviation Business System[J]. Computer and Modernization, 2014, 0(10): 46-51. DOI: 10.3969/j.issn.1006-2475.2014.10.011 |
| |
| Authors: | XING Ni-zhou WANG Li-song |
| |
| Affiliation: | ( College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China) |
| |
| Abstract: | The safety of the civil aviation business system is very important because it is a necessary condition for civil aviation enterprise to run.Formal verification method is an important approach to insuring system safety.In this paper, firstly, the fault tree analysis technology is introduced to analyze the safety requirements and the new ABPD modeling language is promoted.Sec-ondly, six kinds of safety properties are defined through analyzing the model.Thirdly, safety verification is achieved through graph search algorithm and the concrete implementation of the algorithm is provided.Lastly, the experiment results explain the completed verification process and the validity of the method. |
| |
| Keywords: | civil aviation business system fault tree analysis technology ABPD modeling safety verification model verification |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机与现代化》浏览原始摘要信息 |
|
点击此处可从《计算机与现代化》下载全文 |
