DocumentCode :
1575174
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
fYear :
2012
Firstpage :
449
Lastpage :
452
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
World Automation Congress (WAC), 2012
Conference_Location :
Puerto Vallarta, Mexico
ISSN :
2154-4824
Print_ISBN :
978-1-4673-4497-5
Type :
conf
Filename :
6321097
Link To Document :
بازگشت