Corpus ID: 36792543

Virtualization Technologies for Cars Solutions to increase safety and security of vehicular ECUs

  title={Virtualization Technologies for Cars Solutions to increase safety and security of vehicular ECUs},
  author={J. Pelzl and M. Wolf},
Virtualization basically means realizing several runtime environments in parallel but strictly isolated on a shared hardware. Nowadays, virtualization is an accepted standard and is used in the desktop and server market as a genuine alternative solution to several individual dedicated hardware systems. Through today’s availability of modern and highly efficient virtualization solutions, virtualization becomes extremely interesting also for embedded applications. The following work first gives a… Expand

Figures and Tables from this paper

Next Generation of Automotive Security: Secure Hardware and Secure Open Platforms
This technical paper gives a short overview about the OVERSEE project, a European research project developing a new in-vehicle application and communication platform with an overall budget of about 4Expand
Sensor Virtualization and Data Orchestration in Internet of Vehicles (IoV)
A system is proposed to exploit the potential of Mobile Edge Computing (MEC) and virtualization technologies to maintain the status of the underlying network on the intermediate layer to lead to enhanced data processing performance as well as the availability of pre-processed or real-time data of the vehicular network to the newly introduced services despite the disconnection periods of vehicles. Expand
SURROGATES: Virtual OBUs to Foster 5G Vehicular Services
Virtualization technologies are key enablers of softwarized 5G networks, and their usage in the vehicular domain can provide flexibility and reliability in real deployments, where mobility andExpand
AUTOSAR and Linux - Single chip solution Implementation of Automotive Multipurpose ECU Prototype system using hypervisor solution
The rapid explosion in the complex Electrical and Electronics (E/E) system components in modern automotive systems has resulted in an intricate vehicle on board system design with more than 50Expand
A survey on vehicular cloud computing
A taxonomy for vehicular cloud is presented in which special attention has been devoted to the extensive applications, cloud formations, key management, inter cloud communication systems, and broad aspects of privacy and security issues, which found that VCC is a technologically feasible and economically viable technological shifting paradigm for converging intelligent vehicular networks towards autonomous traffic, vehicle control and perception systems. Expand
ProSEV: Proxy-Based Secure and Efficient Vehicular Communication
This paper has investigated through a real experiment, how the VANet mobility imposes challenges in establishing and maintaining a long-lasting connection, and proposed a mechanism to improve the communication efficiency over VANETs based on the concept of intelligent proxies. Expand
Threat Analysis on Vehicle Computer Systems
Vehicles have been around in our society for over a century, until recently they have been standalone systems. With increased amounts of initiatives to inter-network vehicles to avoid accidents andExpand
Formal Verification of a Microkernel Used in Dependable Software Systems
This paper reports on the Verisoft XT subproject Avionics, where formal verification is being applied to a commercial embedded operating system, the PikeOS system, which is a microkernel-based partitioning hypervisor. Expand
A Security Architecture for Multipurpose ECUs in Vehicles
Dieser Beitrag stellt Konzepte und Mechanismen zur Absicherung multifunktionaler Steuergeräte in Fahrzeugen vor. Insbesondere gilt es den Einsatz von vertrauenswürdigen, sicherheitskritischenExpand
Implementation of Automotive Multipurpose ECU Prototype system using hypervisor solution Master of Science Thesis in the Master Degree Program, Networks and Distributed Systems
........................................................................................................................... iii PrefaceExpand


kvm : the Linux Virtual Machine Monitor
The Kernel-based Virtual Machine, or kvm, is a new Linux subsystem which leverages virtualization extensions to add a virtual machine monitor (or hypervisor) capability to Linux. Expand
Evaluating the Performance Impact of Xen on MPI and Process Execution For HPC Systems
This work empirically evaluates the impact of Xen on both communication and computation and compares its use to that of a customized kernel using HPC cluster resources at Lawrence Livermore National Lab (LLNL), and employs statistically sound methods to compare the performance of a para virtualized kernel against three popular Linux operating systems. Expand
Towards a Verified , General-Purpose Operating System Kernel †
Operating system kernels are complex, critical, and difficult to test systems. The imperative nature of operating system implementations, the programming languages chosen, and the usually selectedExpand
Open-Interface Definitions for Automotive Systems Application to a Brake by Wire System
The investigation of the level of appropriate interfaces, as part of the European BRAKE project, is described here and the functional decomposition upon which the interface definitions are based are given. Expand
On micro-kernel construction
Contradictory to this belief, it is shown and support by documentary evidence that inefficiency and inflexibility of current μ-kernels is not inherited from the basic idea but mostly from overloading the kernel and/or from improper implementation. Expand
Volume 32
  • Number 6. December
  • 2007
  • 3rd Workshop on Embedded Security in Cars (escar). November
  • 2005
Automotive Software – The Silent Revolution
  • Workshop on Future Generation Software Architectures in the Automotive Domain. San Diego, USA
  • 2004
Microsoft Virtual PC 2004 – Technical Overview
  • Microsoft Corporation, November
  • 2003
Xen and the art of virtualization
This research presents a meta-modelling architecture that automates the very labor-intensive and therefore time-heavy and therefore expensive process of manually cataloging and partitioning the resources of a modern computer. Expand