Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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.
Fichier principal
Vignette du fichier
facs2013.pdf (494.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00916115 , version 1 (09-12-2013)

Identifiants

  • HAL Id : hal-00916115 , version 1

Citer

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⟩
225 Consultations
354 Téléchargements

Partager

Gmail Facebook X LinkedIn More