Towards a Formal Description of Reference Architectures for Embedded Systems

Milena Guessi 1, 2 Lucas Bueno Ruas de Oliveira 2 Lina Garcés 3, 2 Flavio Oquendo 2
2 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Reference architectures systematize and standardize the development of software systems and, hence, contribute for the reuse of design expertise on a specific domain. An adequate architectural description for reference architectures is essential for their effective use and dissemination. Nonetheless, previous studies have pointed out that the architecture description of reference architectures often presents only informal, textual descriptions, which are ambiguity prone. The main purpose of this study is to discuss directions for a precise, comprehensive description which can support the specification, analysis, and realization of reference architectures. To do so, we investigate which and how formal methods could be introduced for describing reference architectures. Considering that components can be used for realizing reference architectures, we also investigate how they could be expressed in such a formal description. In particular, we focus on embedded systems due to the sophistication required for systems in this domain. With this study, we intend to contribute to the reference architecture community with directions for promoting a formal, precise architectural description.
Type de document :
Communication dans un congrès
1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA 2015), May 2015, Montreal, Canada. pp.17-20
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01432704
Contributeur : Milena Guessi Margarido <>
Soumis le : jeudi 12 janvier 2017 - 02:19:09
Dernière modification le : mercredi 16 mai 2018 - 11:24:04

Identifiants

  • HAL Id : hal-01432704, version 1

Citation

Milena Guessi, Lucas Bueno Ruas de Oliveira, Lina GarcÉs, Flavio Oquendo. Towards a Formal Description of Reference Architectures for Embedded Systems. 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA 2015), May 2015, Montreal, Canada. pp.17-20. 〈hal-01432704〉

Partager

Métriques

Consultations de la notice

236