Two challenges in embedded systems design: predictability and robustness-Reference-Cited by-同舟云学术

Two challenges in embedded systems design: predictability and robustness

Published:2008-07-31 Issue:1881 Volume:366 Page:3727-3736
ISSN:1364-503X
Container-title:Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
language:en
Short-container-title:Phil. Trans. R. Soc. A.

Author:

Henzinger Thomas A¹²

Affiliation:

1. Ecole Polytechnique Fédérale de LausanneStation 14, 1015 Lausanne, Switzerland

2. Department of Electrical Engineering and Computer Sciences, University of CaliforniaBerkeley, CA 94720-1770, USA

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.

Publisher

The Royal Society

Subject

General Physics and Astronomy,General Engineering,General Mathematics

Link

https://royalsocietypublishing.org/doi/pdf/10.1098/rsta.2008.0141

Reference14 articles.

1. Burns A& Wellings A Real-time systems and programming languages. 2001 Boston MA:Addison-Wesley.

2. Chatterjee K. de Alfaro L. Faella M. Henzinger T. A. Majumdar R. & Stoelinga M. 2006 Compositional quantitative reasoning. In Proc. IEEE Conf. on Quantitative Evaluation of Systems ( QEST ) pp. 179–188. (doi:10.1109/QEST.2006.11).

3. Chatterjee K. Ghosal A. Henzinger T. A. Iercan D. Kirsch C. M. Pinello C. & Sangiovanni-Vincentelli A. 2008 Logical reliability of interacting real-time tasks. In Proc. Design Automation and Test in Europe ( DATE ) pp. 909–914. (doi:10.1109/DATE.2008.4484790).

4. de Alfaro L. Henzinger T. A. & Majumdar R. 2003 Discounting the future in systems theory. In Proc. Int. Colloquium on Automata Languages and Programming ( ICALP ) Lecture Notes in Computer Science vol. 2719 pp. 1022–1037. Berlin Germany: Springer. (doi:10.1007/3-540-45061-0_79).

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The ring-buffer ROS2 executor: a novel approach for real-time ROS2 Space applications;2023 IEEE Space Computing Conference (SCC);2023-07

2. A Low Power And High Performance Software Approach to Artificial Intelligence On-Board;2023 IEEE Space Computing Conference (SCC);2023-07

3. A RISC-V Processor Design for Transparent Tracing;Electronics;2020-11-07

4. Bidirectional implementation of Markov/CCMT for dynamic reliability analysis with application to digital I&C systems;Reliability Engineering & System Safety;2019-05

5. ActorX10 and Run-Time Application Embedding;Computer Architecture and Design Methodologies;2019