References of "Brau, Guillaume Sylvain Denis 1120149510"
     in
Bookmark and Share    
Full Text
See detailIntegration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems
Brau, Guillaume Sylvain Denis UL

Doctoral thesis (2017)

The engineering of embedded systems relies on two complementary activities: modeling on the one hand enables to represent the system, analysis on the other hand makes it possible to evaluate the various ... [more ▼]

The engineering of embedded systems relies on two complementary activities: modeling on the one hand enables to represent the system, analysis on the other hand makes it possible to evaluate the various non-functional properties (for example, temporal properties with the real-time scheduling analysis). This thesis deals with the integration between these models and analyses: how to apply an analysis on a model? How to manage the analysis process? The first part of this thesis presents a comprehensive approach to answer these questions. This 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. The second part of this thesis deals with the experimentation of this approach with concrete systems coming from the aerospace: a drone, an exploratory robot and a flight management system. We demonstrate that the accessors enable to apply various real-time scheduling analyses on heterogeneous architectural models, for example written with the industry standard AADL (Architecture Analysis and Design Language) or the new time-triggered language CPAL (Cyber-Physical Action Language). In addition, contracts make it possible to automate complex analysis procedures: which analysis can be applied on a given model? Which are the analyses that meet a given goal? Are there analyses to be combined? Are there interferences between analyses? Etc. [less ▲]

Detailed reference viewed: 78 (13 UL)