Painless support for static and runtime verification of component-based applications

Nuno Gaspar 1, 2 Ludovic Henrio 2, * Eric Madelaine 2
* Auteur correspondant
2 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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 reconfig-urations. 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
Fundamentals of Software Engineering (FSEN'2015), Apr 2015, Teheran, Iran. pp.15
Liste complète des métadonnées

https://hal.inria.fr/hal-01168757
Contributeur : Eric Madelaine <>
Soumis le : vendredi 26 juin 2015 - 14:54:47
Dernière modification le : mercredi 14 décembre 2016 - 01:07:08
Document(s) archivé(s) le : vendredi 9 octobre 2015 - 18:50:43

Fichier

FSEN2015-postproceedings.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01168757, version 1

Collections

Citation

Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Painless support for static and runtime verification of component-based applications. Fundamentals of Software Engineering (FSEN'2015), Apr 2015, Teheran, Iran. pp.15. <hal-01168757>

Partager

Métriques

Consultations de
la notice

104

Téléchargements du document

62