GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)

Fatma Jebali 1, * Frédéric Lang 1, * Radu Mateescu 1, *
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Un système GALS (Globalement Asynchrone, Localement Synchrone) est composé d'un ensemble de sous-systèmes synchrones qui s'exécutent de manière concurrente suivant un schéma de communication asynchrone. De tels systèmes impliquent un haut degr'de concurrence synchrone et asynchrone, ce qui rend difficile la conception et le débogage des applications à cause du non-déterminisme des communications. L'intégration des méthodes formelles dans la procédure de conception aide les concepteurs à maîtriser cette complexité et à garantir la sûreté de ces systèmes, souvent critiques. Ce rapport présente GRL(GALS Representation Language), un nouveau langage formel pour la spécification des systèmes GALS afin de les vérifier formellement, pour rendre le processus de conception sûr et efficace. GRL possède une syntaxe conviviale, proche des langages de programmation classiques, et une sémantique opérationnelle qui combine le modèle synchrone inspiré de la programmation par flot de données et le modèle asynchrone inspiré des algèbres de processus.
Type de document :
Rapport
[Research Report] RR-8527, INRIA. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-00983711
Contributeur : Fatma Jebali <>
Soumis le : mardi 16 septembre 2014 - 13:42:41
Dernière modification le : samedi 17 septembre 2016 - 01:38:24
Document(s) archivé(s) le : mercredi 17 décembre 2014 - 10:56:46

Fichier

RR-v34.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00983711, version 3

Collections

Citation

Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics). [Research Report] RR-8527, INRIA. 2014. 〈hal-00983711v3〉

Partager

Métriques

Consultations de
la notice

645

Téléchargements du document

201