Research And Implementation Of Real-Time Microkernel For Industrial Control Domain

With the continuous development of industrialization,the hardware devices for industrial control are developing in the direction of intelligence,networking and integration,which puts new demands on the safety,reliability and expansibility of the devices.When a device is connected to the network,it must face multiple threats from the network.Therefore,the system controlling the device must take additional mechanisms to reduce the impact of these threats,and the availability of the device must be guaranteed.As the computing power of the device increasing continuously,the device can provide more and more functions.Thus,the system should have a good scalability to expand its functions.Based on the analysis of the existing kernel architectures,the microkernel could meet the requirements of industrial control systems easily with its isolation,reliability and scalability.Therefore,this thesis study the microkernel architecture and the existing system using microkernel architecture at first,and then design and implement a real-time microkernel that meets the basic requirements of industrial control devices based on the results,and complete the functional test and performance test of the microkernel implemented in this thesis.In order to adapt to the characteristics and the needs of industrial control field better,the following mechanisms have been adopted in this thesis:(1)Combining the secure boot mechanism,the capability-based access control model,and the address space isolation mechanism to achieve the complete protection of the kernel.Thus,the requirements for security and reliability in the industrial control field are satisfied;(2)Partitioning the memory resources and managing the partitions by different policies to reduce the metadata overhead of the memory management in kernel.Thus,the kernel could adapt to the industrial control platform with few memory resources better;(3)Abstracting the address space and providing a set of unified programming interfaces to mask the difference between the MMU and the MPU,thus the kernel could adapt to different kinds of industrial control platforms.According to the analysis of the result of the functional test and performance test,the microkernel implemented in this thesis can achieve the predetermined goals,but the performance still needs to be optimized in future.