title: Two challenges in embedded systems design: predictability and robustness.
abstract: 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.
authors.affiliation: Ecole Polytechnique Fédérale de Lausanne, Station 14, Lausanne, Switzerland. tah@epfl.ch
authors.forename: Thomas A
authors.initials: TA
authors.lastname: Henzinger
mesh_terms: 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