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