IMA Systems Development and Configuration: From UML to Binary. A Proposal of UML Profile to be used with the ARINC 653 Standard.

Abstract : The ARINC 653 standard is used more and more often for Safety-Critical Systems in Aerospace. The experience from the design and implementation of this kind of systems introduces new considerations to take into account compare to classical software development workflow, mainly related to the objective of multiple applications running on the same system. The return of experience that is presented in this paper includes a proposed UML extension (via profile) that resolves the lack of UML modelling formalism for the ARINC 653 artefacts, the XML schema updates to fit the objective of application independency, a validated way of automatically generating code relating to all the ARINC 653 elements, an optimal framework for defining tests and required stubs, and the use of qualified tools to verify and generate the binary version of the system configuration tables.