Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems
| Autor: | Nicolas Navet, Jérôme Hugues, Guillaume Brau |
|---|---|
| Přispěvatelé: | Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), University of Luxembourg (LUXEMBOURG) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
AADL
Computer science Non functional Scheduling Analysis 02 engineering and technology Key issues Architecture Description Languages Scheduling (computing) 0202 electrical engineering electronic engineering information engineering Predictability Model based engineering Scheduling theory Model-Based Systems Engineering Non-functional properties Computer science [C05] [Engineering computing & technology] business.industry Architecture Analysis & Design Language Model-based systems engineering Real-time scheduling 020207 software engineering Sciences informatiques [C05] [Ingénierie informatique & technologie] Systèmes embarqués Embedded system 020201 artificial intelligence & image processing Analysis contracts Contract business Software |
| Zdroj: | Science of Computer Programming, 156, 1-20. Elsevier Science (2018). |
| Popis: | 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). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|