An Event Model for Deadline Verification of Hard Real-Time Systems

This publication has 13 references indexed in Scilit:

• Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Modeling and verification of time dependent systems using time Petri nets
  IEEE Transactions on Software Engineering, 1991
• Stack-based scheduling of realtime processes
  Real-Time Systems, 1991
• Experimental evaluation of a real-time scheduler for a multiprocessor system
  IEEE Transactions on Software Engineering, 1991
• Constructing Predictable Real Time Systems
  Published by Springer Nature ,1991
• Priority inheritance protocols: an approach to real-time synchronization
  IEEE Transactions on Computers, 1990
• Aperiodic task scheduling for Hard-Real-Time systems
  Real-Time Systems, 1989
• A new algorithm for scheduling periodic, real-time tasks
  Algorithmica, 1989
• 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