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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...