Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Virtual Networks in an Integrated Time-Triggered Architecture
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
Realization of virtual networks in the DECOS integrated architecture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Encapsulating application subsystems using the DECOS core OS
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
An analysis of the AUTOSAR OS timing protection mechanism
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Kernel-level ARINC 653 partitioning for Linux
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Enabling trusted scheduling in embedded systems
Proceedings of the 28th Annual Computer Security Applications Conference
Tessellation: refactoring the OS around explicit resource containers with continuous adaptation
Proceedings of the 50th Annual Design Automation Conference
| Hi-index | 0.00 |
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulation of these subsystems is required in the temporal as well as in the spatial domain. Partitioning Operating Systems (OSs) are employed to allow shared access of applications to critical resources within an integrated system. In this paper we will discuss fundamental properties of partitioning OSs and compare features of existing solutions. Thereby, we will investigate on LynxOS which is a partitioning OS according to ARINC653, on Tresos, a partitioning OS in accordance with AUTomotive Open System ARchitecture (AUTOSAR), as well as on two prototypical partitioning OS realizations that have been implemented within the Dependable Embedded COmponents and Systems (DECOS) project, an integrated project within the Sixth Framework Programme of the European Commission.