Generating Real-Time Schedules using Constraint Programming
Kapitel i bok, 2006

In real-time systems that contain a large variety of application constraints, such as embedded systems, the most common scheduling approach is to resolve potential conflicts off-line by generating a fixed time-table for the execution of the tasks. Unfortunately, the generation of such a schedule is an NP-complete problem which implies that the runtime complexity of an exact scheduling algorithm is exponential in the worst case. Moreover, the amount of different constraints that must be considered makes it hard to devise a reasonably efficient algorithm without sacrificing solution quality or model accuracy. In this work we show how a scheduling algorithm based on constraint programming is able to tackle these difficulties.

constraint programming

application constraints

optimization techniques

real-time scheduling

complexity reduction


Cecilia Ekelin

Jan Jonsson

Chalmers, Data- och informationsteknik, Datorteknik

ARTES - A Network for Real-Time Research and Graduate Education in Sweden




Datavetenskap (datalogi)


Informations- och kommunikationsteknik


Grundläggande vetenskaper