Upgrading embedded software in the field: Dependability and survivability

Lui Sha

doi:10.1007/3-540-45828-x_13

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	Alberto Sangiovanni-Vincentelli, Joseph Sifakis
Publisher	Springer
Pages	166-181
Number of pages	16
ISBN (Print)	9783540443070
DOIs	https://doi.org/10.1007/3-540-45828-x_13
State	Published - 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/Territory	France
City	Grenoble
Period	10/7/02 → 10/9/02

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/3-540-45828-x_13

Library availability

Discover UIUC Full Text

Cite this

Sha, L. (2002). Upgrading embedded software in the field: Dependability and survivability. In A. Sangiovanni-Vincentelli, & J. Sifakis (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. https://doi.org/10.1007/3-540-45828-x_13

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

Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings. ed. / Alberto Sangiovanni-Vincentelli; Joseph Sifakis. Springer, 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 A Sangiovanni-Vincentelli & J Sifakis (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, pp. 166-181, 2nd International Conference on Embedded Software, EMSOFT 2002, Grenoble, France, 10/7/02. https://doi.org/10.1007/3-540-45828-x_13

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

Sha, Lui. / Upgrading embedded software in the field : Dependability and survivability. Embedded Software - 2nd International Conference, EMSOFT 2002, Proceedings. editor / Alberto Sangiovanni-Vincentelli ; Joseph Sifakis. Springer, 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",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 2nd International Conference on Embedded Software, EMSOFT 2002 ; Conference date: 07-10-2002 Through 09-10-2002",

year = "2002",

doi = "10.1007/3-540-45828-x_13",

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

pages = "166--181",

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

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

address = "Germany",

}

TY - GEN

T1 - Upgrading embedded software in the field

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

AU - Sha, Lui

PY - 2002

Y1 - 2002

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

U2 - 10.1007/3-540-45828-x_13

DO - 10.1007/3-540-45828-x_13

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 - Sangiovanni-Vincentelli, Alberto

A2 - Sifakis, Joseph

PB - Springer

Y2 - 7 October 2002 through 9 October 2002

ER -

Upgrading embedded software in the field: Dependability and survivability

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this