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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-01007674
Contributor : Christophe Deleuze <>
Submitted on : Tuesday, June 17, 2014 - 7:23:32 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Long-term archiving on : Wednesday, September 17, 2014 - 10:45:56 AM

File

bluesky.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01007674⟩

Share

Metrics

Record views

867

Files downloads

389