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.
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

Littérature citée [14 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00916115
Contributeur : Nuno Gaspar <>
Soumis le : lundi 9 décembre 2013 - 23:00:37
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
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 | 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. 2013. 〈hal-00916115〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

505

Téléchargements de fichiers

219

Contact


archive-ouverte@inria.fr