Skip to Main content Skip to Navigation
Conference papers

Painless Support for Static and Runtime Verification of Component-Based Applications

Abstract : Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components.In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive — a middleware for distributed programming. This is achieved by building on top of Mefresa, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, January 26, 2017 - 10:43:39 AM
Last modification on : Tuesday, December 7, 2021 - 4:10:52 PM
Long-term archiving on: : Friday, April 28, 2017 - 7:43:37 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Painless Support for Static and Runtime Verification of Component-Based Applications. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩. ⟨hal-01168757v2⟩



Les métriques sont temporairement indisponibles