Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
ARINC 653 Avionics Application Software Standard Interface, Part 1, Required Services. Annapolis, Maryland, USA (2003)
ARINC 664 Aircraft Data Network, Part 1, Systems Concepts and Overview. Annapolis, Maryland, USA (2006)
Barroca, B., Lúcio, L., Buchs, D., Amaral, V., Pedro, L.: DSL composition for model-based test generation. In: 3rd International Workshop on Multi-Paradigm Modelling: Concepts and Tools. No. 21 in Electronic Communications of the EASST (2009)
Huang, C., Kamei, Y., Yamashita, K., Ubayashi, N.: Using alloy to support feature-based DSL construction for mining software repositories. In: Proceedings of 17th International Software Product Line Conference Co-located Workshops. ACM (2013)
White, J., Hill, J., Tambe, S., Gokhale, A., Schmidt, D., Gray, J.: Improving domain-specific language reuse through software product-line configuration techniques. In: IEEE Software, vol. 26, no. 4 (2009)
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621–645 (2006)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical report CMU/SEI-90-TR-021, SEI (1990)
Pedro, L.: A Systematic Language Engineering Approach for Prototyping Domain Specific Modelling Languages. Ph.D. thesis, Université de Genève (2009)
Barbero, M., Jouault, F., Gray, J., Bézivin, J.: A practical approach to model extension. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 32–42. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72901-3_3
Völter, M., et al.: DSL Engineering - Designing, Implementing and Using Domain-Specific Languages (2013). dslbook.org
Völter, M., Groher, I.: Product line implementation using aspect-oriented and model-driven software development. In: Proceedings of 11th International Software Product Line Conference, SPLC 2007. IEEE Computer Society, USA (2007)
Völter, M., Groher, I.: A family of languages for architecture description. In: Proceedings of 8th Workshop on Domain-Specific Modeling (2008)
Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2002)
Sanchez, P., et al.: VML*–a family of languages for variability management in software product lines. In: Proceedings of SLE. ACM Press (2009)
Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development (2003)
Kuhne, T.: What is a model? In: Bezivin, J., Heckel, R. (ed.) Language Engineering for Model-Driven Software Development. No. 04101 in Dagstuhl (2005)
Schoofs, T., et al.: An integrated modular avionics development environment. In: Proceedings of 28th Digital Avionics Systems Conference - DASC 2009. IEEE (2009)
Acknowledgments
NOVA LINCS (Ref. UID/CEC/04516/2019). FCT/MCTES: DSML4MAS (TUBITAK/ 0008/2014); 2018/2019(Proc. DAAD 441.00) “Social-Cyber-physical Systems modelling”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Alves, R., Amaral, V., Cintra, J., Tavares, B. (2019). A Family of Domain-Specific Languages for Integrated Modular Avionics. In: Piattini, M., Rupino da Cunha, P., García Rodríguez de Guzmán, I., Pérez-Castillo, R. (eds) Quality of Information and Communications Technology. QUATIC 2019. Communications in Computer and Information Science, vol 1010. Springer, Cham. https://doi.org/10.1007/978-3-030-29238-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-29238-6_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-29237-9
Online ISBN: 978-3-030-29238-6
eBook Packages: Computer ScienceComputer Science (R0)