SEUS 2010: Software Technologies for Embedded and Ubiquitous Systems pp 23-34 | Cite as
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.
Keywords
Execution Time Timing Model Task Timing Hardware Platform Task LevelReferences
- 1.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)Google Scholar
- 2.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)Google Scholar
- 3.Schoeberl, M.: Time-predictable computer architecture. EURASIP Journal on Embedded Systems (2009)Google Scholar
- 4.Thiele, L., Wilhelm, R.: Design for Timing Predictability. Real-Time Systems 28, 157–177 (2004)CrossRefGoogle Scholar
- 5.Grund, D.: Towards a formal definition of timing predictability. In: Workshop on Reconciling Performance with Predictability, Grenoble, France (October 2009)Google Scholar
- 6.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-3Google Scholar
- 7.Kopetz, H.: Real-Time Systems - Design Principles for Distributed Embedded Applications. Kluwer, Dordrecht (1997) ISBN: 0-7923-9894-7MATHGoogle Scholar
- 8.Wögerer, W.: The loss of explicity for static WCET analysis during compilation. Master’s thesis, Technische Universität Wien, Vienna, Austria (2003)Google Scholar
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.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)Google Scholar
- 12.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)Google Scholar
- 13.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)CrossRefGoogle Scholar