Two challenges in embedded systems design: Predictability and robustness

T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
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.
Publishing Year
Date Published
2008-07-31
Journal Title
Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
Volume
366
Issue
1881
Page
3727 - 3736
IST-REx-ID

Cite this

Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, 366(1881), 3727–3736. https://doi.org/10.1098/rsta.2008.0141
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366, no. 1881 (2008): 3727–36. https://doi.org/10.1098/rsta.2008.0141.
T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, pp. 3727–3736, 2008.
Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 366(1881), 3727–3736.
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar