Upgrading real-time control software in the field

被引：2
作者：
Sha, L [1 ]
机构：
[1] Univ Illinois, Urbana, IL 61801 USA
来源：
PROCEEDINGS OF THE IEEE | 2003年 / 91卷 / 07期
关键词：
real time; recoverable region; reliable upgrade; reliability; secured upgrade; security; stability;
D O I：
10.1109/JPROC.2003.814611
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The new millennium heralds the convergence between computing, communication, and the intelligent control of our physical environments. Embedded systems often have a long life cycle. This paper reviews our research group's 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.
引用
收藏
页码：1131 / 1140
页数：10
相关论文
共 27 条
  • [1] [Anonymous], 1997, LINEAR MATRIX INEQUA
  • [2] [Anonymous], UIUCDCSR20022292
  • [3] AUSTIN TM, 1994 C PROGR LANG DE
  • [4] The real-time specification for Java']Java
    Bollella, G
    Gosling, J
    [J]. COMPUTER, 2000, 33 (06) : 47 - +
  • [5] ANALYSIS OF FAULTS IN AN N-VERSION SOFTWARE EXPERIMENT
    BRILLIANT, SS
    KNIGHT, JC
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (02) : 238 - 247
  • [6] DELINE R, 2001, SIGPLAN C PROGR LANG
  • [7] Gosling James, 2000, The Java Language Specification
  • [8] Securing systems against external programs
    Hashii, B
    Lal, M
    Pandey, R
    Samorodin, S
    [J]. IEEE INTERNET COMPUTING, 1998, 2 (06) : 35 - 45
  • [9] Jim Trevor, 2002, USENIX ANN TECHN C M
  • [10] KOWSHIK S, P CASES 2002, P288
123