LaBRI Troisièmes Journées AltaRica
27 et 28 novembre 2007
LaBRI - Université Bordeaux 1
  Accueil Appel à contributions Inscriptions Participants Programme Accès au LaBRI Hôtels

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

Valid HTML 4.01 Transitional