Task Graph Scheduling Using Timed Automata

In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, originally developed for verification of real-time programs and digital circuits and more recently adapted for solving time-optimal scheduling problems. In this framework, the scheduling problem admits a state-space representation and an optimal schedule corresponds to a shortest path in the timed automaton. We check our implementation on numerous benchmarks and show how release times and deadlines can be easily incorporated into the model.

• Type: Conference
• Year: 2003
• Where: IPPS
• Authors: Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Maler
• Keywords: Distributed And Parallel Computing, IPPS 2003, Scheduling Problem, Timed Automaton, Timed Automaton Model