论文标题
认证未经证明的：朝着虚拟化评估汽车领域的混合批评性
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
论文作者
论文摘要
如今，一款功能丰富的汽车车辆提供了多种技术，可以在旅行期间为驾驶员提供帮助，并保证对其他乘客也有有趣的信息娱乐系统。在不同关键问题上巩固世界是一个受欢迎的挑战，对于最近由于降低的维护，部署和运输成本而试图利用虚拟化技术的汽车制造商的挑战。因此，越来越多的混合批判性系统正在出现，试图确保符合ISO 26262 Road车辆安全标准。在这篇简短的论文中，我们对受欢迎的开源分区管理程序的监狱认证能力进行初步调查。为此，我们提出了一种测试方法并展示结果，并指出何时软件到达故障状态，从而偏离了其预期行为。最终的目标是想象从事潜在认证过程的正确范围的正确方向。
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.
