La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin.

Présentations similaires


Présentation au sujet: "Copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin."— Transcription de la présentation:

1 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 Projet Exploratoire RNTL /2002 – 01/2004 1,9 M Euros Patrick Farail, Pierre Gaufillet : Airbus France François Vernadat, Jean-Marie Farines : LAAS-CNRS Pierre Dissaux, Jean Luc Lambert : TNI-Valiosys Pierre Michel : ONERA-DTIM Mamoun Filali, Jean-Paul Bodeveix : IRIT-CNRS COTRE COmposants Temps REel

2 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 ATELIER LOGICIEL A380 Modèle de Spécification Modèle dArchitecture Architecture Dynamique (Sildex : Formel) Architecture Statique (HOOD/STOOD) CODE Génération du Code Statique Validation par Simulation Cohérence par relecture

3 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 ATELIER LOGICIEL COTRE

4 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 ATELIER LOGICIEL COTRE

5 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 ATELIER LOGICIEL COTRE Cohérence des vues statiques et dynamiques => Traçabilité Conception/code Basé sur un Langage de Description dArchitecture Améliorer la vérification darchitecture : plus de preuve de propriétés, moins de simulation Réduire les coûts de développement => Phases de Vérification et de Maintenance Support à la réutilisation : approche composants

6 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 PARTICIPANTS Besoins Industriels & Validation Outillage / Prototypage / Intégration } Introduction des Techniques Formelles

7 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin WORK PACKAGES SP1 - Besoins et validation des choix SP2 - Définition des concepts de COTRE : basés sur le standard SAE : forte collaboration avec le sous-comité AADL méta-modélisation du langage (UML) mapping HOOD (et UML2.0) SP3 - Formalisation des concepts de COTRE et techniques de validation SP4 - Outillage SP5 - Coordination interne/externe

8 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 RÉSULTATS WP1 Définition de deux type de cas d étude : une dizaine de modèles simples, représentant des architectures types ou des cas pathologiques courants, un modèle complet, issu d un projet industriel (CMF). D autres projets candidats sont disponibles. Modélisation sous Sildex Spécification de l atelier

9 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 Scission du langage COTRE en U-COTRE et V-COTRE Compatibilité HOOD + : descriptions architecturale description comportementale Version avancée en cours de finalisation RÉSULTATS WP2

10 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 RÉSULTATS WP3 Définition du langage V-COTRE Validation de V-COTRE sur les cas d étude et les composants OS ARINC653 Evaluation des outils sélectionnés (Tina/ALDEBARAN, SMV, LPV, UPPAAL, Sildex) Définition du processus de modélisation/validation en cours

11 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 Premier prototype basé sur le Référentiel Airbus Prototypage multi- outils (OpenTool, Stood, Sildex, LPV/VirtuOS) Prise en compte du méta-modèle avancé en cours RÉSULTATS WP4

12 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 Coordination avec le comité AADL (SAE) Plusieurs publications & présentations : Dasia 2002 séminaire AADL octobre 2002 journées RNTL du SITEF 2002 Mise en place d une liste de diffusion externe et d un site web public (www.laas.fr/COTRE) Echanges internes supportés par un site SYMPA géré par le LAAS RÉSULTATS WP5

13 copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin 2003 Finalisation des langages U-COTRE et V-COTRE : expression des propriétés, informations architecturales. Confirmation de la méthodologie pressentie : approche de type raffinement, traductions/compilations automatiques V-COTRE -> outils de vérification. Evaluation de l atelier COTRE du point de vue utilisateur : modélisation graphique, facilité de mise en œuvre des outils de vérification, remontée des résultats, application de l atelier à d autres plates-formes temps réel. Profils UML et AADL Perspectives : RNTL 2003, 6 ième PCRD,... CONCLUSION


Télécharger ppt "Copyright ©COTRE all rights reserved Journée du groupe AFADL AIRBUS France TNI-Valiosys E.N.S.T. Bretagne I.R.I.T. L.A.A.S. O.N.E.R.A. - D.T.I.M. 11 juin."

Présentations similaires


Annonces Google