[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1109/HASE.2008.25guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

On the Integrity of Lightweight Checkpoints

Published: 03 December 2008 Publication History

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.

Cited By

View all
  • (2013)Automated checkpointing for enabling intensive applications on energy harvesting devicesProceedings of the 2013 International Symposium on Low Power Electronics and Design10.5555/2648668.2648678(27-32)Online publication date: 4-Sep-2013

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
December 2008
453 pages
ISBN:9780769534824

Publisher

IEEE Computer Society

United States

Publication History

Published: 03 December 2008

Author Tag

  1. fault tolerance, embedded systems, checkpointing, model checking

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2013)Automated checkpointing for enabling intensive applications on energy harvesting devicesProceedings of the 2013 International Symposium on Low Power Electronics and Design10.5555/2648668.2648678(27-32)Online publication date: 4-Sep-2013

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media