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.
No takes yet. Share an insight, caveat, or question.
Thomas A. Henzinger (2008) studied this question.