Model Checking of Integratively Designed Product and Production Systems

EasyChair Preprint 1529

Abstract

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, SysML, Systems Engineering, model checking

@booklet{EasyChair:1529,
  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 1529},
  year      = {EasyChair, 2019}}