Simulação de Requisitos de Alto Nível em Casos de Garantia de Software Aeroembarcado

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.