Séminaire de Pierre-Alain YVARS, SD, 17/02/2022

Nous avons le plaisir d’annoncer le séminaire de

Pierre-Alain YVARS, portant sur "Model Based System Synthesis", thème Systemes durables

le 17/02 à 13h15 via Teams.

Résumé :

The seminar is dedicated to the Model Based System Synthesis (MBSS) approach for the design of complex systems that are correct by construction. MBSS proposes to represent the global design problem using a problem representation language and then to solve it by using adapted synthesis tools producing one or several solutions necessarily satisfying the expressed requirements. After presenting the different categories of problems encountered in system design, the main concepts of MBSS will be detailed in order to understand the specific representation needs of the approach. The structural and behavioral notions related to the sub-definite systems will be explained as well as the links to be established with the functional and non-functional requirements. The approach is illustrated using the DEPS design problem specification language and the DEPS Studio modeling and solving tool. DEPS is a formal and declarative language of properties. It combines structural modeling features specific to object-oriented principles and ontology definition capabilities for engineers with problem specification features from constraint programming. DEPS Studio is an integrated modeling and solving environment designed to model and resolve system synthesis problems. It allows the engineer to edit, compile, debug and solve problems expressed in DEPS. It integrates a mixed constraint programming solver. The approach can be applied on physical systems, software intensive or mixed systems (embedded or cyber-physical)

Keywords : Model-based approach, System Synthesis, constraint programming, sub-definite system

 

 

Model Based System Synthesis

Pierre-Alain YVARS
Systèmes Durables