Ensuring Reachability by Design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Ensuring Reachability by Design

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.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00766735 , version 1 (18-12-2012)

Identifiers

  • HAL Id : hal-00766735 , version 1

Cite

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. ⟨hal-00766735⟩
184 View
0 Download

Share

Gmail Facebook X LinkedIn More