• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & 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
Conference Paper
Title

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  
Mainwork
Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018. Pt.4: Industrial practice  
Conference
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2018  
DOI
10.1007/978-3-030-03427-6_36
Language
English
Fraunhofer-Institut für Software- und Systemtechnik ISST  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024