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 mailto [Université de Toulouse, Institut Supérieur de l'Aéronautique et de l'Espace (ISAE)]
Brau, Guillaume mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
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):

FileCommentaryVersionSizeAccess
Open access
ISORC2014-Hugues_Brau.pdfAuthor preprint258.95 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.