HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01432704
Contributor : Milena Guessi Margarido Connect in order to contact the contributor
Submitted on : Thursday, January 12, 2017 - 2:19:09 AM
Last modification on : Tuesday, October 19, 2021 - 11:58:57 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

200