Embedded System Supported Safety Critical Software Design For Railway Signal

Safety-Critical Embedded System is one by which the safety of software and hardware is assured, and in some case it would take high priority of safety requirements. This kind of systems is directly related to human life or properties. Once Safety critical software runs into dangerous state, it will result in serious damage even catastrophe. Many safety technologies must be used in the design of Safety critical software. Safety kernel is an important technology to assure safety of Safety critical software.The thesis is established in Embedded system, and located in a typical Safety critical software—Railway Signaling Computer interlocking software as material application. Based on Safety kernel technology, development of Safety critical software is researched and realized. The main creative research works in the thesis are as follows:1. At first, based on related reference, development of Computer interlocking system is summarized. The design methods of Safety critical software and problems in Computer interlocking system are analyzed.2. Based on contrasting uClinux with other Embedded Operating Systems, uClinux platform is chosen and constructed.3. Design of Safety kernel and concept of Safety policy are researched deeply.4. For the application of Safety kernel model to Computer interlocking software, this author presents a design of Computer interlocking software based on Safety kernel, then gives realization of Safety kernel model.5. For the application of railway signal, method for making Safety policy is given.6. Based on the method of risk analysis, the influence of Safety kernel on safety of Computer interlocking software is analyzed.7. Safety kernel is tested and validated in uClinux platform.