Projet ACCORD. Projet ACCORD Sébastien Gérard

Transcription

1 Projet ACCORD CEA-LIST Contact : Hubert.Dubois@cea.fr CEA LIST Journées de l Action IDM 21 mai Paris 1 Projet ACCORD Sébastien Gérard Une équipe du CEA-LIST / / SOL / LLSP (Prof. F. Terrier) Equipe: 11 permanents (chercheurs/ingénieurs) : Sébastien GERARD, Hubert DUBOIS, Agnès LANUSSE, Chokri MRAIDHA, Ansgar RADERMACHER, Sylvain ROBERT, David SERVAT, Rémi SCHNEKENBURGER, Yann TANGUY, Patrick TESSIER, Patrick VANHUXEM 12 thésards, post-docs et ingénieurs experts Points-clés: Développement de techniques basées sur UML pour la conception de systèmes embarqués distribués temps-réel Outils de conception basés sur transformation de modèles UML et génération automatique de code CEA LIST Journées de l Action IDM 21 mai Paris 2

2 Modélisation UML par composants Vérification d 'in t r o d u c t io n d e c r o is s a n c e d e m a t u r i t é d e d é c l in RegulatorScreen T e m p s T o t a l d e s v e n t e s Traçabilité des exigences Ordonnancement Analyse de performances Transformation de modèles Modèles spécifiques aux plateformes cibles Modèles de plateformes «component» SpeedRegulator «component»» RegulatorScreen «component» ControlRegul «component» Syst1 «component» Syst2 CORBA CCM, EJB Middleware dédié Génération de code Cp 1 Cp 2 CEA LIST Journées de l Action IDM 21 mai Paris 3 Les domaines de recherche et d activités Systèmes embarqués temps-réel Prise en compte dans UML : MARTE Prise en compte de la plateforme et de l OS Noyau TR : Accord Génération de code embarqué Vérification de modèles : analyses temporelles Middlewares dédiés: CCM, EJB Modélisation par composants Suivi des exigences IDM : Transformation de modèles Génération de code Méta-modélisation et profils Méthodologie pour le développement de CEA LIST Journées de l Action IDM 21 mai Paris 4

3 Projets de recherche en cours (1/2) Programme CARROLL ( ) avec Thalès et INRIA CORTESS: profil MARTE pour les syst. TR/E DYONISOS: Middleware et composants pour les syst. TR/E Programme Usine Logicielle ) OpenDevFactory: plateforme standard pour l intégration de technologies pour définir des outils de modélisation INFLEXION: infrastructure d exécution adaptable et flexible MeMVaTEx (ANR ) Modélisation, validation et traçabilité des exigences dans un processus d IDM REVE (ANR ) Modèle de composant, support d'exécution et système de typage pour les applications TR/E CEA LIST Journées de l Action IDM 21 mai Paris 5 Projets de recherche en cours (2/2) OpenEmbeDD (ANR ) Plateforme open-source d IDM pour les SE/TR Flex-eWare (ANR ) Infrastructures d exécution flexibles pour l embarqué DOMINO (ANR ) fiabiliser un processus d'ingénierie accompagnant le développement de logiciels ATESST (STREP ) Description d un langage d architecture pour l automobile ARTIST2 (NoE ) Modélisation à base de composants pour les syst. embarqués MODELPLEX (IST ) Solution basée sur l'idm pour la modélisation de systèmes d'ingénierie complexes améliorant la qualité et la productivité. CEA LIST Journées de l Action IDM 21 mai Paris 6

4 Activités de recherche Action IDM du CNRS Voir : Ł Mise en place d une journée transverse sur la transformation de modèles (cf. groupe «Transformation de programmes et de modèles» du GdR GPL) Organisation de workshops RTAS «Feedback on the usage of the UML profile for SPT» UML SIVOES 2004 (MDA pour l embarqué) Ecole d été sur le MDA pour les systèmes TR embarqués CEA LIST Journées de l Action IDM 21 mai Paris 7 Papyrus overview Papyrus is a dedicated tool for modelling within UML2. This open source tool is based on the Eclipse environment Key features: Eclipse UML2 compliance Full respect of the UML2 standard as defined by the OMG Full respect of the DI2 (Diagram Interchange) standard Extendable architecture of Papyrus that allows users to add new diagrams, new code generators, etc. Profile development support facilities for UML2 profiles Nested profiles support A web site: CEA LIST Journées de l Action IDM 21 mai Paris 8

5 UML diagrams supported in Papyrus Version of Papyrus supports the following UML2 diagrams: Activity diagram (partially) Class diagram Composite diagram Use Case diagram Deployment diagram State Machine diagram CEA LIST Journées de l Action IDM 21 mai Paris 9 Next steps in Papyrus Papyrus 1.7 Date : Begin of July 2007 Functionnalities : To be compliant to Eclipse 3.3 Europa version of Eclipse A SVN web site for development Finalization of: Activity diagram State Machine diagram Component diagram Requirement diagram Document generation CEA LIST Journées de l Action IDM 21 mai Paris 10