Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00766735
Contributor : Benoît Caillaud <>
Submitted on : Tuesday, December 18, 2012 - 5:37:48 PM
Last modification on : Wednesday, June 16, 2021 - 3:35:08 AM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

1747