Abstract
When multiple functionalities are integrated in the same embedded platform, it is highly likely that some of them will be more critical to the survival of the system than others. Mixed criticality systems (MCS) are based on the concept of allowing applications with multiple levels of criticality to seamlessly interact and coexist on the same platform. Criticality designates the level of assurance against failure needed for a system component. Methods to achieve such a separation include kernel separation and virtualization. At the same time, these platforms are migrating from single-core to multi-cores. Most of the complex embedded systems found in, for example, the automotive and avionics industries are shifting into MCS in order to meet strict non-functional requirements relating to cost, space, weight, heat generation and power consumption. XtratuM is a bare metal hypervisor that was designed to meet safety critical real-time requirements. In this paper we will present the difference between these methods. We will also introduce an architecture based on this hypervisor. We have implemented a simple architecture to test out the performances of communication channels provided in this hypervisor. We will also discuss challenges surrounding MCS in embedded systems and the difference between two mechanisms employed in MCS.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Crespo, A., Alonso, A.: MultiPARTES – partitioning heterogeneous multicores. In: 2nd International Workshop on the Integration of Mixed-criticality Subsystems on Multi-core and Many-core Processors at HiPEAC Conference (2014)
Craveiro, J.: Integration of Generic Operating Systems in Partitioned Architectures. MSc. thesis. University of Lisbon, Portugal (2009)
Zhishan G, Sanjoy B (2018) Mixed-Criticality Real-Time Systems. doi:1–20. https://doi.org/10.1007/978-3-642-54477-4_6-1
Ernst, R., Di Natale, M.: Mixed criticality systems—a history of misconceptions? IEEE Design & Test 33(5), 65–74 (2016). https://doi.org/10.1109/MDAT.2016.2594790
Kaiser, R.: The PikeOS concept history and design. Technical Report, SYSGO (2007)
Aeronautical Radio, Inc. Avionics Application Software Standard Interface (2005), Part 1—Required Services. ARINC Specification 653P1-2
Tellabi, A., Peters, L., Ruland, C., Waedt, K.: Security Aspects of Hardware Virtualization Technologies for Industrial Automation and Control Systems. GIACM WS on I4.0/IACS Standardization, Berlin (2018)
DREAMS: Distributed REal-time Architecture for Mixed Criticality Systems. http://dreams-project.eu
OVERSEE: Open Vehicular Secure Platform. https://www.oversee-project.com/
Crespo, A., Alonso, A., Marcos, M., De la Puente, J.A., Balbastre, P.: Mixed criticality in control systems. IFAC Proc. Volum. 47(3), 12261–12271 (2014)
Tellabi, A., Ben Zid, I., Ruland, C., Waedt, K.: Virtualization on secure platforms for industrial applications current use cases and future perspectives. In: 12th International Conference on Reliability Maintainability and Safety (ICRMS) (2018)
Masmano, M., Ripoll, I., Crespo, A., Salvador, P.: XtratuM Hypervisor for LEON3. Volume 4: Reference Manual. Polytechnical University of Valencia, Spain (2011)
Silva, H., Sousa, J., Freitas, D., Faustino, S., Constantino, A., Coutinho, M.: RTEMS Improvement – Space Qualification of RTEMS Executive. http://air.di.fc.ul.pt/air-ii/downloads/Silva09inforum.pdf
Qemu, What is QEMU?. https://www.qemu.org/
Crespo, A. et al.: XtratuM: an open source hypervisor for TSP embedded systems in aerospace. In: Proc. of DASIA 2009 Data Systems In Aerospace. Istanbul, Turkey (2009)
IEC 61850: Communication networks and systems for power utility automation, IEC (2013)
Crespo, A., Alonso, A., Marcos, M., De La Puente, J.A., Balbastre, P.: Mixed criticality in control systems. In: Preprints of the 19th World Congress of the International Federation of Automatic Control. Cape Town, South Africa (2014)
Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. In: IEEE Trans. on Dependable and Secure Computing (2004)
Barhorst, J., et al.: A Research Agenda for Mixed-Criticality Systems. https://www.cse.wustl.edu/~cdgill/CPSWEEK09_MCAR/RBO-09-130%20Joint%20MCAR%20White%20Paper%20PA%20approved.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Tellabi, A., Parekh, M., Ruland, C., Ezziyyani, M. (2020). A Case Study of Virtualization Used in Mixed Criticality Systems. In: Ezziyyani, M. (eds) Advanced Intelligent Systems for Sustainable Development (AI2SD’2019). AI2SD 2019. Lecture Notes in Electrical Engineering, vol 624. Springer, Cham. https://doi.org/10.1007/978-3-030-36475-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-36475-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-36474-8
Online ISBN: 978-3-030-36475-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)