Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270111
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:41:15 PM
Last modification on : Wednesday, August 28, 2019 - 1:10:21 AM
Long-term archiving on: : Friday, January 10, 2020 - 2:38:46 AM

File

ERTS2008_0062_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270111, version 1

Collections

Citation

I Lafoz, M 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⟩

Share

Metrics

Record views

26

Files downloads

150