Research And Implementation Of ARINC653 Configuration Tool Based On AADL

Embedded systems are widely used in high reliability and security areas like aerospace, nuclear industry. In order to improve security and efficiency of these key system, there proposes model-driven architecture(MDA) approach. The model is the core of this approach. The design of system framework is achieved by building and analyzing the model.Architecture Analysis and Design Language(AADL) is a kind of language for MDA approach. It can effectively model for embedded software and hardware systems and has been widely used in the development of avionics systems. To meet the high reliability, high availability and high service demand of Avionics systems, ARINC organization has issued a standard interface for avionics applications named ARINC653. It describes partition communication, partition management and health monitoring in detail in order to standardize the development of avionics systems. The current AADL does not support the partition operating system and the concept of health monitoring in ARINC653 standard, can not build the model for standard avionics ARINC653 effectively. Therefore, how to expand the existing AADL modeling capabilities to enable them to effectively meet the ARINC653 standard avionics system for modeling, and how to generate automatically model system configuration information based on model and how to determine the schedulability of system are the core issues. This paper studies two parts:First, the attribute set extension to extend AADL modeling capabilities is enabled to model ARINC653 standard avionics systems. On this basis, we implements the automatic configuration generation tool in plug-in from the system model to the form of XML configuration file. The tool is integrated in OSATE development environment, which is used to validate the system configuration of each module correctness and completeness, and automatically generate XML form configuration file. Then, the example analysis will automatically verify the tool to generate the configuration file correctly and effectively.Secondly, On the basis of the partition scheduling theory and the study of related tools for schedulability, combined with the method of timed automata and simulation method to achieve the implementation of the partition and task set schedulability tool. Through analysis and performance test proves that the tool could quickly and accurately determine the avionics system partition schedulability to help system designers to verify the time property of the partition.In this paper, the configuration tool can achieve compliance ARINC653 standard for avionics systems modeling, extract system configuration information to automatically generate the XML format configuration file, and accurately analyze the schedulability of the system. To help system designers quickly and easily find the problems existing in the design stage which improves system development efficiency. Finally, the paper summarizes relevant research about configuration tool and describes future research directions.