Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado
Abstract
Context: A Software Assurance Case is an audit instrument used to ensure that software for critical systems is safe in accordance with standards established by the responsible bodies. In the aeronautical software industry, for example, such cases are used to describe the activities prescribed by the Software Considerations in Airborne Systems and Equipment Certification (RCTA DO-178C) without which the software could be a contributing factor to catastrophic accidents when airborne. Problem: Due to new concepts and increasingly complex functionalities of avionics systems, such activities, inherent in Software Engineering, require constant research and updating of the processes and tools used. Method: This paper describes an academic work carried out by the authors, according to guidelines for Simulation-Based Studies (SBS). Results: The standard notation for Assurance Cases Unified Modeling Language (UML) and the Discrete-Events Specification (DEVS) formalism were combined in an example for modeling and simulation of high-level requirements of the aeronautical software Roll Rate Control (RRC). Conclusion: Through the simulation it was possible to achieve the certification objective served by the Assurance Case, which proved the viability of the tools for this purpose.
References
Buzdalov, D. and Khoroshilov, A. (2014). A discrete-event simulator for early validation of avionics systems. In ACVI 2014–Architecture Centric Virtual Integration Workshop Proceedings, pages 28–37. ACM/IEEE.
de França, B. N. and Travassos, G. H. (2012). Reporting guidelines for simulation-based studies in software engineering.
de la Vara, J. L., Ruiz, A., Attwood, K., Espinoza, H., Panesar-Walawege, R. K., Lopez, ´ A., del Río, I., and Kelly, T. (2016). Model-based specification of safety compliance needs for critical systems: A Holistic Generic Metamodel. Information and Software Technology, 72:16–30.
DO-178C (2011). Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc. 1150 18th Street, NW, Suite 910 Washington, DC 20036-3816 USA.
Hawkins, R., Habli, I., Kelly, T., and McDermid, J. (2013). Assurance Cases and prescriptive software safety certification: A Comparative Study. Safety science, 59:55–71.
Hawkins, R., Habli, I., Kolovos, D., Paige, R., and Kelly, T. (2015). Weaving an Assurance Case from Design: A Model-Based Approach. In High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on, pages 110–117. IEEE.
Heim, S., Dumas, X., Bonnafous, E., Dhaussy, P., Teodorov, C., and Leroux, L. (2016). Model Checking of SCADE Designed Systems. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016).
Le Sergent, T., Dormoy, F.-X., and Le Guennec, A. (2016). Benefits of Model Based System Engineering for Avionics Systems. In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016).
OMG (2018). Structured Assurance Case Metamodel Specification Version 2.0. url https://www.omg.org/spec/SACM/2.0/.
Rierson, L. (2013). Developing Safety-Critical Software: A practical guide for aviation software and DO-178C compliance. CRC Press.
Robati, T., El Kouhen, A., Gherbi, A., and Mullins, J. (2015). Simulation-based verification of avionic systems deployed on ima architectures.
Soubra, H., Jacot, L., and Lemaire, S. (2015). Manual and Automated Functional Size Measurement of an Aerospace Realtime Embedded System: A Case Study based on SCADE and on COSMIC ISO 19761.
Zeigler, B. P., Muzy, A., and Kofman, E. (2018). Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations. Academic Press.
Zeigler, B. P., Sarjoughian, H. S., Duboz, R., and Soulié, J.-C. (2017). Guide to modeling and simulation of systems of systems. Springer.
