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.
Type de document :
Communication dans un congrès
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.259-274, 2015, Fundamentals of Software Engineering. <10.1007/978-3-319-24644-4_18>
Liste complète des métadonnées

https://hal.inria.fr/hal-01446604
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:39
Dernière modification le : vendredi 27 janvier 2017 - 01:04:34

Fichier

 Accès restreint
Fichier visible le : 2018-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Painless Support for Static and Runtime Verification of Component-Based Applications. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.259-274, 2015, Fundamentals of Software Engineering. <10.1007/978-3-319-24644-4_18>. <hal-01446604>

Partager

Métriques

Consultations de la notice

69