LISyC/IDM composante ENSIETA Responsable : Philippe DHAUSSY (philippe.dhaussy@ensieta.fr)

1. EA3883 UBO - ENIB - ENSIETA LISyC/IDM composante ENSIETA Responsable : Philippe DHAUSSY (philippe.dhaussy@ensieta.fr) Journée outils et MDE en Bretagne – 9 septembre 2010 – Irisa Rennes

2. LISyC/IDM composante ENSIETA Thèmes de recherche académique de l’équipe LISyC/IDM composante ENSIETA Ingénierie Dirigée par les Modèles (IDM) • Modélisation de systèmes, de composants logiciels, de processus • Meta-modélisation et méthodologie • Analyse formelle de modèles • Génération d’architectures d’exécution 16 personnes (5 perm.) 7 thèses en cours THALES, AIRBUS, CNES, DGA, CS-SI, … Lab. Universitaires, CLAPOT, CALIPSO Pôles de compétitivité

3. LISyC/IDM composante ENSIETA Continuum Ingénierie Dirigée par les Modèles (IDM) Modèle d’exigences Modèle de qualification Validation formelle Modèles de processus Modèle abstrait Modèle d’Intégration Continuum Modèles de calcul Modèle raffiné Modèle de Test Observatoires sous-marin Véhicules Embarqués

4. LISyC/IDM composante ENSIETA Modèle à valider UdV UdV UdV UdV Ingénierie des exigences et validation User Models (UMLx, AADL, SDL, …) Environnement (contexte) Exigences Diagnostique Formalisation Contexte, propriétés (UCM) Modèles formels Modèles de test Model Checkers Générateurs de seq. de test

5. LISyC/IDM composante ENSIETA Validation d’un module embarqué A380 (AFN, Aircraft Facility Notification) ATC (Air Traffic Control) implique des communications Avion - Sol AFN (Aircraft Facilities Notification) : protocole : applicationde ATC Data-Link Air Traffic Control Center Position - Time AFN – CPDLC – ADS Applications : Assure la prise de contact et échanges de messages entre avion et centres de contrôle Système de Combat Aster 15 & 30 Système PAAMS Validation du composant C2 du système PAAMS Radar C2 ULT MFR Le C2 commande et contrôle le système PAAMS CSCI SM 6 Lanceurs Conduite de Tir (FCS)

6. LISyC/IDM composante ENSIETA Meta-Modèle KIMONO Application : Plateforme de modélisation SDS Interconnexion Kimono - OBP Modeleur Doors System Architect IHM Gestion applications Repository Outils de preuve Gestionnaire des unités de preuve Noyau KIMONO (SdS) Unités de Modélidation et de validation

7. LISyC/IDM composante ENSIETA Modélisation et framework d’exécution Cometa pour les SoPC avec des modèles UML/MARTE • Allocation sur une modélisation d’architecture avec UML/MARTE. • Extension à tout type de DSL. • Supporté par le projet européen iFEST.

8. LISyC/IDM composante ENSIETA Modélisation et framework d’exécution Cadre applicatif Cometa/CORTOS pour les cibles embarquées • Réseaux d’observatoires sous-marins. • Intégration de SmartSensors dans un système d’information. • DSL pour SmartSensor. • Notion de services • Définition comportementale pour la détection d’évènements Utilisation de CORTOS • Support d’exécution sur les cibles embarquées Supporté par les projets SmartSensors et Medon (Européen Interreg)

9. LISyC/IDM composante ENSIETA Modélisation de processus DSL outillé MODAL, Encapsulation d’une activité du processus en composant de modélisation, Application à la radio-logicielle. Processus et modélisation Gestion de lignes de produit des systèmes • Structuration de l’espace de modélisation, • Construction itérative des LdP, • Application aux systèmes embarqués Thales (TR6). Gestion des métamodèles • Stockage, zoo de métamodèles pour la recherche d'artefacts, • Composition, théorie des métamodèles de capacité, • Décomposition, extraction de sous-métamodèles.

10. LISyC/IDM composante ENSIETA Modal pour modéliser la méthodologie et le processus Notion d’Intention de modélisation : Donner l’objectif du modèle Stratégie de modélisation : Satisfaire une intention Composant de modélisation : Application d’une stratégie sur des modèles. Contraintes métier par statégie : Contraintes métier appliquées aux modèles. Intégration des contraintes métier au processus Contraintes métier = Un meta-aspect. Checker de modèles par niveau d’abstraction basé sur les meta-aspects Kermeta. Langage Modal : Processus et modèles métiers existsAnRtUnitClassInPlatformPackage : the"Platform" package should have at least one "RtUnit" class (or one of its descendant stereotypes) MopcomConstraintUID= AML002 Kermetaconstraint: do         var ph:profiledResourceHelper::ProfilesHelper init profiledResourceHelper::ProfilesHelper.new         ph.initialize(self.containingResource, self.containingResource)         var modelHelper:amlModelHelper::AMLModelHelper init amlModelHelper::AMLModelHelper.new         if modelHelper.isAMLPlatformPackage(self) then                 self.containsAnRtUnitClass(ph)         else                 true         end end

11. Processus et constraintes métiers (MOPCOM SOC/SoPC) Set of constraints Communication models Kermeta Aspects Set of constraints Architecture Topology Set of constraints Physical Architecture LISyC/IDM composante ENSIETA

12. LISyC/IDM composante ENSIETA Projets de Recherche & Développement Participation pôles de compétitivité, Gis Europôle mer : • Images et Réseaux (projets MOPCOM-Soc, MOPCOM-Ing) • Aéronautique (projet TopCased) • ANR-RNTL (projet DOMINO, MOPCOM-SoC/SoPC) • AIRBUS (projet OSMOSE, ingénierie des exigences) • IFREMER (SmartSensor, réseaux de communication sous-marine) • InterReg-Europe (Medon) • Artemis-Europe (iFEST) Partenariats : • THALES, AIRBUS, ASTRIUM, FT R&D, DGA/SdS, CS-SI, Geensys, Sodius, … • INRIA (IRISA), ONERA (DTIM), CEA (LIST), Telecom Bretagne, LAAS, IRIT, LabSTICC, …

13. LISyC/IDM composante ENSIETA Modèles d’exigences Triskell (Benoit B.), Telecom Br (Antoine) Transformation de modèles Génération de codes formels : vers le model-checker TINA (projet VerifMe) : ESEO (Jérôme) Génération de modèles de test : Triskell (Benoit B.) Modèles de calcul Triskell (Benoit C.), Processus et modélisation Processus Telecom Br (Antoine) MoPCOM-I, LdP Triskell (Jean-Marc), Collaborations

14. LISyC/IDM composante ENSIETA Merci de votre attention Contacts : Philippe Dhaussy Philippe.Dhaussy@ensieta.fr Joël Champeau Joel.Champeau@ensieta.fr Jean-Christophe Le Lann Jean-Christophe.Le-Lann@ensieta.fr