Abstract | ||
---|---|---|
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently while providing them with an operating system service to assure the integrity of checkpoints. The scheme takes error detection latency into account and assumes a broad class of application failure modes. In this paper we detail the design of the operating system service, which offers a very simple programming model to application designers and introduces only a small execution overhead for each checkpoint. Moreover, we describe the usage of model checking to ascertain the correctness of our approach. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/HASE.2008.25 | Nanjing |
Keywords | Field | DocType |
checkpointing,embedded systems,operating systems (computers),software fault tolerance,application failure modes,error detection latency,lightweight checkpointing scheme,operating system service,real-time embedded systems,checkpointing,embedded systems,fault tolerance,model checking | Model checking,Programming paradigm,Computer science,Correctness,Software fault tolerance,Real-time computing,Fault tolerance,Embedded system,Distributed computing,Error detection latency | Conference |
ISSN | ISBN | Citations |
1530-2059 | 978-0-7695-3482-4 | 4 |
PageRank | References | Authors |
0.45 | 19 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Raul Barbosa | 1 | 110 | 19.08 |
Johan Karlsson | 2 | 305 | 25.29 |