Research and implementation of ARINC653 configuration tool based on AADL

Applications must be integrated into a system configuration which satisfies all the requirements of applications in the ARINC653 system. The goal of this paper is to assist system integrator to generate correct configuration tables. Architecture Analysis and Design Language (AADL) is widely used in avionics systems modeling and analysis. In order to model and analyze avionics systems that meet the ARINC653 standard, we need to extend AADL existing standard to satisfy the requirements of ARINC653. This paper presents an approach to augment the modeling ability of AADL to describe ARINC653 configuration instance, details a modeling approach exploiting the new property sets of AADL for the design of ARINC653 architectures, and implement an automatic ARINC653 configuration tool based on AADL which generates the static configuration files that meet the qualification of ARINC653 schema for the instance model. The correct configurations generated by this tool verify the validity and feasibility of this method.