Safety mechanism of RTOS on multi-core processor

In safety critical area, even the slightest error of the operating system could lead to a significant property damage or casualties. As a result, the safety of the RTOS (Real Time Operating System) must be improved. Rushby etc. have done lots of research on safety kernel. Multi-core processor is developing rapidly. This paper presents that the safety of real time system can be improved with a multi-core processor running a main operating system and a separated safety kernel. In addition, this paper gives a simple implementation and verifies its feasibility on MPC8641D.