| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World
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.
Cited literature [14 references]
https://hal.inria.fr/hal-00916115
Contributor : Nuno Gaspar Connect in order to contact the contributor
Submitted on : Monday, December 9, 2013 - 11:00:37 PM
Last modification on : Thursday, January 20, 2022 - 4:13:30 PM
Long-term archiving on: : Sunday, March 9, 2014 - 11:56:04 PM
Contributor : Nuno Gaspar Connect in order to contact the contributor
Submitted on : Monday, December 9, 2013 - 11:00:37 PM
Last modification on : Thursday, January 20, 2022 - 4:13:30 PM
Long-term archiving on: : Sunday, March 9, 2014 - 11:56:04 PM
File
facs2013.pdf
Files produced by the author(s)