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.
The research leading to these results has received funding from the European Community’s Seventh Framework Programme [FP7,2008-2011] under grant agreement no 214373 (ArtistDesign, http://www.artist-embedded.org/)and the IST FP-7 research project Asynchronous and Dynamic Virtualization through performance ANalysis to support Concurrency Engineering (ADVANCE).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckman, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenstrom, P.: The worst-case execution time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS)Â 7(3) (April 2008)
Kirner, R., Puschner, P.: Obstacles in worst-cases execution time analysis. In: Proc. 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Orlando, Florida, pp. 333–339 (May 2008)
Schoeberl, M.: Time-predictable computer architecture. EURASIP Journal on Embedded Systems (2009)
Thiele, L., Wilhelm, R.: Design for Timing Predictability. Real-Time Systems 28, 157–177 (2004)
Grund, D.: Towards a formal definition of timing predictability. In: Workshop on Reconciling Performance with Predictability, Grenoble, France (October 2009)
Simon, H.A.: The Architecture of Complexity. In: The Science of the Artificial, 1st edn., pp. 192–229. MIT Press, Cambridge (1969) ISBN: 0-262-69023-3
Kopetz, H.: Real-Time Systems - Design Principles for Distributed Embedded Applications. Kluwer, Dordrecht (1997) ISBN: 0-7923-9894-7
Wögerer, W.: The loss of explicity for static WCET analysis during compilation. Master’s thesis, Technische Universität Wien, Vienna, Austria (2003)
Kopetz, H., Nossal, R.: Temporal firewalls in large distributed real-time systems. In: 6th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (1997)
Edwards, S.A., Lee, E.A.: The case for the precision timed (pret) machine. In: Proc. 44th Design Automation Conference (DAC), San Diego, California (June 2007)
Edwards, S.A., Kim, S., Lee, E.A., Liu, I., Patel, H.D., Schoeberl, M.: A disruptive computer design idea: Architectures with repeatable timing. In: Proc. IEEE International Conference on Computer Design. IEEE, Los Alamitos (2009)
Wilhelm, R., Ferdinand, C., Cullmann, C., Grund, D., Reineke, J., Triquet, B.: Designing predictable multi-core architectures for avionics and automotive systems. In: Workshop on Reconciling Performance with Predictability, Grenoble, France (October 2009)
Kirner, R., Kadlec, A., Puschner, P.: Precise worst-case execution time analysis for processors with timing anomalies. In: Proc. 21st Euromicro Conference on Real-Time Systems, Dublin, Ireland, pp. 119–128. IEEE, Los Alamitos (July 2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kirner, R., Puschner, P. (2010). Time-Predictable Computing. In: Min, S.L., Pettit, R., Puschner, P., Ungerer, T. (eds) Software Technologies for Embedded and Ubiquitous Systems. SEUS 2010. Lecture Notes in Computer Science, vol 6399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16256-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16256-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16255-8
Online ISBN: 978-3-642-16256-5
eBook Packages: Computer ScienceComputer Science (R0)