Upgrading embedded software in the field: Dependability and survivability

Lui Sha

Upgrading embedded software in the field: Dependability and survivability

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings
Editors	Joseph Sifakis, Alberto Sangiovanni-Vincentelli
Publisher	Springer-Verlag
Pages	166-181
Number of pages	16
ISBN (Print)	9783540443070
State	Published - Jan 1 2002
Event	2nd International Conference on Embedded Software, EMSOFT 2002 - Grenoble, France Duration: Oct 7 2002 → Oct 9 2002

Publication series

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

Other

Other	2nd International Conference on Embedded Software, EMSOFT 2002
Country	France
City	Grenoble
Period	10/7/02 → 10/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.

Upgrading embedded software in the field : Dependability and survivability. / Sha, Lui.

Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings. ed. / Joseph Sifakis; Alberto Sangiovanni-Vincentelli. Springer-Verlag, 2002. p. 166-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2491).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2491, Springer-Verlag, pp. 166-181, 2nd International Conference on Embedded Software, EMSOFT 2002, Grenoble, France, 10/7/02.

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

Sha, Lui. / Upgrading embedded software in the field : Dependability and survivability. Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings. editor / Joseph Sifakis ; Alberto Sangiovanni-Vincentelli. Springer-Verlag, 2002. pp. 166-181 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9ab9ee66b8d5463d8a1a6e822eadd505,

title = "Upgrading embedded software in the field: Dependability and survivability",

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.",

author = "Lui Sha",

year = "2002",

month = jan

day = "1",

language = "English (US)",

isbn = "9783540443070",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "166--181",

editor = "Joseph Sifakis and Alberto Sangiovanni-Vincentelli",

booktitle = "Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings",

note = "2nd International Conference on Embedded Software, EMSOFT 2002 ; Conference date: 07-10-2002 Through 09-10-2002",

}

TY - GEN

T1 - Upgrading embedded software in the field

T2 - 2nd International Conference on Embedded Software, EMSOFT 2002

AU - Sha, Lui

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84883102608&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84883102608&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84883102608

SN - 9783540443070

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 166

EP - 181

BT - Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings

A2 - Sifakis, Joseph

A2 - Sangiovanni-Vincentelli, Alberto

PB - Springer-Verlag

Y2 - 7 October 2002 through 9 October 2002

ER -

Upgrading embedded software in the field: Dependability and survivability

Abstract

Publication series

Other

Fingerprint

ASJC Scopus subject areas

Cite this

Access to Document