@inproceedings{0895cb115242440782883cd664bf38cd,
title = "A race healing framework in simulated ARINC-653",
abstract = "The ARINC-653 standard architecture for flight software specifies an application executive which furnishes an application programming interface and defines a hierarchical framework which provides health management for error detection and recovery. In every partition of the architecture, however, asynchronously concurrent processes or threads may include concurrency bugs such as unintended race conditions which are common and difficult to remove by testing. To reinforce the capability of the ARINC-653 health management system and to increase the reliability of flight software, this paper describes the development of a race healing framework in a simulated ARINC-653 platform which provides ARINC-653 programming interface. The experimental results allow us to argue that our race healing framework is practical enough to be configured under the ARINC-653 partitions.",
keywords = "ARINC-653, data races, health management, partition, race healing framework",
author = "Tchamgoue, {Guy Martin} and Kuh, {In Bon} and Ha, {Ok Kyoon} and Kim, {Kyong Hoon} and Jun, {Yong Kee}",
year = "2010",
doi = "10.1007/978-3-642-17604-3_28",
language = "English",
isbn = "3642176038",
series = "Communications in Computer and Information Science",
number = "PART 2",
pages = "238--246",
booktitle = "Communication and Networking - International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Proceedings",
edition = "PART 2",
note = "International Conference on Communication and Networking, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010 ; Conference date: 13-12-2010 Through 15-12-2010",
}