Two challenges in embedded systems design: predictability and robustness
Thomas A. Henzinger · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2008
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.