Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones

Résumé : Les automatismes industriels et domestiques sont fréquemment mis en oeuvre au moyen de contrôleurs logiques programmables (CLP), qui exécutent en mode synchrone des applications embarquées interagissant avec leur environnement. En combinant plusieurs CLP qui opèrent indépendamment et communiquent à travers un réseau, il est possible de réaliser des automatismes plus élaborés, de type GALS (Globally Asynchronous, Locally Synchronous). Pour assurer une conception correcte des systèmes GALS, qui est difficile à cause de la présence simultanée des aspects synchrones et asynchrones, nous proposons dans cet article une méthodologie rigoureuse, basée sur des méthodes formelles et des techniques de validation automatique (test et vérification) issues des paradigmes synchrone et asynchrone.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102, 2014
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

http://hal.univ-grenoble-alpes.fr/hal-01007674
Contributeur : Christophe Deleuze <>
Soumis le : mardi 17 juin 2014 - 07:23:32
Dernière modification le : mercredi 29 novembre 2017 - 10:14:55
Document(s) archivé(s) le : mercredi 17 septembre 2014 - 10:45:56

Fichier

bluesky.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01007674, version 1

Citation

Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, et al.. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102, 2014. 〈hal-01007674〉

Partager

Métriques

Consultations de la notice

587

Téléchargements de fichiers

325