Upgrading embedded software in the field: Dependability and survivability

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The new millennium heralds the convergence between computing, communication and the intelligent control of our physical environments. Computers embedded in roads, bridges, buildings and vehicles tend to have a long life cycle. Application needs will change and computing, communication and control technologies willevolve rapidly. To keep systems modern, we need technologies to dependably and securely upgrade embedded software in the field. This paper provides a review of our work on how to upgrade embedded control systems without shutting them down, and how to protect the system from bugs and attacks that could be introduced by software upgrades.

Original languageEnglish (US)
Title of host publicationEmbedded Software - 2nd International Conference, EMSOFT 2002, Proceedings
EditorsJoseph Sifakis, Alberto Sangiovanni-Vincentelli
PublisherSpringer-Verlag
Pages166-181
Number of pages16
ISBN (Print)9783540443070
StatePublished - Jan 1 2002
Event2nd International Conference on Embedded Software, EMSOFT 2002 - Grenoble, France
Duration: Oct 7 2002Oct 9 2002

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2491
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other2nd International Conference on Embedded Software, EMSOFT 2002
CountryFrance
CityGrenoble
Period10/7/0210/9/02

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sha, L. (2002). Upgrading embedded software in the field: Dependability and survivability. In J. Sifakis, & A. Sangiovanni-Vincentelli (Eds.), Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings (pp. 166-181). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2491). Springer-Verlag.