Abstract
We present a model-based approach to software development for industrial process automation, overall aiming at decreased development efforts, increased quality, and reduced time to market. Key to this approach is the high-level specification of all required aspects using dedicated domain-specific modeling languages. This abstraction provides both a standardized framework supporting the communication between experts on industrial processes and PLC software developers, as well as the reduction of implementation overhead through full code generation. As a proof of concept, processes for industrial centrifuges are considered. We present the standardized models and tools used to fully generate code for Beckhoff Twin CAT 3. The presented work is the result of a cooperation project at TU Dortmund with the GEA Group AG involving 12 students.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
ISO 10628–1: 2015. International Organization for Standardization, 1st edn. Geneva, Switzerland, September 2014
Beckhoff: TwinCAT 3. http://www.beckhoff.de/twincat3, August 2016
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
Jeschke, S.: Standardization in the Era of 4.0. Presentation DKE-Conference 2016, May 2016
Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Hershey (2009)
Marrano, S.J.: Process and Instrumentation Diagram Development in Water and Waste Water Treatment Plants
MathWorks: MathWorks. http://www.mathworks.com/products/stateflow/, August 2016
Microsoft Corporation: XAML. https://msdn.microsoft.com/en-us/library/cc189054, August 2016
Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2016, to appear)
Siemens: S7 Graph V5.1 for S7–300/400 Programming Sequential Control Systems, 5th edn. Siemens (2001)
Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: LNCS Transactions on Foundations for Mastering Change (FoMaC), vol. 1(1) (2016)
Acknowledgements
We thank the GEA Group AG for their constant support and for providing us with the necessary hardware. Also, a big thanks to the other members of the project team: Alexander Hornung, Fabian König, Clemens Classen, Johannes Lohmann, Johannes P. Neumann, Kristof Wilke, Laurette M. T. Mefowe, Niklas Ueter, Phillip A. Goldap and Viktor Noniev.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Wortmann, N., Michel, M., Naujokat, S. (2016). A Fully Model-Based Approach to Software Development for Industrial Centrifuges. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_58
Download citation
DOI: https://doi.org/10.1007/978-3-319-47169-3_58
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47168-6
Online ISBN: 978-3-319-47169-3
eBook Packages: Computer ScienceComputer Science (R0)