Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World

Nuno Gaspar 1 Ludovic Henrio 1 Eric Madelaine 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The modularity offered by component-based systems made it one of the most employed paradigms in software engineering. Precise structural specification is a key ingredient that enables their verification and consequently their reliability. This gains special relevance for reconfigurable component-based systems. To this end, the Grid Component Model (GCM) provides all the means to define such reconfigurable component-based applications. In this paper we report our experience on the formal specification and verification of a reconfigurable GCM application as an industrial case study.
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download
https://hal.inria.fr/hal-00916115
Contributor : Nuno Gaspar <>
Submitted on : Monday, December 9, 2013 - 11:00:37 PM
Last modification on : Monday, February 11, 2019 - 10:10:04 AM
Long-term archiving on : Sunday, March 9, 2014 - 11:56:04 PM

File

facs2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00916115, version 1

Collections

INRIA | I3S | UNICE | UNIV-COTEDAZUR

Citation

Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World. The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China. ⟨hal-00916115⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

530

Files downloads

283

Contact


archive-ouverte@inria.fr