Ensuring Reachability by Design

Benoît Caillaud 1 Jean-Baptiste Raclet 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This paper studies the independent implementability of reachability properties, which are in general not compositional. We consider modal specifications, which are widely acknowledged as suitable for abstracting implementation details of components while exposing to the environment relevant information about cross-component interactions. In order to obtain the required expressivity, we extend them with marked states to model states to be reached. We then develop an algebra with both logical and structural composition operators ensuring reachability properties by construction.
Type de document :
Communication dans un congrès
Abhik Roychoudhury and Meenakshi D'Souza. Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Sep 2012, Bangalore, India. Springer, 7521, pp.213-227, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32943-2_17〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00766735
Contributeur : Benoît Caillaud <>
Soumis le : mardi 18 décembre 2012 - 17:37:48
Dernière modification le : vendredi 16 novembre 2018 - 01:22:15

Lien texte intégral

Identifiants

Citation

Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. Abhik Roychoudhury and Meenakshi D'Souza. Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Sep 2012, Bangalore, India. Springer, 7521, pp.213-227, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32943-2_17〉. 〈hal-00766735〉

Partager

Métriques

Consultations de la notice

1080