Enforcing software engineering tools interoperability: An example with AADL subsets

Science of Computer Programming

Navet

2018

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).

Section: Related Work: Systematizing the Analysis Of Architectural Mmentioning

confidence: 99%

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Science of Computer Programming

Navet

2018

“…The two works in [2], [3] implement a similar approach to help choosing the analyses that can be executed on designoriented models. The idea is to check the prerequisites of a given analysis on the model before its execution.…”

Section: Background and Related Workmentioning

confidence: 99%

“…In [2], this is achieved through the formalization and verification of contexts defined for each analysis. In [3], the authors propose to check AADL subsets before applying an analysis. We note that the solutions are restricted to the MoSaRT language and AADL and only target real-time scheduling analyses.…”

Section: Background and Related Workmentioning

confidence: 99%

“…We observe that most of the present works focus either on the transformation aspects (i.e., providing solutions to switch from model-oriented to analysis-oriented frameworks) such as in [1], or partially consider the management aspects [2], [3]. In the latter cases, both the exploitation of analyses outcomes and the sequencing of analyses remain unaddressed.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Contract-Based Approach to Support Goal-Driven Analysis

2015 IEEE 18th International Symposium on Real-Time Distributed Computing

Navet

2015

Self Cite

Abstract-In the design of real-time systems, models are usual artifacts to capture and represent the various features of the system. They are later analyzed to check for their correctness. A key issue is to handle models and analyses in a systematic, consistent and efficient way. This paper presents an approach for the systematic and correct execution of analyses on real-time system models along with a proof-of-concept.The contribution aims at 1) directing the analyses targeting goals and 2) using contracts to reason about models, analyses and goals. An example of goal is to enrich a model with missing information or to obtain precise data to conclude about the system quality. In our approach, contracts are used to formally depict both the properties required and provided by the analyses ; but also models and goals. Through the concept of contracts, we identify all the feasible paths to execute the analyses in order to reach a goal.

“…Gaudel et al [29] addressed the interoperability between design models and analysis tools, introducing the notion of subset. They specified them as specific restrictions (so-called cardinality constraints) over the design-related meta-model and implemented them using a Domain-Specific Language (DSL).…”

Section: Handling Models Evolutionmentioning

confidence: 99%

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

2014

Self Cite

Abstract-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).