Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

**Time-Predictable Computing.** / Kirner, Raimund; Puschner, Peter.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kirner, R & Puschner, P 2010, Time-Predictable Computing. in SL Min, R Pettit, P Puschner & T Ungerer (eds), *Software Technologies for Embedded and Ubiquitous Systems.* Lecture Notes in Computer Science, vol. 6399, Springer, pp. 23-34, 8th IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems, Waidhofen Ybbs, 13/10/10.

Kirner, R., & Puschner, P. (2010). Time-Predictable Computing. In S. L. Min, R. Pettit, P. Puschner, & T. Ungerer (Eds.), *Software Technologies for Embedded and Ubiquitous Systems *(pp. 23-34). (Lecture Notes in Computer Science; Vol. 6399). Springer.

Kirner R, Puschner P. Time-Predictable Computing. In Min SL, Pettit R, Puschner P, Ungerer T, editors, Software Technologies for Embedded and Ubiquitous Systems. Springer. 2010. p. 23-34. (Lecture Notes in Computer Science).

@inproceedings{9d7d61823ae040779f0f130ac60a7992,

title = "Time-Predictable Computing",

abstract = "Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the community on concretizing the predictability of task timing have shown that there is no common agreement about what the term time-predictability exactly means. In this paper we propose a universal definition of time-predictability that combines the essence of different discussions about this term. This definition is then instantiated to concrete types of time-predictability, like worst-case execution time (WCET) predictability. Finally, we introduce the concept of a timing barrier as a mechanism for constructing time-predictable systems.",

author = "Raimund Kirner and Peter Puschner",

year = "2010",

language = "English",

isbn = "978-3-642-16255-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "23--34",

editor = "S.L. Min and R. Pettit and P. Puschner and T. Ungerer",

booktitle = "Software Technologies for Embedded and Ubiquitous Systems",

}

TY - GEN

T1 - Time-Predictable Computing

AU - Kirner, Raimund

AU - Puschner, Peter

PY - 2010

Y1 - 2010

N2 - Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the community on concretizing the predictability of task timing have shown that there is no common agreement about what the term time-predictability exactly means. In this paper we propose a universal definition of time-predictability that combines the essence of different discussions about this term. This definition is then instantiated to concrete types of time-predictability, like worst-case execution time (WCET) predictability. Finally, we introduce the concept of a timing barrier as a mechanism for constructing time-predictable systems.

AB - Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the community on concretizing the predictability of task timing have shown that there is no common agreement about what the term time-predictability exactly means. In this paper we propose a universal definition of time-predictability that combines the essence of different discussions about this term. This definition is then instantiated to concrete types of time-predictability, like worst-case execution time (WCET) predictability. Finally, we introduce the concept of a timing barrier as a mechanism for constructing time-predictable systems.

M3 - Conference contribution

SN - 978-3-642-16255-8

T3 - Lecture Notes in Computer Science

SP - 23

EP - 34

BT - Software Technologies for Embedded and Ubiquitous Systems

A2 - Min, S.L.

A2 - Pettit, R.

A2 - Puschner, P.

A2 - Ungerer, T.

PB - Springer

ER -