Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones - Université Grenoble Alpes Access content directly
Conference Papers Year : 2014

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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01007674 , version 1

Cite

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⟩
760 View
266 Download

Share

Gmail Facebook Twitter LinkedIn More