Full virtualization based ARINC 653 partitioning

S Han, HW Jin - 2011 IEEE/AIAA 30th Digital Avionics Systems …, 2011 - ieeexplore.ieee.org
As the number of electronic components of avionics systems is significantly increasing, it is
desirable to run several avionics software on a single computing device. In such system …

Kernel-level ARINC 653 partitioning for Linux

S Han, HW Jin - Proceedings of the 27th Annual ACM Symposium on …, 2012 - dl.acm.org
The Integrated Modular Avionics (IMA) architecture has been suggested for the next-
generation avionics systems. ARINC 653 is the standard for application programming …

Resource partitioning for Integrated Modular Avionics: comparative study of implementation alternatives

S Han, HW Jin - Software: Practice and Experience, 2014 - Wiley Online Library
Most current generation avionics systems are based on a federated architecture, where an
electronic device runs a single software module or application that collaborates with other …

Scheduling for mixed-criticality hypervisor systems in the automotive domain

C Evripidou - 2016 - etheses.whiterose.ac.uk
This thesis focuses on scheduling for hypervisor systems in the automotive domain. Current
practices are primarily implementation-agnostic or are limited by lack of visibility during the …

Manticore: A framework for partitioning software services for hybrid cloud

N Kaviani, E Wohlstadter, R Lea - 4th IEEE international …, 2012 - ieeexplore.ieee.org
Hybrid cloud deployment can be an attractive option for companies wanting to deploy
software services on scalable public clouds, while still assuming local control over sensitive …

Fast Linux bootup using non-intrusive methods for predictable industrial embedded systems

M Åsberg, T Nolte, M Joki, J Hogbrink… - 2013 IEEE 18th …, 2013 - ieeexplore.ieee.org
Fast kernel boot-time is one of the major concerns in industrial embedded systems.
Application domains where boot time is relevant include (among others) automation …

Timing-accurate scheduling and allocation for parallel I/O operations in real-time systems

Y Zhang, S Zhao, G Chen, H Luo, K Huang - Journal of Systems …, 2024 - Elsevier
In industrial real-time systems, the I/O operations are often required to be both timing
predictable, ie, finish before the deadline to ensure safety, and timing accurate, ie, start at or …

Modelling, verification and synthesis of two-tier hierarchical fixed-priority preemptive scheduling

M Åsberg, P Pettersson, T Nolte - 2011 23rd Euromicro …, 2011 - ieeexplore.ieee.org
Hierarchical scheduling has major benefits when it comes to integrating hard real-time
applications. One of those benefits is that it gives a clear runtime separation of applications …

A FIFO spin-based resource control framework for symmetric multiprocessing

S Zhao - 2018 - etheses.whiterose.ac.uk
Managing shared resources in multiprocessor real-time systems can often lead to
considerable schedulability sacrifice, and currently there exist no optimal multiprocessor …

Guaranteeing end-to-end deadlines for AUTOSAR-based automotive software

H Yoon, M Ryu - International Journal of Automotive Technology, 2015 - Springer
Automotive electrical/electronic (E/E) architectures are evolving towards a complex software
intensive distributed system. However, current technology and practice in the automotive …