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 …
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 …
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 …
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 …
practices are primarily implementation-agnostic or are limited by lack of visibility during the …
Manticore: A framework for partitioning software services for hybrid cloud
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 …
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
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 …
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
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 …
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
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 …
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 …
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 …
intensive distributed system. However, current technology and practice in the automotive …