Relaxing B Sharing Restrictions within CSP||B - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2010

Relaxing B Sharing Restrictions within CSP||B

Résumé

This paper addresses the issue of state sharing in CSP||B specifications: B machines controlled by various CSP parts are supposed not to refer to, share or modify the same state space. However, some kinds of B state sharing can be allowed without creating inconsistencies in CSP||B specifications. To achieve this, we present an approach where inconsistencies in state sharing can be identified by translating the CSP controllers to B specifications and then using a more refined consistency checking process.
Fichier principal
Vignette du fichier
relaxing-cspb-sharing.pdf (356.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00495769 , version 1 (28-06-2010)

Identifiants

  • HAL Id : hal-00495769 , version 1

Citer

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez. Relaxing B Sharing Restrictions within CSP||B. 2010. ⟨hal-00495769⟩
125 Consultations
123 Téléchargements

Partager

Gmail Facebook X LinkedIn More