HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

How to Verify and Exploit a Refinement of Component-based Systems

Olga Kouchnarenko 1 Arnaud Lanoix 2, 3
1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In order to deal with the verification of large systems, compositional approaches postpone in part the problem of combinatorial explosion during model exploration. The purpose of the work we present in this paper is to establish a compositional framework in which the verification may proceed through a refinement-based specification and a component-based verification approaches. A constraint synchronised product operator enables us 1) an automated compositional verification of a component-based system refinement relation, and 2) safety LTL properties of a whole system from local safety LTL properties of its components. The main advantage of our specification and verification approaches is that LTL properties are preserved through composition and refinement.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00110527
Contributor : Arnaud Lanoix Connect in order to contact the contributor
Submitted on : Monday, October 30, 2006 - 3:26:00 PM
Last modification on : Friday, February 4, 2022 - 3:14:13 AM

Identifiers

  • HAL Id : inria-00110527, version 1

Collections

INRIA | CNRS | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE | INRIA2

Citation

Olga Kouchnarenko, Arnaud Lanoix. How to Verify and Exploit a Refinement of Component-based Systems. Sixth International Andrei Ershov Memorial Conference Perspectives Of System Informatics (PSI'06), 2006, Novosibirsk, Akademgorodok, Russia, France. pp.457-469. ⟨inria-00110527⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

84

 

Contact                    Legal Notice                    Personal Data