A Family of Domain-Specific Languages for Integrated Modular Avionics

Ricardo Alves, Vasco Amaral, João Cintra, Bruno Tavares

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Downloads (Pure)


In the domain of avionics, we can find intricate software product lines constrained by both aircraft’s hardware and conformance to strict standards. Existing general-purpose languages are complicated, as they do not hide unnecessary low level-details. This situation potentially leads to a lengthy process in the specification phase and the loss of control over the quality of the specification itself and possibly resulting in the generation of inconsistent products. In Software development for avionics systems, the pressure of time-to-market is high. Additionally, the long time taken for systems certification of this sort of critical system pushes for the development of solutions that support specifications correct by construction. With that kind of solutions, we can release the burden of the software developer by positively constraining the configuration of the products. In this paper, we put into practice an in-house solution that implements the concept of Product Lines of Domain Specific Languages (DSLs). The solution allows generating dedicated DSLs for each sub-family/configuration in Modular avionics departing from the model of a given aircraft.

Original languageEnglish
Title of host publicationQuality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Proceedings
EditorsMario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo
Place of PublicationCham
PublisherSpringer Verlag
Number of pages16
ISBN (Electronic)978-3-030-29238-6
ISBN (Print)978-3-030-29237-9
Publication statusPublished - 2019
Event12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 - Ciudad Real, Spain
Duration: 11 Sep 201913 Sep 2019

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer Verlag
ISSN (Print)1865-0929
ISSN (Electronic)1865-0937


Conference12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019
CityCiudad Real


  • ARINC 653
  • Family of languages
  • Implementation reuse
  • Integrated modular avionics DSL
  • Model-driven development


Dive into the research topics of 'A Family of Domain-Specific Languages for Integrated Modular Avionics'. Together they form a unique fingerprint.

Cite this