Title.


14 Octobre

 

10h - 10h30      Présentation du projet (V.Lefftz, Astrium)

 

10h30 - 11h45    Description des cas d'étude industriels

Module calculateur déporté (P.Moreau, D.Guihal, Airbus)

Système de traitement d'images (J.Lachaize, V.Lefftz, Astrium)

∗ Application "caméra intelligente" (C.Clienti, Thales Research & Technology)

Contrôleur pour un Magnétomètre Scalaire Absolu (J.Bertrand, CNES)

Système de communication sécurisée (P.Mercier, PSI)

 

13h30 - 14h30    Tutorial "Modélisation des SoC's avec SystemC TLM"

                          (L.Maillet-Contoz, STMicroelectronics)

 

14h30 - 15h30  Tutorial "Synthèse de haut niveau" (P.Coussy, Lab-STICC)

 

16h - 17h          Tutorial "Vérification de bonne conception (ABV) - Analyse de robustesse"

                          (L.Pierre, R.Leveugle, TIMA)

 

17h - 18h          Tutorial "Calcul de temps d'exécution maximum"

                          (H.Cassé, P.Sainrat, IRIT)

 

15 Octobre

 

8h30 - 9h30      Présentation du flot de conception préconisé et mise en oeuvre sur les différents cas d'étude

                          (L.Maillet-Contoz, STMicroelectronics et R.Lucas/E.Vaumorin, Magillem)

 

9h30 - 10h        Modélisation SystemC d'une chaîne de traitement d'image

Séparation des aspects fonctionnels et non-fonctionnels pour la modélisation transactionnelle (A.Berjaoui, J.Lachaize, Astrium)

 

10h - 10h30      Modélisation SystemC d'une chaîne de traitement d'image

Ajout des aspects temporels sur un modèle transactionnel d'un contrôleur mémoire (A.Lefèvre, Y.Charnet, V.Lefftz, Astrium)

 

11h - 11h30      Modélisation SystemC d'un contrôleur mémoire durci

                        Modèle PV, raffinements successifs PV+T et CABA (J.Bertrand, CNES)

 

11h30 - 12h      IP-XACT et l'assemblage de composants - Cas d'un module calculateur déporté

                        Etude et déclinaison du flot IP-XACT sur une architecture SoC dans un contexte avionique (P.Moreau, D.Guihal, Airbus)

 

13h30 - 14h      IP-XACT et l'assemblage de composants - Cas d'un système "caméra intelligente"

                        Exploration et déploiement d'applications sur un système sur puce : flot de description IP-XACT (C.Clienti, Thales Research & Technology)

 

14h - 14h15      Synthèse de haut niveau dans la conception d'une chaîne de traitement d'image

                        Retour d'expérience avec GAUT : Adaptation d'un algorithme C pour la synthèse de haut niveau (J.Lachaize, Astrium)

 

14h15 - 14h45    Synthèse de haut niveau dans la conception d'un système "caméra intelligente"

                        Exploration et déploiement d'applications sur un système sur puce : Validation rapide des applications (C.Clienti, Thales Research & Technology)