Rodrigo Saar de Moraes

Publications

2024

Rodrigo Saar de Moraes (2024) Exploring Trade-offs in Concept Design of Integrated Modular Avionic Platform Configurations: Topology Generation, Resource Adequacy, and Dependability

2022

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2022) Concept Level Explorationof IMA-based Networked Platforms with Mixed Time-Sensitive Communication Requirements 33rd Congress of the International Council of the Aeronautical Sciences, Stockholm, Sweden, 2022

2021

Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani (2021) A model-based approach for analysing network communication timeliness in IMA systems at concept level Proceedings of the 29th International Conference on Real-Time Networks and Systems, p. 78-88 Continue to DOI

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2021) Abstraction models for verifying resource adequacy of IMA systems at concept level Science of Computer Programming, Vol. 208, Article 102654 Continue to DOI

2020

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2020) Verifying Resource Adequacy of Networked IMA Systems at Concept Level Formal Techniques for Safety-Critical Systems, p. 40-56 Continue to DOI