TY - GEN
T1 - A Family of Domain-Specific Languages for Integrated Modular Avionics
AU - Alves, Ricardo
AU - Amaral, Vasco
AU - Cintra, João
AU - Tavares, Bruno
N1 - UID/CEC/04516/2019
TUBITAK/ 0008/2014
2018/2019(Proc. DAAD 441.00)
PY - 2019
Y1 - 2019
N2 - 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.
AB - 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.
KW - ARINC 653
KW - Family of languages
KW - Implementation reuse
KW - Integrated modular avionics DSL
KW - Model-driven development
UR - http://www.scopus.com/inward/record.url?scp=85072828593&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-29238-6_17
DO - 10.1007/978-3-030-29238-6_17
M3 - Conference contribution
AN - SCOPUS:85072828593
SN - 978-3-030-29237-9
T3 - Communications in Computer and Information Science
SP - 239
EP - 254
BT - Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Proceedings
A2 - Piattini, Mario
A2 - Rupino da Cunha, Paulo
A2 - García Rodríguez de Guzmán, Ignacio
A2 - Pérez-Castillo, Ricardo
PB - Springer Verlag
CY - Cham
T2 - 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019
Y2 - 11 September 2019 through 13 September 2019
ER -