Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic

: Winkels, Jan; Graefenstein, Julian; Schäfer, Tristan; Scholz, David; Rehof, Jakob; Henke, Michael


Margaria-Steffen, T.:
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice : Limassol, Cyprus, November 5-9, 2018; Proceedings
Cham: Springer International Publishing, 2018 (Lecture Notes in Computer Science 11247)
ISBN: 978-3-030-03426-9 (Print)
ISBN: 978-3-030-03427-6 (Online)
ISBN: 3-030-03426-7
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) <8, 2018, Limassol>
Fraunhofer ISST ()

Increasing competition, stronger customer focus, shorter product lifecycles and accelerated technological developments imply that companies are faced with the challenge of adapting their own production to the circumstances at ever shorter intervals. The factory planning project is becoming increasingly complex, but there is less and less time available for adaptation. Particularly in the initial planning phase, targets are defined without reliable planning information for the further course, which have far-reaching consequences for the outcome of a successful planning. This paper shows a possibility to generate meaningful solution alternatives at an early stage of the target planning in order to enable an efficient planning process in terms of time and costs. With the help of a constraint-based variant compilation on the basis of previously defined target and frame parameters as well as existing information on the current factory system, various possible solution variants for target planning are to be created. A specific use case scenario was used to develop and test the presented methodology. By comparing combinations of the most diverse possible solutions, the use of a combinatory logic approach enables the first rough and plausible solution variants to be generated automatically, on the basis of which the detailed planning process for achieving the determined solution variant can be created. This way, planning bottlenecks due to the wrong choice of variants as well as large time expenditure for the creation of solution variants can be avoided.