Software Architecture for Redundant Computing Platform Embedded in Space Vehicles
Keywords:
Embedded software, software architecture, software systemAbstract
Embedded software in space systems is critical and requires a well-defined and documented development process in their long life cycle. In this case, the software is part of a larger system that also includes the hardware that the software interacts with. Thus, many of the characteristics that must be considered in the software specification and design are directly related to the hardware components. The system architecture is a formal description of its building blocks, their properties and the interaction between them and is used to analyze characteristics, such as memory consumption, response time, performance, reliability, and safety. From both software and hardware most basic elements such as components and connectors to more complex properties such as behavior, an Architecture Description Language (ADL) is used in order to obtain a more accurate and precise description of the system architecture. This is accomplished by modeling the case study, a critical space software architecture, into a redundant embedded computational platform and analyzing it through the Architecture Analysis and Design Language (AADL). This work contributes to demonstrate that through fault analyses, AADL models can help to predict if restrictions, such as safety, will be fulfilled before the system construction.
Downloads
References
R. R. J. Jardim, M. Santos, E. Neto, E. da Silva, and F. de Barros, “Integration of the waterfall model with iso/iec/ieee 29148:2018 for the development of military defense system,” IEEE Latin America Transactions, vol. 18, no. 12, pp. 2096–2103, 2020.
S. Cook and G. Haverkamp, “Challenges and Opportunities for Software Development and Verification on Military Aircraft Systems,” in AIAA Scitech 2020 Forum. Orlando, FL: American Institute of Aeronautics and Astronautics, Inc., 01 2020.
Software Engineering Institute, “Architecture Analysis and Design Language (AADL),” https://www.sei.cmu.edu/our-work/projects/display.cfm?customel_datapageid_4050=191439, Carnegie Mellon University, feb 2022, acessado em 29/03/2023.
J. Hudak and P. Feiler, “Developing AADL Models for Control Systems: A Practitioner’s Guide,” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-2007-TR-014, 2007.
Carnegie Mellon University, “Open Source AADL Tool Environment (OSATE),” https://osate.org/, acessado em 29/03/2023.
Instituto de Aeronáutica e Espaço, “VLS-1,” https://iae.dcta.mil.br/index.php/todos-os-projetos/todos-os-projetos-desenvolvidos/projetos-vls1, Departamento de Ciência e Tecnologia Aeroespacial, may 2019, acessado em 29/03/2023.
P. Feiler and J. Delange, “Automated Fault Tree Analysis from AADL Models,” Ada Lett., vol. 36, no. 2, p. 39–46, may 2017.
P. Feiler and D. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional, 2012.
P. Feiler, J. Hudak, J. Delange, and D. Gluch, “Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2,” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-2016-TR-009, 2016.
M. Muñoz Fernández, “Using AADL to enable MBSE for NASA space mission operations,” in SpaceOps 2014 Conference. Pasadena, CA: American Institute of Aeronautics and Astronautics, Inc, 2014.
H. Yu and Y. Yang, “Latency Analysis of Automobile ABS Based on AADL,” in 2012 International Conference on Industrial Control and Electronics Engineering. IEEE, 2012, pp. 1835–1838.
P. Crisafulli, D. Blouin, F. Caron, and C. Maxim, “Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report,” in 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Toulouse, France, Jan. 2020.
H. A. PHAM, T. SORIANO, and V. H. NGO, “Applying AADL to realize embedded control systems for coordination of multiple low-cost underwater drones,” in OCEANS 2019 - Marseille, 2019, pp. 1–7.
E. Senn, L. W. J. Bourdon, and D. Blouin, “Multi-Paradigm Modeling for Early Analysis of ROS-Based Robotic Applications Using a Library of AADL Models,” in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ser. MODELS ’22. New York, NY, USA: Association for Computing Machinery, 2022, p. 677–683.
D. Stewart, J. J. Liu, D. Cofer, M. Heimdahl, M. W. Whalen, and M. Peterson, “AADL-Based safety analysis using formal methods applied to aircraft digital systems,” Reliability Engineering & System Safety, vol. 213, p. 107649, 2021.
