基于arinc653标准的aadl模型配置工具的研究与实现-计算机系统结构专业论文.docxVIP

万方数据 万方数据 独 创 性 声 明 本人声明所呈交的学位论文是本人在导师指导下进行的研 究工作及取得的研究成果。据我所知，除了文中特别加以标注和 致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得电子科技大学或其它教育机构的学位或证书 而使用过的材料。与我一同工作的同志对本研究所做的任何贡献 均已在论文中作了明确的说明并表示谢意。 签名： 日期： 年 月 日 关于论文使用授权的说明 本学位论文作者完全了解电子科技大学有关保留、使用学位 论文的规定，有权保留并向国家有关部门或机构送交论文的复印 件和磁盘，允许论文被查阅和借阅。本人授权电子科技大学可以 将学位论文的全部或部分内容编入有关数据库进行检索，可以采 用影印、缩印或扫描等复制手段保存、汇编学位论文。 （保密的学位论文在解密后应遵守此规定） 签名： 导师签名： 日期： 年 月 日 摘 要 摘 要 近几年，嵌入式系统已广泛应用于航空，航天，汽车电子等性能关键实时系 统领域，此类系统对非功能属性要求较高，包括：可靠性、可用性、实时性、响 应性、吞吐量和安全性。随着硬件设备计算效率不断提升，性能关键实时系统的 复杂度也随之增加。业界提出了模型驱动结构(Model Driven Architecture，MDA) 方法，它简化了系统的开发，极大提高生产效率，降低软件开发成本，保证软件 质量。 体系结构分析设计语言（Architecture Analysis and Design Language，AADL） 是一种基于 MDA 方法的建模语言，现已广泛运用于航空电子系统领域。航空电 子系统具有高安全性、高可靠性及高实时性等特点，为满足这些需求，ARINC 组 织在 1997 年发布了航空电子应用软件标准接口（AVIONICS APPLICATION SOFTWARE STANDARD INTERFACE），简称 ARINC653。该规范定义了标准的 API 和系统服务,即 APEX 层,为应用程序和操作系统提供标准接口。它最核心的概 念为分区（Partitioning），提出了时空分离的思想，有效地隔离了应用，同时也给 出了分区通信、健康监控等重要概念。本文使用 MDA 方法对航空电子系统进行 研究分析，但现有的 AADL 组件并不能模拟与 ARINC653 标准中的核心概念：如 分区、健康监控等。因此，如何扩展 AADL 的建模能力是本文讨论的一个重点。 本文主要从以下几个方面进行研究： （1）提取 ARINC653 标准中的主要模块，扩展 AADL 的属性集，设计 AADL 组件与 ARINC653 标准中各模块属性的映射关系，来对航空电子系统进行建模。 在此基础上，实现对系统模型信息提取，对参数信息进行验证并自动生成正确完 整的 XML 格式的配置文件，并将工具以插件的形式集成在 OSATE 平台下。最后， 通过实例来验证配置文件自动生成工具是否完成以上功能。 （ 2 ）为了获得能够使系统达到最优时 间分配的系统配置，本文根据 ARINC653 航空电子系统中分区调度的特点，研究出了一种最优的分区调度算法， 实现了对系统分区集的调度分析以及分区下的任务的仿真工具。最后通过实例的 验证，证明了最近调度时间优先算法的最优性，并顺利生成正确的分区调度配置 信息，从而帮助系统集成者解决了分区的调度配置问题。 I 摘 要 本文所实现的配置工具，不仅能够为 ARINC653 航空电子系统建模，同时能 够对模型的配置信息进行验证并自动生成专用格式的系统配置文件，并对其分区 集合的可调度性进行判定。这能够帮助系统集成者提早发现配置文件中的错误， 并协助系统集成者找出最优的调度配置并生成配置文件，这大大提高了系统的开 发效率。 关键词：ARINC653，AADL，分区，配置文件，分区调度 II ABSTRACT ABSTRACT In recent years, embedded systems have been widely used in aviation, aerospace, automotive, electronics and other performance-critical real-time systems, such systems require a higher non-functional attributes, including: reliability, availability, responsiveness, through put and security. With the improvement of hardware computational efficiency and increasing complexi