Title :
A rule-based safety kernel for unmanned system
Author :
Xiao, Yang ; Li, Guoqi ; Zhang, Yuchao
Author_Institution :
Department of Reliability and System Engineering, Beihang University, Haidian District, 100191 Beijing, China
Abstract :
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.
Keywords :
Embedded system; Rule based; Safety kernel;
Conference_Titel :
World Automation Congress (WAC), 2012
Conference_Location :
Puerto Vallarta, Mexico
Print_ISBN :
978-1-4673-4497-5