%0 Conference Proceedings
%T Time-Predictable Computing
%+ Department of Computer Science
%+ Institute of Computer Engineering [Vienna]
%A Kirner, Raimund
%A Puschner, Peter
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
%C Waidhofen/Ybbs, Austria
%Y Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer
%I Springer
%3 Software Technologies for Embedded and Ubiquitous Systems
%V LNCS-6399
%P 23-34
%8 2010-10-13
%D 2010
%R 10.1007/978-3-642-16256-5_5
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055379/document
%2 https://inria.hal.science/hal-01055379/file/paper.pdf
%L hal-01055379
%U https://inria.hal.science/hal-01055379
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6399
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-2010
%~ IFIP-SEUS
%~ IFIP-WG10-2