Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain

2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) Pub Date : 2022-05-25 DOI:10.48550/arXiv.2205.12596

M. Cinque, L. Simone, Andrea Marchetta

{"title":"Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain","authors":"M. Cinque, L. Simone, Andrea Marchetta","doi":"10.48550/arXiv.2205.12596","DOIUrl":null,"url":null,"abstract":"Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, too. Consolidating worlds at different criticalities is a welcomed challenge for car manufacturers that have recently tried to leverage virtualization technologies due to reduced maintenance, deployment, and shipping costs. For this reason, more and more mixed-criticality systems are emerging, trying to assure compliance with the ISO 26262 Road Vehicle Safety standard. In this short paper, we provide a preliminary investigation of the certification capabilities for Jailhouse, a popular open-source partitioning hypervisor. To this aim, we propose a testing methodology and showcase the results, pointing out when the software gets to a faulting state, deviating from its expected behavior. The ultimate goal is to picture the right direction for the hypervisor towards a potential certification process.","PeriodicalId":349937,"journal":{"name":"2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.48550/arXiv.2205.12596","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

Nowadays, a feature-rich automotive vehicle offers several technologies to assist the driver during his trip and guarantee an amusing infotainment system to the other passengers, too. Consolidating worlds at different criticalities is a welcomed challenge for car manufacturers that have recently tried to leverage virtualization technologies due to reduced maintenance, deployment, and shipping costs. For this reason, more and more mixed-criticality systems are emerging, trying to assure compliance with the ISO 26262 Road Vehicle Safety standard. In this short paper, we provide a preliminary investigation of the certification capabilities for Jailhouse, a popular open-source partitioning hypervisor. To this aim, we propose a testing methodology and showcase the results, pointing out when the software gets to a faulting state, deviating from its expected behavior. The ultimate goal is to picture the right direction for the hypervisor towards a potential certification process.

查看原文本刊更多论文

认证未认证:面向汽车领域混合关键的虚拟化评估

如今，一辆功能丰富的汽车提供了多种技术来辅助驾驶员在旅途中，并保证其他乘客也有一个有趣的信息娱乐系统。对于最近试图利用虚拟化技术以减少维护、部署和运输成本的汽车制造商来说，在不同的关键位置整合世界是一个受欢迎的挑战。因此，越来越多的混合临界系统应运而生，试图确保符合ISO 26262道路车辆安全标准。在这篇短文中，我们对流行的开源分区管理程序Jailhouse的认证功能进行了初步研究。为了达到这个目的，我们提出了一种测试方法，并展示了结果，指出软件何时进入错误状态，偏离了预期的行为。最终目标是为管理程序描绘一个潜在的认证过程的正确方向。

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

求助全文

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

来源期刊

2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)

自引率

0.00%

发文量