| 一种航空电子系统安全性需求验证方法 |
| |
| 引用本文： | 丁明,张书玲,张琛,张军.一种航空电子系统安全性需求验证方法[J].西安电子科技大学学报,2019,46(3):66-73. |
| |
| 作者姓名： | 丁明 张书玲 张琛 张军 |
| |
| 作者单位： | 1. 西北大学 信息科学与技术学院,陕西 西安 7101272. 西安航空计算技术研究所,陕西 西安 7101193. 西安电子科技大学 计算机科学与技术学院,陕西 西安 710071 |
| |
| 基金项目： | 国家自然科学基金(61502365);陕西省重点研发计划一般项目(2019GY-042) |
| |
| 摘 要： | 针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。
|
| 关 键 词： | 航空电子系统 安全性 形式化方法 模型检测 |
| 收稿时间： | 2019-01-06 |
Method for the verification of safety requirements of avionics systems |
| |
| DING Ming,ZHANG Shuling,ZHANG Chen,Zhang Jun.Method for the verification of safety requirements of avionics systems[J].Journal of Xidian University,2019,46(3):66-73. |
| |
| Authors: | DING Ming ZHANG Shuling ZHANG Chen Zhang Jun |
| |
| Affiliation: | 1. School of Information Science and Technology, Northwest University, Xi'an, 710127, China;2. Xi'an Aeronautics Computing Technique Research Institute, AVIC, Xi'an, 710119, China;3. School of Computer Science and Technology, Xidian University, Xi'an, 710071, China |
| |
| Abstract: | |
| |
| Keywords: | avionics systems safety formal methods model checking |
|
| 点击此处可从《西安电子科技大学学报》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报》下载全文 |
|
