Modern user interfaces grow more and more complex and cannot be possibly handled by the same software components in charge of the timely execution of safety-critical control tasks. Evidence Srl recently proposed a single-board dual-OS system aimed at combining the flexibility of the Linux general-purpose operating system, which is able to produce any complex user interface, and the reliability of the automotive-grade ERIKA Enterprise operating system, a small-footprint real-time OS suitable for safety-critical control tasks and able to execute commands triggered by Linux. The operating systems run on dedicated cores and, for efficiency reasons, they share memory with limited support for memory protection: although the system allows running two operating systems, from a safety certification point of view it suffers from the fact that safety-critical and non-safety-critical components should be isolated from each other. In this paper we present, as an improvement to the initial implementation, again a double-OS system running, on a dual-core platform, ERIKA Enterprise and a full-featured Linux OS, but using the Xen hypervisor to run the two operating systems in two isolated domains. In the proposed setup, each of the domains runs on a dedicated core, assigned statically by the hypervisor. Linux runs as the control domain, and is therefore able to execute any of the components of the Xen toolstack; it is also able to grant to the real-time operating system access to any I/O-memory range needed for control tasks. The described system also provides a simple, safe communication mechanism between the two operating systems, based on Xen's inter-domain event notification primitives and explicit sharing of a dedicated set of memory pages by the real-time operating system.

Integrating Linux and the real-time ERIKA OS through the Xen hypervisor / Avanzini, Arianna; Valente, Paolo; Faggioli, Dario; Gai, Paolo. - STAMPA. - (2015), pp. 218-224. (Intervento presentato al convegno 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015 tenutosi a Siegen, Germany nel June 8-10, 2015) [10.1109/SIES.2015.7185063].

Integrating Linux and the real-time ERIKA OS through the Xen hypervisor

AVANZINI, ARIANNA;VALENTE, Paolo;
2015

Abstract

Modern user interfaces grow more and more complex and cannot be possibly handled by the same software components in charge of the timely execution of safety-critical control tasks. Evidence Srl recently proposed a single-board dual-OS system aimed at combining the flexibility of the Linux general-purpose operating system, which is able to produce any complex user interface, and the reliability of the automotive-grade ERIKA Enterprise operating system, a small-footprint real-time OS suitable for safety-critical control tasks and able to execute commands triggered by Linux. The operating systems run on dedicated cores and, for efficiency reasons, they share memory with limited support for memory protection: although the system allows running two operating systems, from a safety certification point of view it suffers from the fact that safety-critical and non-safety-critical components should be isolated from each other. In this paper we present, as an improvement to the initial implementation, again a double-OS system running, on a dual-core platform, ERIKA Enterprise and a full-featured Linux OS, but using the Xen hypervisor to run the two operating systems in two isolated domains. In the proposed setup, each of the domains runs on a dedicated core, assigned statically by the hypervisor. Linux runs as the control domain, and is therefore able to execute any of the components of the Xen toolstack; it is also able to grant to the real-time operating system access to any I/O-memory range needed for control tasks. The described system also provides a simple, safe communication mechanism between the two operating systems, based on Xen's inter-domain event notification primitives and explicit sharing of a dedicated set of memory pages by the real-time operating system.
2015
10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015
Siegen, Germany
June 8-10, 2015
218
224
Avanzini, Arianna; Valente, Paolo; Faggioli, Dario; Gai, Paolo
Integrating Linux and the real-time ERIKA OS through the Xen hypervisor / Avanzini, Arianna; Valente, Paolo; Faggioli, Dario; Gai, Paolo. - STAMPA. - (2015), pp. 218-224. (Intervento presentato al convegno 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 2015 tenutosi a Siegen, Germany nel June 8-10, 2015) [10.1109/SIES.2015.7185063].
File in questo prodotto:
File Dimensione Formato  
ValenteLinux-Erika-Xen.pdf

Accesso riservato

Tipologia: Versione pubblicata dall'editore
Dimensione 230.47 kB
Formato Adobe PDF
230.47 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1070766
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 0
social impact