Download PDFOpen PDF in browser

Model Checking of Integratively Designed Product and Production Systems

EasyChair Preprint no. 1529

10 pagesDate: September 16, 2019


Short product life cycles and the associated shortening of production periods require an integrative design of the product and production system. This paper presents a methodological approach for linking integrative design, model-based systems engineering and model checking. This approach supports the integrative development of product and production systems by formal description in the early design phases. Based on the example of a pedelec and the associated production system, model checking is used to verify the behavior of the production system fully automated with respect to specified requirements regarding the production process. The formalized description with SysML supports this automated analysis of the integrative models by a common semantic and syntax. The methodological approach has been evaluated comprehensively based on different product variants of the application example and on different configurations of the production system.

Keyphrases: Concurrent Engineering, model checking, SysML, Systems Engineering

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Sergej Japs and Rik Rasor and Lydia Kaiser and Roman Dumitrescu},
  title = {Model Checking of Integratively Designed Product and Production Systems},
  howpublished = {EasyChair Preprint no. 1529},

  year = {EasyChair, 2019}}
Download PDFOpen PDF in browser