Calculating the maximum execution time of real-time programs

This publication has 7 references indexed in Scilit:

• Distributed fault-tolerant real-time systems: the Mars approach
  IEEE Micro, 1989
• Interprocess Communication in MARS
  1989
• Guaranteed response times in a distributed hard-real-time environment
  IEEE Transactions on Software Engineering, 1986
• Real-Time Euclid: A language for reliable real-time systems
  IEEE Transactions on Software Engineering, 1986
• A Proposal for Extensions of Pearl to Facilitate the Formulation of Hard Real-Time Applications
  Informatik-Fachberichte, 1984
• Guaranteed Response Times in a Hard-Real-Time Environment
  IEEE Transactions on Software Engineering, 1980
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
  Journal of the ACM, 1973