Synchronous Interfaces and Assume/Guarantee Contracts

Albert Benveniste 1 Benoît Caillaud 1
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In this short note, we establish a link between the theory of Moore Interfaces proposed in 2002 by Chakraborty et al. as a specification framework for synchronous transition systems, and the Assume/Guarantee contracts as proposed in 2007 by Benveniste et al. as a simple and flexible contract framework. As our main result we show that the operation of saturation of A/G contracts (namely the mapping (A, G) → (A, G∨¬A)), which was considered a drawback of this theory, is indeed implemented by the Moore Game of Chakraborty et al. We further develop this link and come up with some remarks on Moore Interfaces.
Type de document :
Chapitre d'ouvrage
Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. 〈10.1007/978-3-319-63121-9_12〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01616369
Contributeur : Benoît Caillaud <>
Soumis le : vendredi 13 octobre 2017 - 15:40:02
Dernière modification le : mercredi 16 mai 2018 - 11:24:13
Document(s) archivé(s) le : dimanche 14 janvier 2018 - 14:07:40

Fichier

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

Identifiants

Citation

Albert Benveniste, Benoît Caillaud. Synchronous Interfaces and Assume/Guarantee Contracts. Luca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. 〈10.1007/978-3-319-63121-9_12〉. 〈hal-01616369〉

Partager

Métriques

Consultations de la notice

825

Téléchargements de fichiers

76