Research On Construction And Configuration Of High-Reliable Embedded Real-Time Operating Systems

With the widespread application of embedded systems, the reliability of embedded operating system which is the core of the system is becoming increasingly important. Particularly in safety critical areas, such as aerospace, electric power, telecommunications and so on, embedded operating systems are required to have high reliability and security. To meet the requirements, the subject researched in how to build and configure the security embedded operating systems reasonably and effectively.The ARINC specification 653 stands is a specification in the area of safety critical RTOS,This specification guaranteed the portability, reusability, high reliability and high security of the software. Relevant studies on construction and configuration of highly reliable embedded operating system under the standard ARINC 653 framework are presented in this dissertation.By researching reusability and reliability of safety critical systems software standard ARINC 653, the subject proposed a highly reliable embedded operating system building program. Based on this building program ,by using Eclipse and XML technology to design and implementation extensible 653 configuration tools and leading security mechanisms into the configuration tools,The basic configuration of the operating system, time scheduling configure ,communications configuration and health monitoring configuration could be completed, and then the construction and configuration of highly reliable embedded operating system under the standard ARINC 653 framework could be realized.The 653 configuration tools accomplished three aspects of configuration the of reliability. Firstly, by analyzing temporal isolation safeguard mechanisms and schedulabiliy, scheduling algorithms and scheduling configuration with predictable safety inspection mechanism were designed and implemented to ensure real-time and reliability scheduling, then, design experiments to validate the scheduling algorithms, The results show that the second algorithm can obviously reduce the cost of switching between partitions. Secondly, by the analysis of virtual channel technology, communications configuration could be implemented. Thirdly, by the analysis of health monitoring technology using configuration tool to manage the three health monitoring table , the health monitoring of system could be realized.