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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
390 Consultations
656 Téléchargements

Partager

  • More