Kernel-level ARINC 653 partitioning for Linux
S Han, HW ** - 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 ** - 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 …
An integrated modular avionics development environment
T Schoofs, S Santos, C Tatibana… - 2009 IEEE/AIAA 28th …, 2009 - ieeexplore.ieee.org
The ARINC 653 standard has taken a leading role within the aeronautical industry in the
development of safety-critical systems based on the Integrated Modular Avionics (IMA) …
development of safety-critical systems based on the Integrated Modular Avionics (IMA) …
Architecting robustness and timeliness in a new generation of aerospace systems
Aerospace systems have strict dependability and real-time requirements, as well as a need
for flexible resource reallocation and reduced size, weight and power consumption. To cope …
for flexible resource reallocation and reduced size, weight and power consumption. To cope …
Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures
Time-critical systems for instance in avionics, isolate applications from each other to provide
safety and timing guarantees. Resources are partitioned in time and space to create an …
safety and timing guarantees. Resources are partitioned in time and space to create an …
Full virtualizing micro hypervisor for spacecraft flight computer
H Joe, H Jeong, Y Yoon, H Kim… - 2012 IEEE/AIAA 31st …, 2012 - ieeexplore.ieee.org
Recently partitioning and virtualization techniques for Integrated Modular Avionics (IMA) of
aeronautics sector are proposed as the candidate architecture for safety-critical space …
aeronautics sector are proposed as the candidate architecture for safety-critical space …
Kernel-level design to support partitioning and hierarchical real-time scheduling of ARINC 653 for VxWorks
W Ruan, Z Zhai - 2014 IEEE 12th international conference on …, 2014 - ieeexplore.ieee.org
The Integrated Modular Avionic (IMA) architecture has been proposed for the next-
generation avionics systems. ARINC 653 is the standards for Application Programming …
generation avionics systems. ARINC 653 is the standards for Application Programming …
Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard
Wireless technology has been seen as the communication technology of the future. One of
many challenges is the support for predictability and time-bounded communications over …
many challenges is the support for predictability and time-bounded communications over …
Harmonizing ARINC 653 and realtime POSIX for conformance to the FACE technical standard
G Bloom, J Sherrill - … IEEE 23rd international symposium on real …, 2020 - ieeexplore.ieee.org
The avionics industry is converging toward the next generation of software standards
produced by The Open Group via the Future Airborne Capability Environment (FACE) …
produced by The Open Group via the Future Airborne Capability Environment (FACE) …
Composable and predictable dynamic loading for time-critical partitioned systems
S Sinha, M Koedam, R Van Wijk… - 2014 17th Euromicro …, 2014 - ieeexplore.ieee.org
In time-critical systems such as in avionics, for safety and timing guarantees, applications
are isolated from each other. Resources are partitioned in time and space creating a …
are isolated from each other. Resources are partitioned in time and space creating a …