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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01168757
Contributor : Hal Ifip <>
Submitted on : Thursday, January 26, 2017 - 10:43:39 AM
Last modification on : Monday, February 11, 2019 - 10:10:02 AM
Long-term archiving on : Friday, April 28, 2017 - 7:43:37 AM

File

978-3-319-24644-4_18_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

566

Files downloads

162