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

Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

doi:10.1016/j.scico.2017.12.007

Cited by 11 publications

(9 citation statements)

References 40 publications

(55 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In our integration approach [10], we aim at unifying these solutions in a more general framework and organize them according to a layered architecture: modeling, access, analysis and orchestration layers (see Section 3 for a more detailed presentation of the approach). Thus, previous related works can be seen as specific and separate implementations of these layers.…”

Section: Related Workmentioning

confidence: 99%

“…Complete experimental results with an evaluation of all the scheduling policies and running modes can be found in [10].…”

Section: From the Analysis Of Cpal Processes To The Definition Of Arimentioning

confidence: 99%

“…According to this BAG definition, the latency constraints expressed on the dataflows are met. Complete experimental results are available in [10,46].…”

Section: Iterative Definition Of the Bandwidth Allocation Gap From Thmentioning

confidence: 99%

“…In past contributions, we proposed a general approach to integrate the analysis of non-functional properties in Model-Driven Engineering for embedded systems [10]. Our approach is based on four application layers: (1) models to represent the system, (2) accessors to extract data from a model, (3) analyses to compute output data and/or properties from input data, (4) contracts to represent the analysis interfaces and orchestrate the analysis process.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

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

Brau

Navet

Hugues

2017

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

Self Cite

View full text Add to dashboard 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.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Complete experimental results with an evaluation of all the scheduling policies and running modes can be found in [10].…”

Section: From the Analysis Of Cpal Processes To The Definition Of Arimentioning

confidence: 99%

“…According to this BAG definition, the latency constraints expressed on the dataflows are met. Complete experimental results are available in [10,46].…”

Section: Iterative Definition Of the Bandwidth Allocation Gap From Thmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

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

Brau

Navet

Hugues

2017

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

Self Cite

View full text Add to dashboard Cite

show abstract

“…An adequate design model includes the application behavior with its partitioning into hardware-software components, the overall system architecture, and the mapping of the application to the system's architecture. Such a high-level model enables the analysis, the early verification of design, and estimations on the system's performance [3].…”

Section: Introductionmentioning

confidence: 99%

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Gioulekas

Poplavko

Katsaros

et al. 2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simulation or other means. The analysis results are then used for modifying the system's design, so that the expected properties are satisfied. A rigorous model-based design flow differs in that it aims at a system implementation derived from high-level models by applying a sequence of semantics-preserving transformations. Properties established at any design step are preserved throughout the subsequent steps including the executable implementation. We introduce such a design flow using a process network model of computation for application design at a high level, which combines streaming and reactive control processing with task parallelism. The schedulability of the so-called FPPNs (Fixed Priority Process Networks) is well-studied and various solutions have been presented. This article focuses on the design flow's steps for deriving executable implementations on the BIP (Behavior -Interaction -Priority) runtime environment. FPPNs are designed using the TASTE toolset, a convenient architecture description interface. In this way, the developers do not program explicitly low-level real-time OS services and the schedulability properties are guaranteed throughout the design steps by construction. The approach has been validated on the design of a real spacecraft on-board application that has been scheduled for execution on an industrial multicore platform.

show abstract

Model‐based architecting evaluation method for the delivery of complex nuclear projects

Bourdon

Couturier

Chapurlat

et al. 2023

Systems Engineering

View full text Add to dashboard Cite

Facing the organizational and technological complexity of nuclear infrastructures (NI), the public reluctance in nuclear technology and the increasing restrictive regulatory environment, improving the conceptualization and evaluation of NI architecture is crucial for the successful completion of NI projects. Indeed, many technical engineering difficulties or delays in delivery can be avoided by deepening the design and evaluation of NI architectures. In a context where model‐based systems engineering (MBSE) is becoming more and more relevant, it is interesting to integrate evaluation into this process. Although the architecture evaluation (AE) process is rather well defined in the literature and linked to system analysis practices, it is quite difficult to deploy and pilot within complex NI projects. This article proposes a model‐based method, EVAluation for Critical Infrastructure Model Based System Engineering (EVA‐CIME), to facilitate the deployment of AE processes on a project. The components of this method are described and illustrated in a study of a NI design. The benefits and limitations of EVA‐CIME in its state of development are discussed and lead to the conclusion that the method should be extended to foster an AE culture within the company itself.

show abstract

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

Cited by 11 publications

References 40 publications

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

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

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine

Model‐based architecting evaluation method for the delivery of complex nuclear projects

Contact Info

Product

Resources

About