Spécification, vérification et optimisation des systèmes temps réel ...
Spécification, vérification et optimisation des systèmes temps réel ...
Spécification, vérification et optimisation des systèmes temps réel ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Spécification Algorithme<br />
■ Graphe de dépendances<br />
– somm<strong>et</strong> = opération<br />
– hyper-arc orienté = dépendance de données<br />
■ Factorisation de partie régulière/répétitive<br />
■ Factorisation d’une répétition infinie (réactif)<br />
Graphe flot de données conditionné<br />
■ Factorisation de parties irrégulières par<br />
homogénéïsation + paramétrisation