基于模型的综合化航电系统资源配置安全性分析与研究

摘要

资源配置是综合模块化航空电子系统（IMA）设计的重要环节，配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性分析方法得到的结果往往不能展示其安全性属性，安全性分析结果不能直接反馈到系统设计模型中；其次由于缺少精确的系统结构模型及其故障模式，常常使得安全性工程师花费大量的精力去收集系统结构和行为信息。基于模型的安全性分析方法在很大程度上可以弥补传统方法的不足，但是现有基于模型的方法往往用到不同的分析工具，分析工具各有侧重，它们之间缺少必要的衔接。而要完整地分析IMA系统配置安全性需要在系统资源、功能综合和任务合成三个层次进行分析，需要用到IMA配置工具、体系结构分析工具和构建故障模式分析工具。在实际工程上，IMACT、AADL语言的工具和AltaRica语言的工具可以分别支持这三个层面的工作，但各工具的模型不能进行自动转换，使得整个分析工作是割裂的。为了更完整地分析IMA资源配置信息的安全性，需要将资源配置信息模型进行转换并进行功能和任务层面的安全性分析。
　　针对上述问题，本文完成了以下主要工作：
　　首先对IMA配置和ARINC653标准进行了分析和研究，设计了基于模型的航空电子系统资源配置信息的安全性分析和验证框架。
　　其次，利用EMF对符合ARINC653标准的IMA资源对象进行建模，并使用IMA资源配置工具IMACT对该模型进行配置，将该资源配置信息转换为AADL模型，将需要验证的安全性质用REAL语言进行描述并进行自动验证；并将该功能集成到IMACT中。
　　最后，利用得到的资源配置AADL模型，进一步对IMA系统应用操作层和功能层建模和分析，同时基于AltaRica语言建立失效模型，并利用SimFia工具得到故障树。

目录

封面

声明

中文摘要

英文摘要

目录

缩略词

第一章 绪论

1.1课题研究背景

1.2国内外研究现状

1.3研究目的和意义

1.4主要研究内容及各章节安排

第二章 相关基础知识

2.1 IMA系统

2.2 ARINC653标准

2.3 AADL

2.4 AltaRica

2.5基于模型的IMA资源配置安全性分析和验证

2.6本章小结

第三章 IMA资源配置的建模与模型转换

3.1基于EMF对IMA系统对象的建模

3.2 IMA资源配置信息转换为AADL模型

3.3本章小结

第四章 资源配置AADL模型的验证

4.1 REAL语言

4.2资源配置信息验证需求及其验证的REAL定理

4.3本章小结

第五章 IMA资源配置转换和验证工具的实现

5.1资源配置转换和验证工具的实现过程

5.2实例分析

5.3本章小结

第六章 IMA资源配置安全性分析与验证

6.1应用操作层

6.2功能层

6.3本章小结

第七章 总结与展望

7.1工作总结

7.2研究展望

参考文献

致谢

在学期间的科研成果及发表的学术论文