projet cafÉin: réunion de démarrage - kick-off meeting · participants du projets onera ... 10h...
Post on 07-Jul-2018
215 Views
Preview:
TRANSCRIPT
PARTICIPANTS DU PROJETS
Onera∗ Pl Garoche∗ Pierre Roux∗ Romain Jobredeaux∗ Xavier Thirioux
CEA∗ Eric Goubault∗ Sylvie Putot∗ Olivier Bouissou∗ Benjamin Blanc
INRIA∗ Xavier Allamigeon∗ Marc Pouzet∗ Sylvain Conchon
ENSTA∗ Alexandre Chapoutot∗ Adel Djaballah
Univ. Perpignan∗ Matthieu Martel∗ Arnaud Ioualalen
Rockwell Collins France∗ Adrien Champion∗ Michael Dierkes
Prover∗ Francois Carcenac∗ JL Colaco∗ Lars Helander
PROGRAMME DES JOURNÉES DU KICK-OFF
5 février10h∗ Accueil-WP0 (-> 11h)∗ Début WP1
12h∗ Repas
13h∗ Fin WP1 (-> 15h)∗ WP2 (15h->18h)
18h∗ Repas en ville à 20h
6 février9h∗ WP3
12h∗ Repas
13h∗ WP4 et conclusion
16h
PROPOSITION POUR CES JOURNÉES
L’idéal serait pour chaque WP d’avoir la structure suivante:∗ rappel du contenu du WP par le coordinateur, le contenu des tâches
techniques∗ présentation scientifiques des participants∗ un créneau pour que chacun (y compris hors du WP) puisse s’exprimer, voir
comment collaborer dans le WP, entre WPs, etc.
Responsables de WPs∗ WP0: PL Garoche∗ WP1: Rémi Delmas (intérim: Garoche)∗ WP2: Olivier Bouissou∗ WP3: Matthieu Martel∗ WP4: Michael Dierkes
RAPPEL ADMINISTRATIFS
PCAÀ compléter la première année.Contraintes vis à vis des pôlesPour Aerospace Valley et Systematic:∗ actions contribuant à la stratégie du pôle∗ actions de comm vers le grand public ou la communauté scientifique,
bénéficiant à la notoriété du pôle∗ actions menées en vue de nouveaux partenariats de recherche∗ actions de valorisation et transfert de technologies (frais liés à la PI)
Objet d’un point d’avancement dans les CR intermédiaires et finaux,ainsi qu’un compte rendu d’utilisation à la clôture.
ORGANISATION
Deadlines du projets∗ T0: 1er février 2013∗ T0+6 (août 13): T0.1, D4.1 (WP4)∗ T0+12 (février 14): D1.1, D2.1, D3.1, D2.3∗ T0+20 (octobre 14): synchronisation inter-WP en fonction des
exemples/besoins partagés par WP4∗ T0+22 (décembre 14): D.2.2, D2.4, D3.2, D4.2∗ T0+24 (février 15): D2.5∗ T0+30 (août 15): D1.2∗ T0+34 (décembre 15): D4.3∗ T0+36 (février 16): D1.3, D2.6, D3.3, D4.4.
Synchronisation à T0+20
ORGANISATION (SUITE)
Meetings physiques∗ Tout les 3 mois pour chaque WP∗ Tout les 6 mois: réunions plénières en février - septembre∗ Déjà prévu pour le WP2: 4-5 avril 2013 à Paris∗ À prévoir pour les autres WPs
Website/Collaboration∗ Site public sur https://cavale.enseeiht.fr/CAFEIN
Pour les annonces, les slides des réunions, les papiers en soumission ouacceptés, les livrables publics, les outils des partenaires (disponibles ou pas),etc.
∗ Forge sur https://cavale.enseeiht.fr/redmineI subversion privéI pour les livrablesI ou l’échange de modèles/exemples/outilsI wikiI partage de documents
⇒ création des comptes aujourd’hui
RAPPEL DU CONTENU DU PROJET
WP1: Control and Data Directed Invariant Generation for Dataflow systensThe goal of this WP is to enhance the current state of the art of verificationat model level for dataflow systems, by studying adaptations andcombinations of formal analyses.Two mains issues are identified: first, analyses that rely on the structure ofthe system, especially its clocks, where, as of today, most analysis flatten t
WP2: Property injection from high level specificationsto automatically generate system level properties on high level models andrigorously propagate it into both the Lustre programs and the compiledcode in order to help the invariants generation.
WP3: Floating point semantics of numerical computationsdetecting the loss of numerical accuracy introduced by the transformationof high level Lustre code into lower level code and at minimizing this errorby means of automatic optimization techniques
WP4: Industrial evaluationevaluate the tools which are developped during the project by applyingthem to software which is typical for their product
RAPPEL DU CONTENU DU PROJET
Closed system
Open systemImplementation model
Low level implementation
WP2
WP1WP4
WP3
WP interactions(WP2 → WP1 → WP3 → WP4 →)*
COLLABORATION INTERNATIONALE
Projet NSF Craves: http://craves.feron.org/
Éric Féron - WP2: analyse de propriétés systèmes
Arnaud Venet - analyse de code par IKOS (lien avec WP3?)
OBJECTIF À COURT TERME: INSTANCIATION DE LAPROPOSITION
Task T0.1. The Requirement analysis task T0.1 will take place the first sixmonths of the projectbetween all partners. It will consists mainly in physical meetings to presenteach partner expertise and organize future interactions during the project,for example through involved tools.
Pour août 2013, il faudrait donc
∗ lister pour chaque partenaire/WP: ce qu’il peut partager en terme d’outils et/oude modèles à analyser
∗ faire des propositions techniques pour chaque tâche en binôme/trinôme
top related