本文選題：ARINC653 + AADL　； 參考：《電子科技大學》2012年碩士論文

【摘要】：近幾年，嵌入式系統(tǒng)已廣泛應用于航空，航天，汽車電子等性能關鍵實時系統(tǒng)領域，此類系統(tǒng)對非功能屬性要求較高，包括：可靠性、可用性、實時性、響應性、吞吐量和安全性。隨著硬件設備計算效率不斷提升，性能關鍵實時系統(tǒng)的復雜度也隨之增加。業(yè)界提出了模型驅動結構(Model Driven Architecture，MDA)方法，它簡化了系統(tǒng)的開發(fā)，極大提高生產(chǎn)效率，降低軟件開發(fā)成本，保證軟件質量。 體系結構分析設計語言（ArchitectureAnalysis and Design Language，AADL）是一種基于MDA方法的建模語言，，現(xiàn)已廣泛運用于航空電子系統(tǒng)領域。航空電子系統(tǒng)具有高安全性、高可靠性及高實時性等特點，為滿足這些需求，ARINC組織在1997年發(fā)布了航空電子應用軟件標準接口（AVIONICS APPLICATIONSOFTWARE STANDARD INTERFACE），簡稱ARINC653。該規(guī)范定義了標準的API和系統(tǒng)服務,即APEX層,為應用程序和操作系統(tǒng)提供標準接口。它最核心的概念為分區(qū)（Partitioning），提出了時空分離的思想，有效地隔離了應用，同時也給出了分區(qū)通信、健康監(jiān)控等重要概念。本文使用MDA方法對航空電子系統(tǒng)進行研究分析，但現(xiàn)有的AADL組件并不能模擬與ARINC653標準中的核心概念：如分區(qū)、健康監(jiān)控等。因此，如何擴展AADL的建模能力是本文討論的一個重點。 本文主要從以下幾個方面進行研究： （1）提取ARINC653標準中的主要模塊，擴展AADL的屬性集，設計AADL組件與ARINC653標準中各模塊屬性的映射關系，來對航空電子系統(tǒng)進行建模。在此基礎上，實現(xiàn)對系統(tǒng)模型信息提取，對參數(shù)信息進行驗證并自動生成正確完整的XML格式的配置文件，并將工具以插件的形式集成在OSATE平臺下。最后，通過實例來驗證配置文件自動生成工具是否完成以上功能。 （2）為了獲得能夠使系統(tǒng)達到最優(yōu)時間分配的系統(tǒng)配置，本文根據(jù)ARINC653航空電子系統(tǒng)中分區(qū)調度的特點，研究出了一種最優(yōu)的分區(qū)調度算法，實現(xiàn)了對系統(tǒng)分區(qū)集的調度分析以及分區(qū)下的任務的仿真工具。最后通過實例的驗證，證明了最近調度時間優(yōu)先算法的最優(yōu)性，并順利生成正確的分區(qū)調度配置信息，從而幫助系統(tǒng)集成者解決了分區(qū)的調度配置問題。 本文所實現(xiàn)的配置工具，不僅能夠為ARINC653航空電子系統(tǒng)建模，同時能夠對模型的配置信息進行驗證并自動生成專用格式的系統(tǒng)配置文件，并對其分區(qū)集合的可調度性進行判定。這能夠幫助系統(tǒng)集成者提早發(fā)現(xiàn)配置文件中的錯誤，并協(xié)助系統(tǒng)集成者找出最優(yōu)的調度配置并生成配置文件，這大大提高了系統(tǒng)的開發(fā)效率。
[Abstract]:In recent years, embedded systems have been widely used in aviation, aerospace, automotive electronics and other key real-time systems. Such systems require high non-functional attributes, including: reliability, availability, real-time, responsiveness, etc. Throughput and security. With the improvement of hardware computing efficiency, the complexity of performance critical real-time system increases. The model driven architecture (Model Driven Architecture) method is put forward in the industry. It simplifies the development of the system, greatly improves the production efficiency, reduces the cost of software development and ensures the software quality. Architecture Analysis and Design language (AADL) is a modeling language based on MDA method, which has been widely used in avionics systems. Avionics system has the characteristics of high security, high reliability and high real-time. In order to meet these requirements, ARINC organization issued the avionics application software standard interface in 1997, called AVIONICS APPLICATIONSOFTWARE STANDARD Internet document (ARINC653). The specification defines standard API and system services, the APEX layer, to provide standard interfaces for applications and operating systems. Its core concept is partitioning. The idea of space-time separation is put forward, which can effectively isolate applications. At the same time, it also gives some important concepts, such as partition communication, health monitoring and so on. In this paper, the MDA method is used to study and analyze avionics systems, but the existing AADL components can not simulate the core concepts of ARINC653 standards, such as partition, health monitoring and so on. Therefore, how to extend the modeling capability of AADL is one of the key points in this paper. This article mainly carries on the research from the following several aspects: 1) extract the main modules of ARINC653 standard, extend the attribute set of AADL, design the mapping relation between AADL component and each module attribute in ARINC653 standard, and model avionics system. On this basis, the system model information is extracted, the parameter information is verified and the correct and complete configuration file of XML format is generated automatically, and the tool is integrated into the OSATE platform in the form of plug-in. Finally, an example is used to verify whether the configuration file automatic generation tool completes the above functions. In order to obtain the system configuration that can make the system achieve the optimal time allocation, according to the characteristic of the partition scheduling in the ARINC653 avionics system, an optimal partition scheduling algorithm is proposed in this paper. The scheduling analysis of the system partition set and the simulation tool of the task under the partition are realized. Finally, the optimality of the most recent scheduling time first algorithm is proved by an example, and the correct partition scheduling configuration information is generated successfully, which helps the system integrator to solve the partition scheduling problem. The configuration tool implemented in this paper can not only model the ARINC653 avionics system, but also verify the configuration information of the model, automatically generate the system configuration file with special format, and determine the schedulability of its partition collection. This can help the system integrator find errors in the configuration file early, and help the system integrator to find the optimal scheduling configuration and generate the configuration file, which greatly improves the system development efficiency.
【學位授予單位】：電子科技大學
【學位級別】：碩士
【學位授予年份】：2012
【分類號】：TP368.1

【參考文獻】

相關期刊論文 前10條

1 任忠保;張艷晶;李立亞;;基于Drools的策略體系設計[J];計算機安全;2007年08期

2 張曉紅;孫高翔;;實時操作系統(tǒng)中健康監(jiān)控技術研究[J];航空計算技術;2005年04期

3 常浩浩;覃征;;基于EMF和OCL的MDA軟件工程方法研究[J];計算機科學;2007年01期

4 王峗華;陳蔚薇;;模型驅動開發(fā)方法的應用研究[J];計算機工程;2006年13期

5 鄭朝輝;陳新中;張曉先;;綜合模塊化航空電子系統(tǒng)的可靠性設計[J];計算機工程;2009年23期

6 陳翔;王學斌;吳泉源;;代碼生成技術在MDA中的實現(xiàn)[J];計算機應用研究;2006年01期

7 馮冰;楊志義;董云衛(wèi);馬春燕;;一種面向AADL架構的模型測試方法[J];計算機測量與控制;2010年04期

8 張淵;夏清國;;基于Rete算法的JAVA規(guī)則引擎[J];科學技術與工程;2006年11期

9 劉偉;Java規(guī)則引擎——Drools的介紹及應用[J];微計算機應用;2005年06期

10 ;Optimal Static Partition Configuration in ARINC653 System[J];Journal of Electronic Science and Technology;2011年04期

相關博士學位論文 前1條

1 王學斌;軟件工程中基于模型驅動架構的模型轉換技術研究[D];國防科學技術大學;2006年

相關碩士學位論文 前3條

1 劉金龍;drools規(guī)則引擎模式匹配效率優(yōu)化研究及實現(xiàn)[D];西南交通大學;2007年

2 王建光;基于模型驅動架構的軟件生成技術研究[D];太原理工大學;2007年

3 郭富磊;AADL在模型驅動中的應用研究[D];西南交通大學;2010年

本文編號：1874163