Real Time Developer Studio. Emmanuel Gaudin

Transcription

1 Real Time Developer Studio Emmanuel Gaudin

2 PragmaDev Dédiée au développement d un outil de modélisation pour le développement des systèmes communicants. TPE Française Bénéficiaire depuis 2006

3 Partenaires

4 Références Universités : ENST, Polytechnica Bucarest, Telecom Beijing Distributeurs: Amérique, Asie, Europe

5 Pérennité Droit d accès au code source en cas de défaillance: Economique Technique Stratégique Audit du code source Possibilité de reprise par un tiers Intégration continue

6 Philosophie Développer un outil basé sur les besoins des utilisateurs.

7 Segment cible Systèmes communicants (Event driven) Historiquement embarqué & temps réel Application Architecture en modules s exécutant en parallèle Communication Synchronisation Module 1 Module 2 Module 3 Message queue Sémaphore driver OS-RTOS-scheduler hardware driver

8 Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau de qualité et de test avec les process et les outils traditionnels. Ne pas oublier la règle des 1:10:100 Wind River Market Survey of Device Software Testing Trends and Quality Concerns in the Embedded Industry Juin 2010 Source: James Martin study

9 Un réel besoin de modélisation Se concentrer sur le Quoi plutôt que sur le Comment, Modéliser c est communiquer et documenter, La lisibilité des systèmes complexes devient critique: qui construirait une maison sans dessiner le moindre plan? Maîtrise de la productivité, Amélioration de la qualité.

10 Caractéristiques d un bon langage de modélisation Le modèle abstrait doit être indépendant de la plateforme d implémentation, Le modèle abstrait doit pouvoir être traduit sur une plateforme d implémentation, Pour cela on s appuie généralement sur une machine virtuelle qui offre: un certain nombre de services, une sémantique d action.

11 SDL UML Les langages existants Specification and Description Language is an ITU-T standard. Event oriented, Used by ETSI to standardize telecommunication protocols, Formal (complete and non-ambiguous). Unified Modeling Language is an OMG standard. Can be used to represent any type of systems, Informal. SysML System Modelling Language AADL Architecture Analysis Description Language MARTE profile Modeling and Analysis of Real-Time and Embedded systems Z.109 UML profile based on SDL Lustre / Esterel Synchronous programming languages for the development of complex reactive systems MATLAB MAtrix LABoratory Autosar AUTomotive Open System Architecture SART Structured Analysis for Real Time (obsolete)

12 Positionnement des langages Requirements Analysis Architecture SysML UML MARTE AADL SDL Matlab Vérification statique Specification Design Generic Generic HW/SW HW/SW Async La vérification dynamique est essentielle car les exigences sont dynamiques. Sync Vérification dynamique

13 Pas de spécificité temps réel UML UML1.x est trop générique pour décrire la dynamique du modèle, UML 2.x a introduit des profils spécifiques par domaine: Les outils ont implémenté des profils propriétaires, Les utilisateurs passent plus de temps à définir leur profil que leur système, Il existe un profil standard basé sur le SDL: Z.109.

14 Intérêts du SDL Les niveaux d abstraction graphiques du SDL (architecture, communication, comportement) apportent beaucoup aux équipes de développement pour représenter l aspect dynamique du système. Le SDL étant formel il est possible de simuler le comportement du système sur station de développement avec des outils de débogue graphiques. Le SDL étant formel on peut générer depuis la description SDL le code pour la cible. Le SDL est orienté objet et permet donc une réutilisation aisée de composants logiciels existants (les protocoles de télécommunication sont écrits en objet par l ETSI). SDL a les caractéristiques pour décrire un bon PIM.

15 Gains du SDL Des années de pratique ont permis de mesurer quantitativement les gains apportés par l utilisation du SDL Code C: 35 à 50 fautes par 1000 lignes Code SDL: 8 fautes par 1000 lignes Réduction globale du cycle de développement de l ordre de 35% Réduction de près de 50% dans la branche gauche du cycle en V Réduction moindre dans la branche droite du fait du décalage avec la réalité technique

16 Les problèmes d implémentation du SDL Tous les modules logiciels (RTOS, drivers) disponibles proposent des interfaces C ainsi que les modules existants au sein de l entreprise, Des concepts classiques dans le temps réel ne sont pas présents dans le SDL, La syntaxe SDL n est pas adaptée au codage. La réutilisation de composants logiciels existants est difficile, L interfaçage avec le C n est pas direct (driver ou RTOS), Les développeurs sont perdus, Le code généré est illisible,

17 La solution d implémentation: SDL-RT Utiliser les concepts UML à très haut niveau: analyse / expression des besoins. Conserver les niveaux d abstraction Analyse UML graphiques du SDL (architecture, communication, comportement). Utiliser la syntaxe et les types de Spécification SDL SDL-RT données du langage C à la place de ceux du SDL. Supprimer les concepts SDL sans réalité technique d implémentation. Conception C C++ Compléter les concepts SDL pour coller à la réalité (interruptions, Temps réel sémaphores).

18 SDL-RT SDL-RT est: Permet de généraliser l utilisation de SDL à toutes les applications temps réel s appuyant sur un RTOS, Lisible et basé sur un format de stockage textuel normalisé (XML), Proposé à l ITU pour intégration dans le SDL, Est un profil UML pour les applications temps réel.

19 SDL Specification and Description Language, standard de l ITU-T pour décrire les spécifications détaillées des protocoles afin d assurer l inter opérabilité des implémentations. Mis à jour tous les 4 ans depuis Version majeures: SDL 1988: Version de maturité SDL 1992: Introduction de l orientation objet SDL 2000: Alignement UML SDL 2010: Introduction de SDL-RT Conférence annuelle SDL Forum ( SAM workshop (satellite event of Models) 11 outils commerciaux, 10 outils dans le domaine public. Technologie intégrée dans le framework TASTE de l ESA

20 Vues: Diagramme de classes Relations entre les classes statiques (C++) et Dynamiques (SDL)

21 Vues: Architecture et Communication

22 Vues: Comportement et Données Types de données abstraits en SDL. Types C/C++ en SDL-RT. Process A

23 Vues: Services du système d exploitation Prise de sémaphore Démarrage d un timer Le timer «claque» Le sémaphore est libéré Etat intermédiaire

24 Vues: Systèmes distribués Vue déploiement physique

25 SDL-RT: Vue graphique Librairie de composants Architecture du système Interfaces Déploiement de l application Concepts temps réel Points clés du code

26 SDL-RT MSC: une vue dynamique SDL-RT Message Sequence Chart Les lignes verticales représentent une tâche, l environnement ou un sémaphore, Les flèches représentent des échanges de messages, une manipulation de sémaphore ou de timer. Utilisations en amont et en aval: Spécification dynamique sous forme de scénario Trace d exécution

27 RTDS: les langages supportés Analyse UML Spécification SDL Z.100 SDL-RT TTCN-3 Conception C C++ Informel Formel Semi formel Testing

28 RTDS: les langages supportés Modélisation informelle pour l expressions des besoins en UML Edition Génération de squelettes C++ Modélisation semi-formelle pour la conception en SDL-RT Edition Vérification syntaxique et sémantique Génération de code Débogue graphique Modélisation formelle pour la spécification en SDL Z.100 Edition Vérification syntaxique et sémantique Simulation Verification Génération de code Débogue graphique

29 Outil: le Project manager Le «hub» de l outil: Organisation des fichiers (UML, SDL Z.100, SDL-RT, C, C++, H, traces et autres) en packages, Appel des éditeurs, du débogueur, et du générateur de code, Gestion des profils de génération de code.

30 La génération de documentation Publications logiques (état, transition, partition, diagramme) Commentaires précédent et suivant la publication Styles de paragraphes Styles de caractères Formats d exportation RTF OpenDocument HTML SGML Elements exportés Publications avec textes Entrées d index Entrée de table des matières

31 La génération de documentation Un document La documentation générée Une publication

32 Simulateur Véritable débogueur des modèles formels basé sur la sématique du langage Points d arrêts et pas à pas sur les diagrammes SDL, Opérateurs externes ou interactifs, Traces dynamiques MSC, Connexion d une IHM ou d un outil externe par socket.

33 La génération de code Classes statiques en squelette C++. Classes dynamique en C ou C++. Le code est lisible. Profils de génération avec wizard Le code généré à partir du modèle: intègre l adaptation des RTOS: VxWorks, OSE, OSE Epsilon, CMX RTX, Nucleus, Posix, Win32, ThreadX, ou uitron, propose un scheduler, est libre d utilisation, documenté pour personnalisation.

34 Architecture de débogue S appuie sur un débogueur C hôte ou sur cible pour débogue graphique. Modèle C code generator Generated C code compiler External C/C++ Binary Model editor RTOS cible MSC tracer Text editor Model debugger Real Time Developer Studio tools Third party tools Source code Binary code socket C debugger Tornado Tasking gdb XRAY Multi

35 S appuie sur la sémantique d exécution du processeur ou du RTOS. Le débogueur Points d arrêts et pas à pas sur les diagrammes et/ou dans les fichiers C, Traces dynamiques MSC, Interface de prototypage, Connexion d un outil externe par socket.

36 Garder le lien avec le modèle Switch entre Modèle source Code généré

37 Outil: les traces MSC Traces d exécutions: Etats, Evènements, Sémaphores, Timers. Filtrage du niveau de trace Affichage du temps système MSC Diff permet de vérifier: La conformité, La non-régression.

38 Couverture du modèle Vue graphique de la couverture du modèle Possibilité de merge

39 Interface de prototypage Connait les entrées et les sorties du modèle. Se connecte automatiquement au simulateur ou au débogueur.

40 Test Basé sur le standard international TTCN-3: Definition des types de données, Définition de Templates, Cas de Test, Control d Execution. Connection automatique au Simulateur: Points d arrêt dans le modèle ou la suite de test, Verdict apparait dans la trace d exécution.

41 Intégration continue Spécification Simulation Tests de Validation Conception Simulation Exécution Tests d intégration Implémentation Exécution Test unitaires

42 Vérification de propriétés Partenariat avec Verimag sur la technologie IF. Simulation exhaustive, Observateurs: Vérification de propriétés, Génération de tests. Fonctionnalité RTDS Export IF, Exécute un script, Trace MSC, Case de test TTCN.

43 Mise en oeuvre Modèle SDL translate to file IF Propriétés Observateur IF compiler executable executes State file Transition file Error file Cas de test Analyse TTCN MSC socket Python script Resulting scenario

44 Intégration dans le framework de l ESA ASN.1 AADL ASN.1 ASN.1 Matlab Encodeurs / Décodeurs RTDS Encodeurs / Décodeurs Scade Encodeurs / Décodeurs Ada Loi de contrôle Système réactif Loi de contrôle Générique

45 La gestion de projet Format de stockage textuel en XML permet une gestion de configuration aisée Exportation des diagrammes au format PNG, JPEG, PS, HTML, Publish and subscribe et génération de documentation RTF, OpenDocument, HTML, et SGML Informations de traçabilité et intégration de Reqtify Support des plateformes: Solaris, Windows, Linux. Licences flottantes

46 Conclusion Trois niveaux de modélisation: Informel, Semi-formel, Formel. Outils pour: Documenter, Simuler, Valider, Tester. Basé sur des standards internationaux.

47 Produit connexe: MSC Tracer Trace on-line ou off-line le comportement de la cible avec une représentation graphique basée sur des standards. Auto-documente les campagnes de test, Vérifie la non-régression, Connexion facile, Version gratuite.