计算机与现代化

• 人工智能 • 上一篇    下一篇

基于模型驱动的航电系统安全性分析

  

  1. (南京航空航天大学计算机科学与技术学院,江苏南京210016)
  • 收稿日期:2014-09-30 出版日期:2015-01-19 发布日期:2015-01-21
  • 作者简介:逆舟(1990-),男,安徽宣城人,南京航空航天大学计算机科学与技术学院硕士研究生,研究方向:航空电子,软件工程,分布式计算; 王立松(1969-),副教授,博士,研究方向:航空电子,软件工程,分布式计算,操作系统。
  • 基金资助:
    国家重点基础研究计划(973计划)项目(2014CB744900)

Safety Analysis for Avionics System Based on Model Driven

  1. (College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)
  • Received:2014-09-30 Online:2015-01-19 Published:2015-01-21

摘要: 针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为应用操作层、功能层和资源层3个层次,采用形式化方法分别对每个层次进行建模,利用模型转换技术实现3个层次之间的语义转换,确保语义的一致性。利用AADL语言对系统应用操作和功能层建模,实现对应用操作模式完备性检查,利用AltaRica语言对系统的异常行为建模,实现对系统的动态失效问题分析。本文以飞机自动驾驶系统为例,利用AADL建模工具Osate实现对应用操作模式的分析,借助于基于AltaRica语言的SimFia工具对其安全性进行分析,结果验证了所提出方法的有效性和实用性。

关键词: 模型驱动方法, 航空电子系统, 安全性分析, AADL, AltaRica

Abstract: This paper introduces a new modelbased method for safety analysis to address the problem of failure modes integrity, dynamic failure and data consistency that currently encountered in safety assessments for integrated avionics system. The method model integrated avionics system hierarchically with layers of application operation, function and resource. It simplifies a large part of the analysis, the development of fault trees, and can guarantee the consistency of results. AADL language is used to model application layer to check the integrity of operations modes and AltaRica is used to model dysfunction of system to solve the problem of dynamic failure. The efficiency and practicality of the method is illustrated by analyzing safety of auto pilot system through Osate tool which used for analyzing operational modes of application and SimFia tool which used for safety analysis.

Key words: 模型驱动方法, 航空电子系统, 安全性分析, AADL, AltaRica

中图分类号: