In mixed-criticality systems, applications naturally have different safety criticality levels. Partitioning technology is usually used to enable the integration of such mixed criticality applications upon one platform, aiming at reducing hardware, power consumption and especially certification cost. Partitioning can prevent fault propagation among mixed-criticality applications, if spatial and temporal isolation are adequately ensured. 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. According to formulated isolation requirements, a simple partitioning multi-core hardware architecture is proposed using SoC and memory protection units, and the kernel is extended to support spatial isolation between the kernel and applications as well as between applications. Combined design of hardware and software can easily achieve this isolation. At last, the spatial isolation is evaluated using a statistical sampling method and its performance is tested in terms of task switch, system call and footprint.
|Tidsskrift||International Journal of Critical Computer-Based Systems|
|Status||Udgivet - 2013|