A Contract-Based Approach to Support Goal-Driven Analysis

Science of Computer Programming

2018

Self Cite

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: Contractsmentioning

confidence: 99%

“…As disadvantages, the use of Alloy requires a minimal expertise to define the contracts and, possibly, adjust manually the resolution scope of the SAT solver. More exhaustive experimental results are presented in [61]. 24…”

mentioning

confidence: 99%

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

Brau

Hugues

Science of Computer Programming

2018

Self Cite

“…This module orchestrates the analysis process by taking into account three parameters: (1) input models, (2) the repository of analysis, and (3) the analysis goals. The orchestration relies on the core concept of contract introduced in [28]. A contract completely defines the interfaces of an analysis in terms of processed data and properties:…”

Section: Overview Of the Integration Approachmentioning

confidence: 99%

“…ensures that if there is an analysis path that can fulfill a goal, it will necessarily be found (see [28]). …”

Section: Overview Of the Integration Approachmentioning

confidence: 99%

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Brau

Proceedings of the 25th International Conference on Real-Time Networks and Systems

Hugues

2017

Self Cite

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Heterogeneous models and analyses in the design of realtime embedded systems -an avionic case-study. (2017) ABSTRACTThe development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as timing properties, on the other hand. Yet, the coupling between models and analyses remains largely disregarded so far: e.g. how to apply an analysis on a model? How to manage the analysis process? This paper presents an application of our research on this topic. In particular, we show that our approach makes it possible to combine heterogeneous models and analyses in the design of an avionic system. We use two languages to model the system at different levels of abstraction: the industry standard AADL (Architecture Analysis and Design Language) and the more recent implementation-oriented CPAL language (Cyber-Physical Action Language). We then combine different real-time scheduling analyses so as to gradually define the task and network parameters and finally validate the schedulability of all activities of the system.

“…Most CPS are, to some extent, subject to dependability constraints, which implies the use of verification techniques such as analytic and simulation models, and fault injection be it on models, prototypes or the deployed systems. A central challenge today in MDE is to make it possible to seamlessly integrate the verification activity within the design flow [1] and to fully, or partially, automate it. In the development of CPS with dependability constraints, a key dependability assessment technique is fault injection [2], which can be implemented both in hardware and software, the latter being the focus of the paper.…”

Section: A Context Of the Studymentioning

confidence: 99%

Software patterns for fault injection in CPS engineering

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

Bertolotti

2017

Self Cite

Abstract-Software fault injection is a powerful technique to evaluate the robustness of an application and guide in the choice of fault-tolerant mechanisms. It however requires a lot of time and know-how to be properly implemented, which severely hinders its applicability. We believe software fault injection can be made more "affordable" by automating it and have it integrated within a model-driven engineering design flow. We first propose in this paper a framework supporting these objectives. Then, illustrating on the domain-specific language CPAL, we present injection patterns that can be embedded in the application code and discuss the types of faults each supports, as well as implementation issues.