Name
Abstract | ||
|---|---|---|
A large class of embedded systems is distinguished from general-purpose computing systems by the need to satisfy strict requirements on timing, often under constraints on available resources. Predictable system design is concerned with the challenge of building systems for which timing requirements can be guaranteed a priori. Perhaps paradoxically, this problem has become more difficult by the introduction of performance-enhancing architectural elements, such as caches, pipelines, and multithreading, which introduce a large degree of uncertainty and make guarantees harder to provide. The intention of this article is to summarize the current state of the art in research concerning how to build predictable yet performant systems. We suggest precise definitions for the concept of “predictability”, and present predictability concerns at different abstraction levels in embedded system design. First, we consider timing predictability of processor instruction sets. Thereafter, we consider how programming languages can be equipped with predictable timing semantics, covering both a language-based approach using the synchronous programming paradigm, as well as an environment that provides timing semantics for a mainstream programming language (in this case C). We present techniques for achieving timing predictability on multicores. Finally, we discuss how to handle predictability at the level of networked embedded systems where randomly occurring errors must be considered. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1145/2560033 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
present predictability concern,timing predictability,embedded system design,timing requirement,predictable system design,programming language,networked embedded system,mainstream programming language,building timing,predictable timing semantics,predictable embedded system,embedded system,timing analysis,embedded systems,predictability,safety critical systems,resource sharing | Multithreading,Predictability,Life-critical system,Programming paradigm,Computer science,Instruction set,Systems design,Real-time computing,Static timing analysis,Semantics,Embedded system,Distributed computing | Journal |
Volume | Issue | ISSN |
13 | Issue-in-Progress | 1539-9087 |
Citations | PageRank | References |
25 | 0.80 | 92 |
Authors | ||
14 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Philip Axer | 1 | 172 | 10.38 |
| Rolf Ernst | 2 | 2633 | 252.90 |
| Heiko Falk | 3 | 462 | 31.54 |
| Alain Girault | 4 | 547 | 40.88 |
| Daniel Grund | 5 | 412 | 18.24 |
| Nan Guan | 6 | 685 | 49.29 |
| bengt jonsson | 7 | 3637 | 263.46 |
| Peter Marwedel | 8 | 1904 | 184.40 |
| Jan Reineke | 9 | 543 | 27.61 |
| Christine Rochange | 10 | 341 | 27.90 |
| Maurice Sebastian | 11 | 70 | 4.02 |
| Reinhard von Hanxleden | 12 | 412 | 47.20 |
| Reinhard Wilhelm | 13 | 3640 | 434.27 |
| Wang Yi | 14 | 4232 | 332.05 |