| 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  [Université de Toulouse, Institut Supérieur de l'Aéronautique et de l'Espace (ISAE)] | |
| Brau, Guillaume [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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.
