Literature DB >> 18672451

Two challenges in embedded systems design: predictability and robustness.

Thomas A Henzinger1.   

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.

Mesh:

Year:  2008        PMID: 18672451     DOI: 10.1098/rsta.2008.0141

Source DB:  PubMed          Journal:  Philos Trans A Math Phys Eng Sci        ISSN: 1364-503X            Impact factor:   4.226


  1 in total

1.  Quantitative reactive modeling and verification.

Authors:  Thomas A Henzinger
Journal:  Comput Sci (Berl)       Date:  2013-10-05
  1 in total

北京卡尤迪生物科技股份有限公司 © 2022-2023.