A rule-based safety kernel for unmanned system

Safety kernel is developed to deal with faults at execution time. There are four kinds of architectures for safety kernel. After carefully compare the properties of the architectures, we select reconfigurable and customizable architecture for our unmanned system. It set up a user-level process to monitor the device whether it work properly. In the section of case study, based on analyzing of the unmanned system, we give the detail for the implement of the safety kernel. Monitored by the safety kernel, the safety of our unmanned system is enhanced greatly. The solution can be popularized to similar scenarios.