A Model-based Synthesis approach to system design correct by construction under environmental impact requirements
Pierre‐Alain Yvars, Laurent Zimmer · Procedia CIRP · 2021
This paper presents an integrated approach for the preliminary design of complex systems and for the generation of correct by construction system architectures with respect to the requirements to be satisfied. These requirements can be functional and/or non-functional (safety, sustainability ...). The approach presented is complementary to the usual approaches based on system analysis, performance evaluation and optimization. It focuses on the simultaneous consideration of functional and non-functional requirements such as environmental impact. The originality of the approach consists in modeling the design problem rather than the system and then solving the problem in such a way as to obtain necessarily admissible solutions. The DEPS (Design Problem Specification) language is used for modeling the problem. DEPS models are generic and reusable. The DEPS Studio environment is used to edit, compile, debug and solve problems expressed in DEPS. It integrates a mixed constraint programming solver. A case-study of a design of a mechanical power transmission system under functional and environmental requirements illustrates the approach. The DEPS modeling, the problem solving and the results obtained are detailed.