Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications

Damien Cassou 1, 2, * Emilie Balland 1 Charles Consel 1, 3 Julia Lawall 4, 5
* Auteur correspondant
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
4 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria de Paris
Abstract : A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of behavioral contract that expresses the set of allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for the domain of Sense/Compute/Control applications, and describe associated compilation and verification strategies.
Type de document :
Communication dans un congrès
ICSE'11 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. ACM, ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, pp.431-440, 2011, 〈10.1145/1985793.1985852〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00537789
Contributeur : Damien Cassou <>
Soumis le : mardi 13 septembre 2011 - 13:42:27
Dernière modification le : lundi 29 mai 2017 - 14:21:47
Document(s) archivé(s) le : lundi 5 décembre 2016 - 04:25:06

Fichiers

icse2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall. Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. ICSE'11 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. ACM, ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, pp.431-440, 2011, 〈10.1145/1985793.1985852〉. 〈inria-00537789v2〉

Partager

Métriques

Consultations de
la notice

574

Téléchargements du document

295