文档介绍：硕士学位论文
基于L4平台的SmartOSEK操作系统的虚拟化
摘要
随着汽车越来越大众化,汽车电子技术的应用也越来越广泛。汽车电子技术的快速发展,引领未来汽车电子技术向着软件新技术应用、智能汽车及智能交通系统等方面突破。针对这样的发展趋势,本文提出了一种基于L4微内核技术,将嵌入式实时操作系统和非实时操作系统相结合的虚拟化软件平台,实现基于L4平台的嵌入式操作系统虚拟化。
本文在深入研究L4微内核技术的基础上,结合浙江大学ESE工程中心对于车载实时操作系统领域多年的研究积淀,参照汽车领域的AUTOSAR标准设计,定制了针对智能汽车软件平台的,实现了基于L4微内核技术的SmartOSEK操作系统的虚拟化。主要工作如下:
(1)调研了L4微内核的发展现状,并选择“TUD组织”,,主要是研究了虚拟化CPU技术。,设计了面向智能汽车软件平台的SmartOSEK操作系统的移植方案,并实现SmartOSEK操作系统在L4平台上的虚拟化。
(2),依据SmartOSEK操作系统和Android操作系统对内存管理的方式,设计并实现SmartOSEK操作系统对于智能汽车软件平台的内存管理。
(3),实现了SmartOSEK操作系统和Android操作系统之间的通讯。
(4)依据智能汽车软件平台的需求,,设计并实现了SmartOSEK操作系统监控Android操作系统运行的功能。
关键词:智能汽车,SmartOSEK,虚拟化,L4微内核,
Abstract
With the popularity of cars, the automotive electronic technology has e increasingly widespread. With the rapid development of the electronic vehicle technology, it leads the future of electronic vehicle technology breakthrough toward the software application of new technologies, intelligent vehicles, intelligent transportation system, etc. According to this tendency, this thesis designs a virtualization application platform, which based on L4 microkernel technology bines an embedded real-time operating system and a normal operating system.
This thesis investigates the L4 microkernel technology and the research of RTOS on vehicle in recently years. According to the AUTOSAR standard, this thesis customize SmartOSEK operating system oriented to intelligent car, and implement the virtualization of SmartOSEK operating system which based on L4 platform. The major work as follows:
Firstly, this thesis investigates the development of L4 microkernel, and investigates the technology of CPU virtualization in microkernel. The microkernel is one of the L4 microkernel family implemented by anization. According to AUTOSAR standard architecture and the technolog