[Zurück]

B. Cilku, P. Puschner:
"Towards Temporal and Spatial Isolation in Memory Hierarchies for Mixed-Criticality Systems with Hypervisors";
Vortrag: 1st Workshop on Real-Time Mixed Criticality Systems, Taipei, Taiwan; 21.08.2013; in: "Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 1st workshop on Real-Time Mixed Criticality Systems", (2013).

In mixed-criticality systems, applications with different
levels of criticality are integrated on the same computational
platform. Without a proper isolation of the different
applications of such a mixed-criticality system certification gets
expensive, because it has to be shown that application components
of lower criticality do not hamper the correct operation of the
critical applications. Therefore, all components - even the less
critical ones - have to be certified for the highest criticality
level. The use of hypervisors promises to shield applications of
different criticality from each other, thus keepting certification
cost reasonable. Indeed hypervisors can provide spatial isolation.
Further they can prohibit certain types of temporal interference.
We show, however, that full temporal isolation is only achievable
if the hypervisor is run on appropriate hardware. We discuss
hardware mechanisms that thwart respectlively facilitate temporal
isolation. This way we provide a guideline for the sharing of
resources and the realization of memory hierarchies for mixedcriticality
multi-core systems.

mixed-criticality systems; partitioning; multi-core; isolation; time predictability; memory hierarchy;

http://publik.tuwien.ac.at/files/PubDat_222734.pdf