A comprehensive survey on the use of hypervisors in safety-critical systems

S Lozano, T Lugo, J Carretero - IEEE Access, 2023 - ieeexplore.ieee.org
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 …

Integrated modular avionics-past, present, and future

T Gaska, C Watkin, Y Chen - IEEE Aerospace and Electronic …, 2015 - ieeexplore.ieee.org
IMA (Integrated Modular Avionics) approaches have been around for 30 years but vary
widely in implementation and the extent of both hardware and software levels of unification …

The shift to multicores in real-time and safety-critical systems

S Saidi, R Ernst, S Uhrig, H Theiling… - 2015 International …, 2015 - ieeexplore.ieee.org
In real-time and safety-critical systems, the move towards multicores is becoming
unavoidable in order to keep pace with the increasing required processing power and to …

Unmanned aerial vehicle domain: Areas of research

K Demir, H Cicibas, N Arica - Defence science journal, 2015 - avesis.metu.edu.tr
Unmanned aerial vehicles (UAVs) domain has seen rapid developments in recent years. As
the number of UAVs increases and as the missions involving UAVs vary, new research …

Exploring energy saving for mixed-criticality systems on multi-cores

S Narayana, P Huang, G Giannopoulou… - 2016 IEEE Real …, 2016 - ieeexplore.ieee.org
In this paper we study a general energy minimization problem for mixed-criticality systems
on multi-cores, considering different system operation modes, and static & dynamic energy …

Challenges and ways forward for avionics platforms and their development in 2019

B Annighoefer, M Halle, A Schweiger… - 2019 IEEE/AIAA 38th …, 2019 - ieeexplore.ieee.org
Today's air vehicles depend on digital technology. It accounts for more than 30% of their
development costs. The number of functions, the lines of code, the degree of autonomy, and …

Integration of aircraft systems into conceptual design synthesis

T Lammering, E Stumpf - 2014 - publications.rwth-aachen.de
Die vorliegende Arbeit beschreibt eine Methode zur Modellierung von
Flugzeugsystemarchitekturen im Rahmen des Flugzeugvorentwurfs. Die Anwendung der …

[HTML][HTML] A survey of optimal hardware and software map** for distributed integrated modular avionics systems

W Zhang, J Liu, L Cheng, RS Filho, F Gao - Applied Sciences, 2020 - mdpi.com
With an increasing number of aircraft systems, a fully manual developmental approach is
impractical for finding optimal hardware and software map** from overwhelming …

Integrated modular avionics (IMA) partition scheduling with conflict-free I/O for multicore avionics systems

JE Kim, MK Yoon, R Bradford… - 2014 IEEE 38th Annual …, 2014 - ieeexplore.ieee.org
The trend in the semiconductor industry toward multicore processors poses a significant
challenge to many suppliers of safety-critical real-time embedded software. Having certified …

Loosely coupled hybrid scheduling of processing and communication for TSN-based IMA systems

X Zhou, F He, L Zhao - IEEE Transactions on Industrial …, 2024 - ieeexplore.ieee.org
Time-sensitive networking (TSN) has great potential as an airborne network to interconnect
modules in integrated modular avionics (IMA) system. For TSN-based IMA system, the …