Skip to Main content Skip to Navigation
New interface
Conference papers

Ensuring Reachability by Design

Benoît Caillaud 1 Jean-Baptiste Raclet 2, 3 
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00766735
Contributor : Benoît Caillaud Connect in order to contact the contributor
Submitted on : Tuesday, December 18, 2012 - 5:37:48 PM
Last modification on : Monday, July 4, 2022 - 9:24:51 AM

Links full text

Identifiers

Citation

Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227, ⟨10.1007/978-3-642-32943-2_17⟩. ⟨hal-00766735⟩

Share

Metrics

Record views

181