Two challenges in embedded systems design: predictability and robustness
Henzinger, Thomas A.
2008

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.

Details

Title Two challenges in embedded systems design: predictability and robustness
Author(s) Henzinger, Thomas A.
Published in Philosophical Transactions Of The Royal Society A-Mathematical Physical And Engineering Sciences
Volume 366
Pages 3727-3736
Conference Royal-Society Discussion Meeting on From Computers to Ubiquitous Computer, London, ENGLAND, Mar 17-18, 2008
Date 2008
Keywords
DOI https://doi.org/10.1098/rsta.2008.0141
Other identifier(s) View record in Web of Science
Laboratories MTC
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > MTC - Models and Theory of Computation Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2010-11-30

Actions