I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

  title={I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications},
  author={Gang Li and S{\o}ren Top},
In a mixed-criticality system, applications with different safety criticality levels are usually required to be implemented upon one platform for several reasons( reducing hardware cost, space, power consumption). Partitioning technology is used to enable the integration of mixed-criticality applications with reduced certification cost. In the partitioning architecture of strong spatial and temporal isolation, fault propagation can be prevented among mixed-criticality applications (regarded as… 
Towards spatial isolation design in a multi-core real-time kernel targeting safety-critical applications
This paper focuses on the solution of spatial isolation in the HARTEX kernel on a multi-core platform in terms of memory, communication between applications and I/O sharing and the spatial isolation is evaluated using a statistical sampling method.
A Systematic Approach for Software Interference Analysis
This paper presents an interference analysis method that allows for the systematic identification and specification of interferences, and argues the sufficiency of the interference analysis is difficult using such an approach.


Sharing I/O in Strongly Partitioned Real-Time Systems
This paper provides an effective model that the co-existence of any application does not hinder the execution of IO operations or spatial and temporal requirements of other applications.
HARTEX—a safe real‐time kernel for distributed computer control systems
A hard real‐time kernel is presented for distributed computer control systems (DCCS), demonstrating efficient and highly deterministic behaviour, characterized by very low overhead and constant execution time of kernel operations, independent of the number of tasks involved.
Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
Practical Control's embedded software team have experience in large multiprocessor designs through to small single low power embedded software devices, and have a history in safety critical software development which leads to robust product development.
Safety and Security Analysis of Object-Oriented Models
In this paper we review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more
IO Virtualisation in a Partitioned System
This work presents a solution for device virtualisation on the XtratuM hypervisor which has been specifically designed for critical embedded systems and is in the scope of the Open Secure Vehicular Platform project.
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements
This paper presents an implementation oriented taxonomy providing an easy and unambiguous approach to model real life architectures in conformance with IEC61508, and results in an improved overview and understanding of the architecture supporting the development and certification process.
The multikernel: a new OS architecture for scalable multicore systems
This work investigates a new OS structure, the multikernel, that treats the machine as a network of independent cores, assumes no inter-core sharing at the lowest level, and moves traditional OS functionality to a distributed system of processes that communicate via message-passing.
Integrated modular avionics (ima) development guidance and certification considerations
  • Integrated modular avionics (ima) development guidance and certification considerations
  • 2005
Certificationn of trusted mpsoc platforms
  • 10th International Forum on Embedded MPSoC and multi-core
  • 2010