Painless Support for Static and Runtime Verification of Component-Based Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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

Résumé

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.
Fichier principal
Vignette du fichier
978-3-319-24644-4_18_Chapter.pdf (620.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01168757 , version 1 (26-06-2015)
hal-01168757 , version 2 (26-01-2017)

Licence

Paternité

Identifiants

Citer

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⟩
604 Consultations
209 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More