Review
doi: 10.1098/rsta.2008.0141.
Two challenges in embedded systems design: predictability and robustness
Affiliations
- PMID: 18672451
- DOI: 10.1098/rsta.2008.0141
Item in Clipboard
Review
Two challenges in embedded systems design: predictability and robustness
Philos Trans A Math Phys Eng Sci.
.
Free article
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.
Similar articles
-
A front-end automation tool supporting design, verification and reuse of SOC.J Zhejiang Univ Sci. 2004 Sep;5(9):1102-5. doi: 10.1631/jzus.2004.1102. J Zhejiang Univ Sci. 2004. PMID: 15323005
-
Portable analysis tools help solve networking problems.Biomed Instrum Technol. 2006;Suppl:27-9. Biomed Instrum Technol. 2006. PMID: 16596847 No abstract available.
-
Single-chip pulse programmer for magnetic resonance imaging using a 32-bit microcontroller.Rev Sci Instrum. 2007 Aug;78(8):084705. doi: 10.1063/1.2773636. Rev Sci Instrum. 2007. PMID: 17764345
-
Wireless communication systems for implantable medical devices.IEEE Eng Med Biol Mag. 2008 Mar-Apr;27(2):96-101. doi: 10.1109/EMB.2008.915488. IEEE Eng Med Biol Mag. 2008. PMID: 18463025 Review. No abstract available.
-
A comprehensive survey of brain interface technology designs.Ann Biomed Eng. 2007 Feb;35(2):137-69. doi: 10.1007/s10439-006-9170-0. Epub 2006 Nov 18. Ann Biomed Eng. 2007. PMID: 17115262 Review.
Cited by
-
Quantitative reactive modeling and verification.Comput Sci (Berl). 2013;28(4):331-344. doi: 10.1007/s00450-013-0251-7. Epub 2013 Oct 5. Comput Sci (Berl). 2013. PMID: 27069511 Free PMC article.
Publication types
MeSH terms
LinkOut - more resources
Full Text Sources
