CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

On the Integrity of Lightweight Checkpoints

Raul Barbosa (Institutionen för data- och informationsteknik, Nätverk och system (Chalmers) ) ; Johan Karlsson (Institutionen för data- och informationsteknik, Nätverk och system (Chalmers) )
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008) (1530-2059). p. 125-134. (2008)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: fault tolerance, embedded systems, checkpointing, model checking



Denna post skapades 2008-12-09. Senast ändrad 2016-08-16.
CPL Pubid: 80617

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Nätverk och system (Chalmers)

Ämnesområden

Datorteknik

Chalmers infrastruktur