Based On The Standard Of Arinc653 Aadl Model Research And Realization Of The Configuration Tool

In recent years, embedded systems have been widely used in aviation, aerospace,automotive, electronics and other performance-critical real-time systems, such systemsrequire a higher non-functional attributes, including: reliability, availability,responsiveness, through put and security. With the improvement of hardwarecomputational efficiency and increasing complexity of performance-critical real-timesystem. The industry presents Model Driven Architecture (MDA) method, whichsimplifies system development, improve production efficiency greatly and reduce thecost of software development, MDA method ensures software quality.Architecture Analysis and Design Language (AADL) is a modeling languagebased on MDA approach and it has been widely used in the avionics domain. Theavionics system is a system with such features: high security, high reliability andreal-time. To meet these requirements, in1997the ARINC organization publishedAvionics Application Standard Software Interface, referred to as ARINC653. Thespecification defines a standard API and system services, namely APEX layer, itprovides a standard interface between applications and operating systems. The coreconcept of ARINC653is partitioning, put forward the spatial and temporal separationto isolate the application effectively, and presents the concepts of partitioncommunication, health monitoring etc. This article uses the MDA approach to do theresearch, the AADL version1can not simulate some core ARINC653components suchas partition, health monitoring. Therefore, how to extend the AADL modelingcapability is a key discussion in this article.The research in this paper is about following aspects:(1) Extract the main module of the the ARINC653standard, extend the AADLproperty set and design the mapping relationship between AADL component andARINC653module and modeling the avionics systems. On this basis, extract thesystem model information, validate the parametres information and generate thecorrect and complete XML format configurationfile automatically, and integrate the tool in the OSATE platform as a plug-in. Finally, use an example to verify that theconfiguration tool accomplish all of the above functions.(2) In order to obtain the system configuration with optimal time allocation, thispaper presented an optimal partition scheduling algorithm based on the schedulingfeatures of ARINC653avionics system, to achieve scheduling analysis of the systempartition set and simulation tools of tasks. The optimality of earliest-next release timefirst algorithm is certified by a instance, and generate the correct partition schedulingconfiguration in the end, thus help system integrators to solve the partition scheduleconfiguration problem.This configuration tool not just model the ARINC653avionics systems, but verifythe configure information and generate the specific format of system configurationfiles automatically, in addition it could judge the schedulability of the partition set.This helps system integrators to detect errors in the configuration file and assist systemintegrators to find the optimal scheduling configuration and generates the configurationfile, which greatly improved the efficiency of system development.