Two challenges in embedded systems design: predictability and robustness.
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.
Henzinger
Thomas A
TA
Ecole Polytechnique Fédérale de Lausanne, Station 14, Lausanne, Switzerland. tah@epfl.ch
D003195:Computer Communication Networks / Q000295:instrumentation*; D004867:Equipment Design / Q000379:methods*; D019544:Equipment Failure Analysis / Q000379:methods*; D008838:Microcomputers; D012815:Signal Processing, Computer-Assisted / Q000295:instrumentation*; D012984:Software; D012985:Software Design; D014584:User-Computer Interface