Towards Virtualization Concepts for Novel Automotive HMI Systems

Many innovations in the automotive industry are based on electronics and software, which has led to a steady increase of electronic control units (ECU) in cars. This brought up serious scalability and complexity issues in terms of cost, installation space, and energy consumption. In order to tackle these problems, there is a strong interest to consolidate ECUs using virtualization technologies. However, current efforts largely neglect legal constraints and certification issues and the resulting technical requirements.

[1]  Eyal de Lara,et al.  VMM-independent graphics acceleration , 2007, VEE '07.

[2]  Jana Maria Heinsohn,et al.  Einführung in die ISO 26262 "Functional Safety - Road Vehicles" , 2011 .

[3]  John McHugh,et al.  A prototype B3 trusted X Window System , 1991, Proceedings Seventh Annual Computer Security Applications Conference.

[4]  Mikhail Bautin,et al.  Graphic engine resource management , 2008, Electronic Imaging.

[5]  Udo Steinberg,et al.  NOVA: a microhypervisor-based secure virtualization architecture , 2010, EuroSys '10.

[6]  Hermann Härtig,et al.  DOpE - a window server for real-time and embedded systems , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[7]  Michael Norrish,et al.  seL4: formal verification of an operating-system kernel , 2010, Commun. ACM.

[8]  Shinpei Kato,et al.  TimeGraph: GPU Scheduling for Real-Time Multi-Tasking Environments , 2011, USENIX Annual Technical Conference.

[9]  Capers Jones,et al.  Embedded Software: Facts, Figures, and Future , 2009, Computer.

[10]  Jonathan S. Shapiro,et al.  Design of the EROS Trusted Window System , 2004, USENIX Security Symposium.

[11]  Tsutomu Asoh,et al.  *JAMA Guideline for In-Vehicle Display Systems (*Japan Automobile Manufacturers Association) , 2005 .

[12]  Yukinobu Nakamura.  JAMA Guideline for In-Vehicle Display Systems , 2008 .

[13]  Jacob Gorm Hansen,et al.  Blink: Advanced Display Multiplexing for Virtualized Applications , 2007 .

[14]  Chris J. Mitchell,et al.  Trusted Computing: Security and Applications , 2009, Cryptologia.

[15]  Shinpei Kato,et al.  Resource Sharing in GPU-Accelerated Windowing Systems , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[16]  Norman Feske,et al.  A Nitpicker’s guide to a minimal-complexity secure GUI , 2005, 21st Annual Computer Security Applications Conference (ACSAC'05).

[17]  H. Schneider.  Failure mode and effect analysis : FMEA from theory to execution , 1996 .

[18]  Chun-Kun,et al.  Lecture Note Sel4: Formal Verification of an Os Kernel , 2022 .