Daniel Simon et
Fanny Bennatar : modélisation et analyse
dans (max,+) de systèmes temps-réel, périodiques, avec ordonnancement
à priorité fixe et préemption
Rémy Kocik : introduction de
contraintes multiples et de préemption dans la méthodologie AAA
Daniel Simon et
Alain
Girault :
Orccad
multi-horloge :
- Cadencer les calculs d'une loi de commande sur des horloges
différentes
- Imbriquer plusieurs boucles de
commande
- Calcul d'horloges du compilateur Lustre
