Reference : Analysis as a first-class citizen: an application to Architecture Description Languages |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Engineering, computing & technology : Computer science | |||
http://hdl.handle.net/10993/17735 | |||
Analysis as a first-class citizen: an application to Architecture Description Languages | |
English | |
Hugues, Jérôme ![]() | |
Brau, Guillaume ![]() | |
Sep-2014 | |
Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) | |
IEEE | |
214-221 | |
Yes | |
International | |
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) | |
10-12 June 2014 | |
Reno | |
NV, United States | |
[en] Architecture Description Languages ; Analysis ; AADL | |
[en] Architecture Description Languages (ADLs) support modeling and analysis of systems through models transformation and exploration. Various contributions made proposals to bring verification capabilities to designers through model-based frameworks and illustrated benefits to the overall system quality.
Model-level analyses are usually performed as an exogenous, unidirectional and semantically weak transformation towards a third-party model. We claim such process can be incomplete and/or inefficient because gathered results lead to evolution of the primary model. This is particularly problematic for the design of Distributed Real-Time Embedded (DRE) systems that has to tackle many concerns like time, security or safety. In this paper, we argue why analysis should no longer be considered as a side step in the design process but, rather, should be embedded as a first-class citizen in the model itself. We review several standardized architecture description languages, which consider analysis as a goal. As an element of solution, we introduce current work on the definition of a language dedicated to the analysis of models within the scope of one particular ADL, namely the Architecture Analysis and Design Language (AADL). | |
http://hdl.handle.net/10993/17735 | |
10.1109/ISORC.2014.60 | |
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6899152 | |
This is an authors preprint version. The publisher version is available at : http://ieeexplore.ieee.org |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.