Andreas Löcklin

Abstract

Due to the increasing agility in the development process, shorter life cycles, and changing customer and legislator requirements, production systems must be adaptable. In addition to the ability to react flexibly to changing production requirements, the behavior of the production system must be reassured after a change. Formal verification methods are suitable for safeguarding safety-critical functions. However, this requires a high modeling effort, which inhibits the use of formal verification methods in practice. For reliable verification results, the quality and correctness of the models is decisive. Therefore, it is reasonable to analyze the underlying models. This paper presents two promising and mutually complementing approaches for the lifecycle-spanning safeguarding of production systems to overcome the challenges for the verification that a reconfiguration of the production systems brings with it during operation.

Abstract

Manufacturing individual products requires individual production. To implement the production of unique products with traditional engineering approaches is thoroughly complex. Therefore, decentralized production systems on the basis of cyber physical systems (CPS) promise a realization schema and thereby, the reduction of the overall systems’ complexity. Cyber physical systems are rather more complex in communication, time requirements and coordination, but are less complex from a modularization point of view and enable new ways of diagnosis and maintenance. The digitalization of production and new concepts of Industry 4.0 enable direct machine to machine communication, exchange of information and making of common decisions. An approach for future manufacturing in which individual products are scheduled incrementally is presented in this paper. In the presented approach, the product invites itself production resources to offer process steps in an auction. The product automatically ranks the offers according to requirements which are predefined by the customer. The best bids are asked to optimize their offers within a negotiation process. To evaluate our approach, a software-agent based demonstrator was implemented.