Runtime Assurance for Distributed Avionics Architecture

Salman Ghori, Thanakorn Khamvilai, Eric Feron, Mehrdad Pakmehr

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations


Runtime Assurance (RTA) is becoming a trend in the aerospace and Unmanned Aerial Vehicle (UAV) industries due to its benefits, such as ensuring the safety of a safety-critical system, e.g., Urban Air Mobility, without a formal verification of the primary system controller. The principle of RTA revolves around the notion of maintaining a backup controller and executing it whenever the primary controller appears to harm the system. Additionally, a modern avionics architecture (distributed), consisting of nodes (sensors, actuators, computing units, etc.) capable of exchanging information via a reliable, standard communication network, can also benefit from RTA. Hence, integration of the RTA framework into an avionics architecture can allow for a reduced degree of verification for these algorithm and, in turn, promote autonomy levels of the avionics systems.; This paper presents a formal RTA definition and framework for the distributed avionics architecture to obtain the benefits of resource sharing and improved system autonomy. We also demonstrate a real-time execution of RTA implementation on a multirotor vehicle equipped with distributed avionics architecture in the event of failure.

Original languageEnglish (US)
Title of host publication2022 IEEE/AIAA 41st Digital Avionics Systems Conference, DASC 2022 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781665486071
StatePublished - 2022
Event41st IEEE/AIAA Digital Avionics Systems Conference, DASC 2022 - Portsmouth, United States
Duration: Sep 18 2022Sep 22 2022

Publication series

NameAIAA/IEEE Digital Avionics Systems Conference - Proceedings
ISSN (Print)2155-7195
ISSN (Electronic)2155-7209


Conference41st IEEE/AIAA Digital Avionics Systems Conference, DASC 2022
Country/TerritoryUnited States

Bibliographical note

Publisher Copyright:
© 2022 IEEE.


  • Distributed Avionic Architecture
  • Flight Controller
  • Networked System
  • Runtime Assurance

ASJC Scopus subject areas

  • Aerospace Engineering
  • Electrical and Electronic Engineering


Dive into the research topics of 'Runtime Assurance for Distributed Avionics Architecture'. Together they form a unique fingerprint.

Cite this