Article (Scientific journals)
Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems
Brau, Guillaume; Navet, Nicolas; Hugues, Jérôme
2018In Science of Computer Programming, 156, p. 1-20
Peer Reviewed verified by ORBi
 

Files


Full Text
scp_v2.3_final.pdf
Author preprint (656.32 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Model-Based Systems Engineering; Non-functional properties; Analysis contracts; Real-time scheduling; Architecture Description Languages
Abstract :
[en] The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results?} This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL).
Disciplines :
Computer science
Author, co-author :
Brau, Guillaume ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Navet, Nicolas ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Hugues, Jérôme
External co-authors :
yes
Language :
English
Title :
Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems
Publication date :
01 May 2018
Journal title :
Science of Computer Programming
ISSN :
0167-6423
Publisher :
Elsevier Science
Volume :
156
Pages :
1-20
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 14 January 2018

Statistics


Number of views
120 (9 by Unilu)
Number of downloads
504 (7 by Unilu)

Scopus citations®
 
10
Scopus citations®
without self-citations
9
WoS citations
 
9

Bibliography


Similar publications



Contact ORBilu