Transcript Document 7386348

A tool to generate optimal schedules for complex
real-time systems :
Petri Net Scheduling, Modeling and Analysis of
Real-Time Systems
LISI-ENSMA
Laboratoire d’Informatique Scientifique et Industrielle
Designing a task system
•
Non synchronous
tasks
•
Read/write shared
resources
•
Multiple instances
of resources
•
Generalized
precedence
constraints
Generating feasible schedules
•
Calculation of
feasible schedules
•
Parametric heuristics
to limit size and space
used
•
Parametric additional
constraints
Searching for optimal schedules
•
Several informations on
schedules
Searching for optimal schedules
•
Several optimization criteria
–
–
–
–
•
Response time
Reaction rate
Latency
Importancy
Additional criteria
– Additional constraints on
response times
– Jitter
•
Each criteria can be canceled
Displaying schedules
•
•
Sequences are displayed on a Gantt
diagram
Sequences can be exported in C