Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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.
Fichier principal
Vignette du fichier
bluesky.pdf (75.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01007674 , version 1 (17-06-2014)

Identifiants

  • HAL Id : hal-01007674 , version 1

Citer

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. ⟨hal-01007674⟩
781 Consultations
278 Téléchargements

Partager

Gmail Facebook X LinkedIn More