 | Programmes des journées
A l'instar des Journées Marseillaises, les
présentations sont regroupées en demi-journées orientées soit sur des thèmes académiques
plutôt axés R&D, soit des applications industrielles ou sur des retours d'expériences utilisateurs.
Lieu : Amphi du LaBRI (salle 050 du bâtiment A30)
- Mardi 27 matin : 10h30 - 12h30
- Mardi 27 après midi : 14h00 - 18h00
- Mercredi 28 matin : 8h15 - 12h30
- Mercredi 27 après midi : 14h00 - 16h45
- Mardi 27 novembre : Doctorants
-
- 10h30 : Accueil & Pause café
- Hall du LaBRI
- 11h00 : Hayssam Soueidan (LaBRI)
- Extensions AltaRica pour la modélisation en biologie intégrative [PDF]
- 11h45 : Fares Chucri (LaBRI)
- AltaRica et CEGAR [PDF]
- 12h30 : Repas
- Domaine du Haut carré
- Mardi 27 novembre : Doctorants et outils
-
- 14h00 : Romain Bernard (Airbus / ONERA / LaBRI)
- Analyses de Sûreté de Fonctionnement multi-systèmes[PDF]
- 14h45 : Sophie Humbert (Turbomeca / ONERA)
- Déclinaison d'exigences de sécurité du système vers le logiciel, assistée par des modèles formels
- 15h30 : Pause café
- Salle 076
- 16h00 : Emmanuel Arbaretier (APSYS)
- L'intégration d'AltaRica dans SIMFIA
- 17h00 : Philippe Thomas (Dassault Systèmes)
- L'atelier OCAS
- 19h30 : Repas
- Vins & Fromages au LaBRI (Salle 076)
- Mercredi 28 novembre : Retour d'expériences industrielles
-
- 08h30 : Pierre Bieber, Charles Castel, Guy Durrieu, Claire Pagetti, Laurent Sagaspe, Christel Seguin (ONERA)
- Dependability Modelling and Assessment of Avionics Systems with Altarica. [PDF]
- 09h15 : Marion Morel (Thales)
- Evaluation AltaRica / OCAS autour d'une architecture avionique d'un Regional Jet [PDF]
- 10h00 : Pause café
- Salle 076
- 10h30 : Valérie Sartor (Dassault Aviation)
- Le process mis en oeuvre à Dassault Aviation pour l'élaboration d'études SSA à partir des modèles AltaRica Systèmes (CECILIA OCAS, programme Falcon 7X).
- 11h15 : François Pouzolz (Airbus)
- Le projet CVB Rosas : étudier les interactions en systèmes en faisant un "gros" modèle AltaRica d'un avion à partir de modèles de systèmes
- 12h30 : Repas
- Domaine du Haut carré
- Mercredi 28 novembre : Perspectives
-
- 14h00 : Michel Turin (GTI6)
- ALTARICA evaluation for Space activity [PDF]
- 14h45 : Alain Griffault (LaBRI)
- AltaRica au LaBRI : Travaux récents et projets [PDF]
- 15h30 : Pause café
- Salle 076
- 15h45 : Table ronde animée par Chritel Seguin (ONERA)
- Comment faire pour améliorer la sûreté des systèmes ?
- 16h30 : Maylis Delest (Directrice LaBRI)
- Cloture des journées
|