• English
  • Deutsch
  • Log In
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic
 
  • Details
  • Full
Options
2018
Konferenzbeitrag
Titel

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

Abstract
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.
Author(s)
Winkels, Jan
Graefenstein, Julian
Schäfer, Tristan
Scholz, David
Rehof, Jakob
Fraunhofer-Institut für Software- und Systemtechnik ISST
Henke, Michael
Hauptwerk
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice
Konferenz
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2018
Thumbnail Image
DOI
10.1007/978-3-030-03427-6_36
Language
Englisch
google-scholar
ISST
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022