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 , 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.
Type de document :
Communication dans un congrès
The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00916115
Contributeur : Nuno Gaspar <>
Soumis le : lundi 9 décembre 2013 - 23:00:37
Dernière modification le : mardi 10 décembre 2013 - 08:32:07
Document(s) archivé(s) le : dimanche 9 mars 2014 - 23:56:04

Fichier

facs2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00916115, version 1

Collections

INRIA | I3S | UNICE

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. 2013. <hal-00916115>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

395

Téléchargements du document

182

Contact


archive-ouverte@inria.fr