Informations générales
ECTSECTS
1
Goal(s)
This lecture aims at presenting software tools, realtime systems et a design process for an application of realtime control. Application modeling and validation aspects are particularly focused.
Content(s)
Reminder of industrial computer systems.
Multitask realtime systems:
- tasks and events
- realtime directives
- realtime monitors
Modeling, design and validation of applications
Prerequisites :
Knowledge of Petri nets
Test
A 2h examination
Calendar
S1
Additional Information
10 h CM + 4 h TD + 2 h DS
Bibliography
R. David, H. Alla, Du Grafcet au réseaux de Petr, Hermés
P. Ladet, Les réseaux de Petri, Les techniques de l’ingénieur.
A. Desrochers, R. Al-Yaar, Applications of Petri nets in Manufacturing systems, IEEE Press
French State controlled diploma conferring a Master's degree
