Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
facs2013.pdf (494.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00916115 , version 1

Cite

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 View
331 Download

Share

Gmail Facebook Twitter LinkedIn More