A dual-layer bus arbiter for mixed-criticality systems with hypervisors

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. For single core platforms the use of hypervisors promises to shield applications of different criticality from each other. Timing problems may emerge when the hypervisor is ported to a multicore platform where different cores access the global memory concurrently. We show, that full temporal isolation of applications executing on different cores is only achievable if the hypervisor is run on appropriate hardware. The presented dual-layer bus arbiter enables critical applications to preserve isolation properties and also improves the execution performance of noncritical applications.

[1]  Kees G. W. Goossens,et al.  Predator: A predictable SDRAM memory controller , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[2]  Krishnendu Chatterjee,et al.  Synthesis of AMBA AHB from formal specification: a case study , 2011, International Journal on Software Tools for Technology Transfer.

[3]  Sanjoy K. Baruah,et al.  Towards the Design of Certifiable Mixed-criticality Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[4]  Neil C. Audsley,et al.  Memory Architectures for NoC-Based Real-Time Mixed Criticality Systems , 2013 .

[5]  David Broman,et al.  FlexPRET: A processor platform for mixed-criticality systems , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[6]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[7]  Patricia Balbastre Betoret,et al.  XtratuM hypervisor redesign for LEON4 multicore processor , 2014, SIGBED.

[8]  PaolieriMarco,et al.  Hardware support for WCET analysis of hard real-time multicore systems , 2009 .

[9]  M. Masmano,et al.  XtratuM for LEON3: an Open Source Hypervisor for High Integrity Systems , 2010 .

[10]  Francisco J. Cazorla,et al.  Hardware support for WCET analysis of hard real-time multicore systems , 2009, ISCA '09.

[11]  M. Masmano,et al.  XtratuM: a Hypervisor for Safety Critical Embedded Systems , 2012 .

[12]  Edward A. Lee,et al.  PRET DRAM controller: Bank privatization for predictability and temporal isolation , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[13]  Nikil Dutt,et al.  On-Chip Communication Architectures: System on Chip Interconnect , 2008 .