Two challenges in embedded systems design: predictability and robustness

被引：31
作者：
Henzinger, Thomas A. [1 ,2 ]
机构：
[1] Ecole Polytech Fed Lausanne, CH-1015 Lausanne, Switzerland
[2] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES | 2008年 / 366卷 / 1881期
关键词：
embedded software; reliable systems; design principles;
D O I：
10.1098/rsta.2008.0141
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
I discuss two main challenges in embedded systems design: the challenge to build predictable systems, and that to build robust systems. I suggest how predictability can be formalized as a form of determinism, and robustness as a form of continuity.
引用
收藏
页码：3727 / 3736
页数：10
相关论文
共 14 条
[1]  
ALLEN F, 2008, REGENTS LECT
[2]  
Burns A., 2001, Real-time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, V3rd
[3]  
CHATTERJEE K, 2008, P DES AUT TEST EUR D, P909, DOI DOI 10.1109/DATE.2008.4484790
[4]  
CHATTERJEE K, 2006, P IEEE C QUANT EV SY, P179, DOI DOI 10.1109/QEST.2006.11
[5]  
de Alfaro L, 2003, LECT NOTES COMPUT SC, V2719, P1022
[6]  
EDWARDS SA, 2007, P DES AUT C DAC, P264, DOI DOI 10.1109/DAC.2007.375165
[7]  
Halbwachs N., 1993, Synchronous Programming of Reactive Systems
[8]   Giotto: A time-triggered language for embedded programming [J].
Henzinger, TA ;
Horowitz, B ;
Kirsch, CM .
PROCEEDINGS OF THE IEEE, 2003, 91 (01) :84-99
[9]   Discipline of embedded systems design [J].
Henzinger, Thomas A. ;
Sifakis, Joseph .
COMPUTER, 2007, 40 (10) :32-+
[10]  
KOPETZ H, 2007, 55 TU VIENN
12