Start / Publications / Cyber-physical manufacturing system development: ...

Cyber-physical manufacturing system development: A test-driven design method and exploratory case study

Georg Hackenberg and Jakob Mund

5th International Conference on Mechatronics and Control Engineering , 14-17 December 2016

manufacturing system system engineering system design system verification system validation

Abstract

Today, manufacturing engineering companies still struggle developing cyber-physical solutions. Studies suggest that inappropriate engineering methods dominated by mechanical design decisions and incompatible engineering tool landscapes are key problems that lead to isolated and potentially inconsistent specifications. To overcome the current situation, in this paper we propose a test-driven approach to cyber-physical manufacturing system design based on an integrated modeling technique respectively engineering tool called MACON. Then, we explore the applicability and potential benefits of the approach for an industry-close example. Therefore, we analyze empirical data about the development process collected during tool usage. The data indicates that test-driven development is applicable in principle to the cyber-physical manufacturing systems domain resulting both in early test specification at various levels of the component architecture as well as in early identification of design flaws.

You might also be interested in

A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models

Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas and Denis Bytschkow

" A key success factor for building smart control software for today's energy systems is a precise understanding of their behavioral requirements. However, current engineering approaches lack the possibility to validate these requirements in early phases ..."

In Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International , pp.596-601 , 21-25 July 2014

Slides Bibtex

energy system system engineering system design system validation dynamic programming

Formal Technical Process Specification and Verification for Automated Production Systems

Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser

" The complexity of automated production systems increases constantly due to growing functional requirements and engineering discipline integration. Early design steps include the cross-discipline specification of the system’s technical process, while later steps have to ensure ..."

In 8th System Analysis and Modeling Conference (SAM 2014) , 29-30 September 2014

Slides Bibtex

manufacturing system system engineering system design system verification

MaCon: Consistent Cross-Disciplinary Conception of Manufacturing Systems

Georg Hackenberg, Thomas Stocker, Christoph Richter and Gunther Reinhart

" Conceptual designs of manufacturing systems contain input from all engineering disciplines involved in the life cycle of such systems. For their efficient and consistent conception, information about the elements of a conceptual design and their ..."

In 8th IFAC Conference on Manufacturing Modelling, Management & Control , 28-30 June 2016

Slides Bibtex

manufacturing system system engineering system design system verification