The Research And Implementation Of Virtualization And Partitioned System For Safety-Critical

At present, with the emergence of a variety of high-performance processors and low-cost memory chips, there are diverse applications of embedded systems. Embedded systems have been involved in a lot of areas, which are as important as related to national economic and technological basis with stringent requirements for safety-critical applications.Thus, in these applications, it becomes more and more important to build a safe embedded system architecture, and to ensure and enhance safety and reliability for embedded systems. Embedded system is evolved by the general purpose computer systems, so in the embedded safety-critical areas, the technical resolutions are usually referring to those of general purpose computers.This thesis utilizes virtualization and partitioned system for the research of embedded safety-critical system. Virtualization abstracts physical resources as logical representation,and hides unnecessary details from common users;while the partitioned system makes a logical allocation of physical resources into spatial and temporal isolation. These two aspects are inextricably linked with each other:the virtualization technology usually manages virtual machine instances with the concept of partitioning, and the existing partitioned systems often use virtualization technology to guarantee system functionality and performance. The current research on virtualization mainly focuses on desktop or server, and that in the embedded system is still in its infancy. While, partitioned system has been applied a lot in embedded systems. Therefore, a combination of both virtualization and partitioned system for the embedded safety-critical areas makes the both values of cutting-edge exploration and feasible significance.According to the theory of virtualization and partitioned system, the work of this thesis abstracts, allocates and isolates the computing to ensure the independence, reliability and stability of critical system services. Also, the work refers to those safety-critical related international standards and builds detailed system model based on safety-critical application requirements, and then implements in embedded hardware.The specific work of this thesis includes three instances:a PowerPC based embedded partitioned system, a Cell SPU based embedded safety-critical system and virtualization-based embedded collaborative learning environment and safety-critical system.The work describes the design and implementation of virtualization and partitioned system in embedded hardware, and it refers to the safety-critical international standards of IEC 61508 and ARINC 653,reflecting the significance and values of those instances for embedded safety-critical applications.The contents of this thesis are organized as follows:The first chapter addresses the motivation of the research from the perspective of computer operating system, and also briefly introduces the main work of this thesis. The second chapter describes the embedded system and its security in key areas in current research and application. The second chapter introduces embedded system and the current status of its research and application in safety-critical areas.The third chapter focuses on virtualization and partitioned system, and discusses and analyzes the features and current status of both, especially their application and development in embedded systems.The fourth chapter states the main work of this thesis.It describes the three instances and the whole procedure of building the embedded system with the combination of virtualization and partitioned system to satisfy the safety-critical requirements.The fifth chapter summarizes the work.