Raffinement de protocoles de communication par transformation de modèle - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Raffinement de protocoles de communication par transformation de modèle

Pascal Andre
Antoine Guérin
  • Fonction : Auteur
  • PersonId : 1282477
Anthony Rozen
  • Fonction : Auteur
  • PersonId : 1282478
Alexandre Gicquel
  • Fonction : Auteur
  • PersonId : 1282479

Résumé

Logiciel et communication par les réseaux sont devenus incontournables dans les systèmes cyberphysiques et les systèmes réactifs. Capteurs, actionneurs et contrôle peuvent être distribués (exemple de l'IoT ou du pilotage d'ateliers de production). Par ailleurs, du point de vue du développement mais aussi de la maintenance des logiciels, on se doit d'être réactifs vis-à-vis des perturbations liées à de nouveaux besoins, des défaillances ou des contraintes techniques et proposer rapidement de nouvelles versions logicielles. A MSR 2019, nous avions proposé une piste basée sur l'ingénierie des modèles pour la vérification des propriétés et l'automatisation du développement par transformations successives (raffinement) pour raccourcir le cycle de développement et de maintenance. Dans cet article, nous nous focalisons sur le raffinement des communications entre objets Nous expérimentons d'abord divers protocoles sur notre étude de cas revue, une introspection nous permet de poser les bases d'une couche communication qui nous permette de nous abstraire des implantations de protocoles de communication. Nous pouvons alors envisager une traduction assistée des modèles vers les plateformes cibles via une transformation de modèle d'envoi de message. Pour réaliser les expérimentations, les programmes sont déployés sur le robot Lego Mindstorm EV3 et pour Android. Cette approche peut être appliquée dans d'autres contextes.
Fichier principal
Vignette du fichier
MSR_2021_paper_10.pdf (3.96 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04203186 , version 1 (11-09-2023)

Licence

Domaine public

Identifiants

  • HAL Id : hal-04203186 , version 1

Citer

Pascal Andre, Antoine Guérin, Anthony Rozen, Alexandre Gicquel. Raffinement de protocoles de communication par transformation de modèle. 13ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'21), CNAM, Sep 2021, Paris, France. ⟨hal-04203186⟩
32 Consultations
16 Téléchargements

Partager

More