Using component-based software synthesis and constraint solving to generate sets of manufacturing simulation models
Autor: | Carina Mieth, Anne Meyer, Fadil Kallat, Jakob Rehof |
---|---|
Přispěvatelé: | Publica |
Jazyk: | angličtina |
Rok vydání: | 2020 |
Předmět: |
Flexibility (engineering)
0209 industrial biotechnology Mathematical optimization Computer science Simulation modeling 02 engineering and technology 010501 environmental sciences 01 natural sciences Constraint (information theory) Set (abstract data type) 020901 industrial engineering & automation visual_art Component (UML) visual_art.visual_art_medium General Earth and Planetary Sciences Production (economics) Sheet metal Selection (genetic algorithm) 0105 earth and related environmental sciences General Environmental Science |
Zdroj: | Procedia CIRP |
Popis: | There is a high degree of flexibility in the design of production systems when it comes to the selection and configuration of machines. Simulation supports this complex decision process. However, modeling various configurations in a simulation environment is very time-consuming. We present a framework that includes component-based software synthesis to generate the set of all possible simulation models for the respective planning case. From the set, feasible solutions for a simulation study are then selected using constraint solving methods. We evaluate our approach using a practical example from sheet metal production. |
Databáze: | OpenAIRE |
Externí odkaz: |