Calculating the maximum execution time of real-time programs

In real-time systems, the timing behavior is an important property of each task. It has to be guaranteed that the execution of a task does not take longer than the specified amount of time. Thus, a knowledge about the maximum execution time of programs is of utmost importance.This paper discusses the problems for the calculation of the maximum execution time (MAXT... MAximum eXecution Time). It shows the preconditions which have to be met before the MAXT of a task can be calculated. Rules for the MAXT calculation are described. Triggered by the observation that in most cases the calculated MAXT far exceeds the actual execution time, new language constructs are introduced. These constructs allow programmers to put into their programs more information about the behavior of the algorithms implemented and help to improve the self checking property of programs. As a consequence, the quality of MAXT calculations is improved significantly. In a realistic example, an improvement fator of 11 has been achieved.

[1]  John Darlington,et al.  A system which automatically improves programs , 1973, Acta Informatica.

[2]  Gerhard Fohler,et al.  Heuristic Scheduling for Distributed Hard Real-Time Systems , 1989 .

[3]  C. Senft,et al.  A graphical design environment for distributed real-time systems , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[4]  A. D. Stoyenko,et al.  Real-time Euclid: a language for reliable real-time systems , 1989 .

[5]  Dennis W. Leinbaugh.  Guaranteed Response Times in a Hard-Real-Time Environment , 1980, IEEE Transactions on Software Engineering.

[6]  KopetzHermann,et al.  Distributed Fault-Tolerant Real-Time Systems , 1989 .

[7]  Dennis W. Leinbaugh,et al.  Guaranteed response times in a distributed hard-real-time environment , 1986, IEEE Transactions on Software Engineering.

[8]  W. A. Halang.  A priori execution time analysis for parallel processes , 1989, [1989] Proceedings. EUROMICRO Workshop on Real Time.

[9]  Wolfgang A. Halang.  A Proposal for Extensions of PEARL to Facilitate the Formulation of Hard Real-Time Applications , 1984, Fachtagung Prozessrechner.

[10]  Alexander D. Stoyenko,et al.  A real-time language with a schedulability analyzer , 1988 .

[11]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[12]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[13]  Andreas Damm,et al.  Interprocess Communication in MARS , 1989, Kommunikation in Verteilten Systemen.

[14]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.