Lex & yacc
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Simulation Techniques for Discrete Event Systems
Simulation Techniques for Discrete Event Systems
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Scheduling of time critical processes
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
| Hi-index | 0.00 |
In this paper we describe a language for defining scheduling algorithms for hard real-time systems and a tool to simulate the behavior of such systems on a predefined task set. The language is suited for describing a real-time system composed of a task set, resources and a scheduling algorithm. The tasks can either be periodic or aperiodic, dependent or independent and the time constraints (e.g. deadlines) may be soft or hard. We consider two types of resources: the cpu and semaphores. Semaphores are used to describe the various possible dependences of the task set: shared memory, inter-task communication, devices,... We consider only mono-processor real-time systems. The third part of the system is given by the scheduling algorithm which is used to give resources (cpu and semaphores) to tasks.