Two Challenges in Embedded Systems Design: Predictability and Robustness

Thomas A. Henzinger

We discuss two main challenges in embedded systems design: the challenge to build predictable systems, and the challenge to build robust systems. We suggest how predictability can be formalized as a form of determinism, and robustness, as a form of continuity.

Philosophical Transactions of the Royal Society A 366:3727-3736, 2008.

Download inofficial, sometimes updated PostScript / PDF document. © 2008 Royal Society.