Model-driven development of ARINC 653 configuration tables

Ákos Horváth, D. Varró, Tobias Schoofs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

Abstract

Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain. It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation. However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis. On the other hand, we believe that, particular systems that make heavy use of configuration tables like the ARINC 653 standard can benefit from model-driven design by (i) automating error-prone configuration file editing and (ii) using model based validation for early error detection. In this paper, we will present the results of the European project DIANA that investigated the use of MDD in the context of Integrated Modular Avionics (IMA) and the ARINC 653 standard. In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models. The tool chain was integrated with different target systems (VxWorks 653, SIMA) and evaluated during case studies with real-world and real-sized avionics applications.

Original languageEnglish
Title of host publicationAIAA/IEEE Digital Avionics Systems Conference - Proceedings
DOIs
Publication statusPublished - 2010
Event29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010 - Salt Lake City, UT, United States
Duration: Oct 3 2010Oct 7 2010

Other

Other29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010
CountryUnited States
CitySalt Lake City, UT
Period10/3/1010/7/10

Fingerprint

Avionics
Error detection
Systems engineering
Aviation
Software engineering

ASJC Scopus subject areas

  • Aerospace Engineering
  • Electrical and Electronic Engineering

Cite this

Horváth, Á., Varró, D., & Schoofs, T. (2010). Model-driven development of ARINC 653 configuration tables. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings [5655322] https://doi.org/10.1109/DASC.2010.5655322

Model-driven development of ARINC 653 configuration tables. / Horváth, Ákos; Varró, D.; Schoofs, Tobias.

AIAA/IEEE Digital Avionics Systems Conference - Proceedings. 2010. 5655322.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Horváth, Á, Varró, D & Schoofs, T 2010, Model-driven development of ARINC 653 configuration tables. in AIAA/IEEE Digital Avionics Systems Conference - Proceedings., 5655322, 29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010, Salt Lake City, UT, United States, 10/3/10. https://doi.org/10.1109/DASC.2010.5655322
Horváth Á, Varró D, Schoofs T. Model-driven development of ARINC 653 configuration tables. In AIAA/IEEE Digital Avionics Systems Conference - Proceedings. 2010. 5655322 https://doi.org/10.1109/DASC.2010.5655322
Horváth, Ákos ; Varró, D. ; Schoofs, Tobias. / Model-driven development of ARINC 653 configuration tables. AIAA/IEEE Digital Avionics Systems Conference - Proceedings. 2010.
@inproceedings{35eb79721de74cd8981a375d39b4dc39,
title = "Model-driven development of ARINC 653 configuration tables",
abstract = "Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain. It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation. However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis. On the other hand, we believe that, particular systems that make heavy use of configuration tables like the ARINC 653 standard can benefit from model-driven design by (i) automating error-prone configuration file editing and (ii) using model based validation for early error detection. In this paper, we will present the results of the European project DIANA that investigated the use of MDD in the context of Integrated Modular Avionics (IMA) and the ARINC 653 standard. In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models. The tool chain was integrated with different target systems (VxWorks 653, SIMA) and evaluated during case studies with real-world and real-sized avionics applications.",
author = "{\'A}kos Horv{\'a}th and D. Varr{\'o} and Tobias Schoofs",
year = "2010",
doi = "10.1109/DASC.2010.5655322",
language = "English",
isbn = "9781424466160",
booktitle = "AIAA/IEEE Digital Avionics Systems Conference - Proceedings",

}

TY - GEN

T1 - Model-driven development of ARINC 653 configuration tables

AU - Horváth, Ákos

AU - Varró, D.

AU - Schoofs, Tobias

PY - 2010

Y1 - 2010

N2 - Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain. It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation. However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis. On the other hand, we believe that, particular systems that make heavy use of configuration tables like the ARINC 653 standard can benefit from model-driven design by (i) automating error-prone configuration file editing and (ii) using model based validation for early error detection. In this paper, we will present the results of the European project DIANA that investigated the use of MDD in the context of Integrated Modular Avionics (IMA) and the ARINC 653 standard. In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models. The tool chain was integrated with different target systems (VxWorks 653, SIMA) and evaluated during case studies with real-world and real-sized avionics applications.

AB - Model-driven development (MDD) has become a key technique in systems and software engineering, including the aeronautic domain. It facilitates on systematic use of models from a very early phase of the design process and through various model transformation steps (semi-)automatically generates source code and documentation. However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis. On the other hand, we believe that, particular systems that make heavy use of configuration tables like the ARINC 653 standard can benefit from model-driven design by (i) automating error-prone configuration file editing and (ii) using model based validation for early error detection. In this paper, we will present the results of the European project DIANA that investigated the use of MDD in the context of Integrated Modular Avionics (IMA) and the ARINC 653 standard. In the scope of the project, a tool chain was implemented that generates ARINC 653 configuration tables from high-level architecture models. The tool chain was integrated with different target systems (VxWorks 653, SIMA) and evaluated during case studies with real-world and real-sized avionics applications.

UR - http://www.scopus.com/inward/record.url?scp=78650927853&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78650927853&partnerID=8YFLogxK

U2 - 10.1109/DASC.2010.5655322

DO - 10.1109/DASC.2010.5655322

M3 - Conference contribution

SN - 9781424466160

BT - AIAA/IEEE Digital Avionics Systems Conference - Proceedings

ER -