La méthode DARTS et la programmation multitâche en LabVIEW. Khanh Hieu NGO, Emmanuel GROLLEAU LISI/ENSMA

Transcription

1 La méthode DARTS et la programmation multitâche en LabVIEW Khanh Hieu NGO, Emmanuel GROLLEAU LISI/ENSMA

2 Plan de la présentation Systèmes temps réel Problématique Cycle de vie Méthodes de spécification/conception SA/RT DARTS Implémentation de systèmes temps réel Comparaison de différents langages de programmation Outils LabVIEW pour le temps réel La bibliothèque DARTSVIEW Perspectives

3 Introduction au temps réel Correction algorithmique Correction temporelle

4 Systèmes temps réel Procédé Cahier des charges Spécification Tâche 1 Tâche 2 R 1 m 1 Découpage en tâches Tâche 3 Contraintes temporelles

5 Cycle de vie d un système temps réel Spécification (SA-RT, UML ) Conception (DARTS, ) Validation temporelle (WCET, ordonnancement) Tests d'intégration Implémentation Tests unitaires (Ada, C, LabVIEW, )

6 Système exemple: freinage ABS (version académique) Demande freinage Acquérir Niveau demande freinage freinage Conducteur 1 Pas de Demande freinage Mise en marche Pédale de frein E/D freinage Activation E/D Lire ABS T Contrôler Commande bouton ABS ABS activé Contrôler freinage freinage Bouton activation 2 ABS le système 6 ABS non activé E/D Activation de freinage ABS E/D 0 Affichage ABS Freinage Glissement Détecter Pas de Capteur Glissement glissement Glissement glissementroue glissement roue roue 3 Mise en marche Commander freinage 4 Commande freinage Système de freinage Afficher Voyant état bouton ABS actif ABS Affichage 5 ABS

7 Eléments d un diagramme DARTS Tâche Module de données Evénement (interruption_it, gestion de temps_htr...) Boîte aux lettres (Bal) Synchronisation Rendez-vous

8 Conception DARTS HTR (100 ms) Niveau freinage Demande freinage Acquérir demande freinage Contrôler freinage Commande freinage État glissement État demande ABS LIRE LIRE ÉCRIRE ÉCRIRE HTR (150 ms) HTR (1000 ms) Glissement roue Acquérir glissement Activation ABS Lire et afficher demande ABS Affichage ABS

9 LabVIEW: un langage pour le multitâche Tâche DARTS Synchronisation Communication Gestion du temps Module de données Rendez-vous C Tâche Sémaphore Queue Delay LabVIEW Boucle Sémaphore Queue/ RT FIFO Delay, delay until vi non réentrants rendez-vous ADA Tâche Objets protégés Delay, delay until Rendez-vous

10 Tâches Tâche périodique indépendante HTR Tâches périodiques non communicantes

11 Synchronisation T1 HTR T1 T2 T2

12 Taxonomie des modes de communication Boîte aux lettres Bornée Non bornée (non bloquante en écriture) Avec écrasement (non bloquante en écriture) Sans écrasement (bloquante en écriture) De taille 1 sans donnée =>synchronisation Si la boîte aux lettres est non bloquante en lecture (i.e. si aucune nouvelle donnée, l ancienne donnée est lue), c est un module de données Rendez-vous (mais avec paramètres) -> peu utilisé car difficile à valider -> on recommandera l utilisation de 2 boîtes aux lettres

13 Communication par boîtes aux lettres: sans écrasement Non bornée (sans écrasement) ou bien bornée et bloquante en écriture queue

14 Communication par boîtes aux lettres : avec écrasement Bornée avec écrasement RT FIFO La RT FIFO est non bloquante en lecture

15 Communication par module de données HTR HTR T1 T2 Lire Ecrire M T1 VI non réentrant et registre à décalage M T2

16 La bibliothèque DARTSVIEW Synchronisation par Sémaphore Module d'encapsulation de données BAL non-bloquante BAL classique Polymorphisme Type (BAL classique) Polymorphisme Type (BAL non-bloquante)

17 Utilisation de DARTSVIEW

18 Conclusion & Perspectives DARTSVIEW permet simplement d implémenter à partir de la conception Utilisé en TP cette année Génération de code presque opérationnelle (C, Ada, niveau méta) Même si le langage cible est Ada ou C, facilite le cycle de vie de la Conception aux tests d intégration Spécification Conception préliminaire (SA-RT) (DARTS VIEW) Validation temporelle (LabVIEW RT) (LabVIEW) Test d'intégration Validation temporelle (DARTS VIEW) Conception détaillée (LabVIEW) Tests unitaires (LabVIEW) Conception détaillée (ADA ou C) Tests unitaires Codage (LabVIEW) Codage (ADA ou C)