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

I Lafoz (1) , M A Mozas (1) , O Charrier (2) , C Fernández de La Hoz (1)

1 EADS-CASA
2 Wind River

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.

Keywords: IMA systems; partitioning; ARINC 653; UML profile; XML schema; qualified tools; SW architectural design; VxWorks 653; automatic code generation and testing effort reduction

Domains: Computer Science [cs]; Embedded Systems

I Lafoz, M A Mozas, O Charrier, C Fernández de La Hoz. IMA Systems Development and Configuration: From UML to Binary. A Proposal of UML Profile to be used with the ARINC 653 Standard.. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270111⟩