Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes

S Cha - 2021 - mediatum.ub.tum.de
Automated Production Systems (aPS), including manufacturing machines and logistics, are
required to cope with various and varying production requirements over their long lifecycles …

[PDF][PDF] AutomationML to describe skills of production plants based on the PPR concept

M Schleipen, J Pfrommer, K Aleksandrov… - 3rd AutomationML …, 2014 - academia.edu
Flexibility and adaptability of production resources and production processes due to
shortened product lifecycles and small lot sizes call for a virtual model of the production …

Intelligent adaption process in cyber-physical production systems

D Müller, C Schumacher, F Zeidler - … 5-9, 2018, Proceedings, Part III 8, 2018 - Springer
Current developments towards the buyer's market and related trends such as more
diversified production programs, shorter product life cycles and more volatile fluctuations in …

Formal digital description of production equipment modules for supporting system design and deployment

N Siltala - 2016 - trepo.tuni.fi
The requirements for production systems are moving towards higher flexibility, adaptability
and reactivity. Increasing volatility in global and local economies, shorter product life cycles …

Methods to support the evolution of cyber physical production systems

B Vogel-Heuser, A Fay - at-Automatisierungstechnik, 2018 - degruyter.com
Automated Production Systems (aPS) should be used for many years or even decades, but
must be adapted to changing requirements throughout their lifetime. Recently, the trend to …

Challenges of next generation manufacturing systems

P Valckenaers - Integration of Software Specification Techniques for …, 2004 - Springer
This chapter discusses a number of challenges to be fulfilled and considered regarding
software specification for industrial engineering and control software within manufacturing …

Manufacturing software units: Iso 16300-3 main guidelines for interoperability verification and validation

H Basson, M Bouneffa, M Matsuda, A Ahmad… - … VIII: Smart Services and …, 2019 - Springer
The ISO 16300-3 standard considers the required artefacts for interoperability verification
and validation throughout the whole cycle of manufacturing application development. In this …

Auto-Generated Specification of Assembly Units by Formalized Requirements for a higher Maturity in the Engineering Process

A Schlag, M Vielhaber - IFAC-PapersOnLine, 2017 - Elsevier
Today's engineering work flow of resources, eg units of automotive assembly lines or robotic
cells in the body shop, shows up some gaps in provision of information in different …

[PDF][PDF] A Graphical Toolkit for ISA-95

L Lang - 2020 - publik.tuwien.ac.at
The dawn of the fourth industrial revolution, Industry 4.0 has created great enthusiasm
among companies and researchers by giving them an opportunity to pave the path towards …

VarApp: Variant management app for IEC 61131-3 compliant legacy software

J Fischer, B Vogel-Heuser… - 2020 IEEE Conference …, 2020 - ieeexplore.ieee.org
Despite its many drawbacks, clone & own is still frequently used for control software
development in the domain of automated Production Systems (aPSs). However, this …