Virtualization Technology for Dependable Embedded Systems: A Survey for Transportation and Industrial Domains

IF 28 1区计算机科学 Q1 COMPUTER SCIENCE, THEORY & METHODS

ACM Computing Surveys Pub Date : 2025-09-13 DOI:10.1145/3765736

Jon Perez-Cerrolaza, Patricia Balbastre, Enrico Mezzetti, Alfons Crespo, Jon González Eguiluz, Miguel Martin Acosta, Charles-Alexis Lefebvre

引用次数: 0

Abstract

Next-generation transportation and industrial systems are characterized by a continuously increasing number of integrated software functionalities and computational performance requirements. Nevertheless, there is also a need to reduce the cost, number, size, power consumption, volume and weight of integrated dependable embedded systems. In this context, virtualization technology enables the reconciliation of these challenges supporting the integration of multiple software functionalities of mixed-criticality (real-time and non-real-time, safety and non-safety-related) on a single computing device. This survey provides an overview of virtualization solutions (hypervisors, microkernels and separation kernels) and categorizes research contributions addressing virtualization, real-time, dependability and domain-specific technological challenges.

查看原文本刊更多论文

可靠嵌入式系统的虚拟化技术：交通和工业领域的调查

下一代运输和工业系统的特点是集成软件功能和计算性能要求不断增加。然而，还需要降低集成可靠嵌入式系统的成本、数量、尺寸、功耗、体积和重量。在这种情况下，虚拟化技术能够协调这些挑战，支持在单个计算设备上集成混合关键（实时和非实时、安全和非安全相关）的多种软件功能。本调查概述了虚拟化解决方案（管理程序、微内核和分离内核），并对虚拟化、实时、可靠性和特定领域技术挑战方面的研究成果进行了分类。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM Computing Surveys 工程技术-计算机：理论方法

CiteScore

33.20

自引率

0.60%

发文量

372

审稿时长

12 months

期刊介绍： ACM Computing Surveys is an academic journal that focuses on publishing surveys and tutorials on various areas of computing research and practice. The journal aims to provide comprehensive and easily understandable articles that guide readers through the literature and help them understand topics outside their specialties. In terms of impact, CSUR has a high reputation with a 2022 Impact Factor of 16.6. It is ranked 3rd out of 111 journals in the field of Computer Science Theory & Methods. ACM Computing Surveys is indexed and abstracted in various services, including AI2 Semantic Scholar, Baidu, Clarivate/ISI: JCR, CNKI, DeepDyve, DTU, EBSCO: EDS/HOST, and IET Inspec, among others.