Spécificationvérification, optimisation Previous: LOGICIELS D'AIDE A

CONCLUSION

• Langages Synchrones Spécification vérification Algorithme
• SynDEx : distribution/ordonnancement automatiques
  • utilisateur dans la boucle d'optimisation
  • contraintes de distribution
  • aide au dimensionnement
  • ressources matériel optimisées statiquement
  • prédiction de comportement temps réel
  • simulation événementielle

• SynDEx : génération automatique d'exécutif
  • suppression interblocages
  • suppression programmation bas niveau
  • suppression mise au point temps réel du code multiprocesseur
  • coopération avec exécutif dynamique standard résident
  • génération de sondes de chronométrage pour mesure de performances temps réel
• SynDEx : génération automatique de circuit (VHDL, net-list)
• SynDEx : développement conjoint logiciel/matériel (co-design) aide au choix de la répartition logiciel/matériel

Sécurité de conception Implantation optimisée Temps de développement
extrêmement réduit

  
Figure: ega2t

  
Figure: SAR 16t

  
Figure: SAR 16t

  
Figure: SAR 16t zoom

  
Figure: GMDF2c

  
Figure: Contour 4C