Challenges and Ways Forward for Avionics Platforms and their Development in 2019

Annighoefer, Bjoern; Halle, Martin; Schweiger, Andreas; Reich, Marina; Watkins, Christopher B.; VanderLeest, Steven H.; Harwarth, Stefan; Deiber, Patrick

doi:10.1109/dasc43569.2019.9081794

Cited by 17 publications

(2 citation statements)

References 55 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Years ago, works such as those of Kinnan et al [4] and Wilhelm et al [5] already pointed out some of the problems of shared resources, how they cause variability in execution times and how this un-predictability impacts the implementation and certification of these systems. A decade later, bounding the WCET to obtain deterministic behaviour remains one of the main challenges in, for example, avionics platforms, as reflected in the work of Annighoefer et al [6] These problems can be mitigated, in many cases, by intelligently planning architectures to improve predictability, as the works of Cullman et al [7] and Kliem and Voigt [8] point out.…”

Section: Introductionmentioning

confidence: 99%

A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems

2023

View full text Add to dashboard Cite

Virtualization has become one of the main tools for making efficient use of the resources offered by multicore embedded platforms. In recent years, even sectors such as space, aviation, and automotive, traditionally wary of adopting this type of technology due to the impact it could have on the safety of their systems, have been forced to introduce it into their day-to-day work, as their applications are becoming increasingly complex and demanding. This article provides a comprehensive review of the research work that uses or considers the use of a hypervisor as the basis for building a virtualized safetycritical embedded system. Once the hypervisors developed or adapted for this type of system have been identified, an exhaustive qualitative comparison is made between them. an exhaustive qualitative comparison is made between them. To the best of our knowledge, this is the first time that all this information is collected in a single article. Therefore, the main contribution of this article is that it collects and categorizes the information of each hypervisor and compares them with each other, so that this article can be used as a starting point for future researchers in this area, who will be able to quickly check which hypervisor is best suited to their research needs.

show abstract

Section: Introductionmentioning

confidence: 99%

A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems

2023

View full text Add to dashboard Cite

show abstract

“…Thus, it is difficult to certify such systems as their behaviour evolves during execution time as it is learning or due to the algorithms' non-deterministic nature. Generally, the system needs to be safe, reliable, and certifiable in its behaviour and implementation [2].…”

Section: Introductionmentioning

confidence: 99%

Runtime Assurance for Distributed Avionics Architecture

Ghori

Khamvilai

Féron

et al. 2022

2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

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.

show abstract

Seamless Transitions from Logical to Physical Avionics Architecture Models for Preliminary Aircraft Systems Design

Broehan,

Kuelper,

Thielecke

2023

INCOSE International Symp

View full text Add to dashboard Cite

The transition of federated aviation electronics (avionics) systems to Integrated Modular Avionics (IMA) concepts leads to a higher integration of functions, which reduces the amount of equipment and therefore system mass. However, these benefits are accompanied by a strong increase in system complexity and more interdependencies. Moreover, further digitalization and automation of aircraft functions lead to a higher impact of avionics in terms of equipment number and energy consumption. One challenge arises from the fact that the IMA platform design starts in parallel to the design of other aircraft on‐board systems, for which the platform shall provide resources like computing power. This leads to a high uncertainty during early design phases on the one hand and to a complex design process including many data and tool interfaces on the other hand. In order to meet these challenges, seamless model‐based design approaches are being broadly investigated. For this purpose, standardized and automated interfaces between different design steps, tools, and stakeholders are needed. In this work, a formalized avionics architecture design process is proposed to support a seamless model‐based tool chain from systems architecting to detailed system design. Methods to handle uncertainties, to provide standardized model interfaces, and to automate transitions between model abstraction levels are included. Overall, this reduces manual effort and the introduction of errors that would lead to high costs during system implementation.

show abstract

Challenges and Ways Forward for Avionics Platforms and their Development in 2019

Cited by 17 publications

References 55 publications

A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems

A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems

Runtime Assurance for Distributed Avionics Architecture

Seamless Transitions from Logical to Physical Avionics Architecture Models for Preliminary Aircraft Systems Design

Contact Info

Product

Resources

About