Environnement de Compilation

More documents

Recommendations

Info

La vision MDE, Modèle de composants & langages dédiés Idée : Décrire l'implémentation avec des modèles • AADL • Signal, Lustre Valider le comportement à travers des raisonnements logiques explicites • Modèles de tâches et Ordonnancement • Flots de données et simulation numériques Outils associés aux langages dédiés • Mathlab/Simulink • Sigali Polychroni (SIGNAL) page 14 INFRES/S3 ETER / INF342
Lien entre modéles validés et le produit final Les modèles == entrée des chaines de production Architectures à base de composants avec interfaces explicites pb : il faut obtenir le code implémentant le comportement des modèles Chaîne de production fiable == production automatique de l'application finale à partir des modèles • AADL → Ada Ravenscar via Ocarina. (intégration) • LUSTRE → C via LUSTRE V4 + LESAR tool box (comportement complet) page 15 INFRES/S3 ETER / INF342
Page 1 and 2: Chaîne de développement : Compila
Page 3 and 4: Chaîne de développement et Compil
Page 5 and 6: Processus de développement pour ap
Page 7 and 8: Architecture des Systèmes Embarqu
Page 9 and 10: Un exemple de système embarqué
Page 11 and 12: Rappel sur l'édition de lien et la
Page 13: Interfaces de programmation et envi
Page 17: Développer sur A, exécuter sur B
Page 20 and 21: Contenu et rôle du BSP (board supp
Page 22 and 23: A retenir Chapitre I, II, III La c
Page 24 and 25: Chargement et interfaces Interface
Page 26 and 27: page 26 Comment un calculateur dém
Page 28 and 29: Bootloader Rôle : assure le passa
Page 30 and 31: Dimensionnement et réflexion globa
Page 32 and 33: Ce qui influence le WCET ? Double
Page 34 and 35: Conclusion page 34 INFRES/S3 ETER /

Environnement de Compilation

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?