@inproceedings{d9b7bda2ff314af2ac59c746290f9d47,
title = "A rule-based safety kernel for unmanned system",
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",
author = "Yang Xiao and Guoqi Li and Yuchao Zhang",
year = "2012",
language = "英语",
isbn = "9781467344975",
series = "World Automation Congress Proceedings",
booktitle = "2012 World Automation Congress, WAC 2012",
note = "2012 World Automation Congress, WAC 2012 ; Conference date: 24-06-2012 Through 28-06-2012",
}