1. 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

2. Designing a task system Non synchronous tasks Read/write shared resources Multiple instances of resources Generalized precedence constraints

3. Generating feasible schedules Calculation of feasible schedules Parametric heuristics to limit size and space used Parametric additional constraints

4. Searching for optimal schedules Several informations on schedules

5. 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

6. Displaying schedules Sequences are displayed on a Gantt diagram Sequences can be exported in C