Model-based development in automation

Abstract

The article explains the concept of modeling, from the foundation of conceptualization to today’s modeling standards in plant engineering and automaton. It emphasizes the role of modeling software in model-based development, and discusses various formats to persist and exchange model information. Finally it discusses and applies a method for evaluating models, based on given criteria.

Towards establishing formal verification and inductive code synthesis in the PLC domain

“…Traditionally, for developing a program, at least an editor, a compiler, a linker, the runtime environment or hardware and a debugger are needed. In the case of model-driven software engineering, a model editor substitutes or extends the former editor [12]. The compiler is integrated and extended by a code generator that additionally translates a model into code within a model-driven software development toolchain [12].…”

“…In the case of model-driven software engineering, a model editor substitutes or extends the former editor [12]. The compiler is integrated and extended by a code generator that additionally translates a model into code within a model-driven software development toolchain [12]. Furthermore, depending on the abstraction level, either a hardware support package or an emulation of the runtime environment is needed to assist with the generation of specific and correct code that can run instantly on the target environment.…”

Analysis of metamodels for model‐based production automation system engineering

“…Vogel‐Heuser et al [2] present a view on aPS development along with the engineering cycles with MBSE though the inconsistencies commented in their work are laid mainly in model level. Witte et al [7] present a more philosophical view with relating models, concepts and modelling languages mainly discuss interchange format among the different models and modelling software. Recently, Pietrusewicz [20] classifies various metamodels in the scope of CPSs.…”

“…Under the model‐based paradigm, the requirements can be considered already in the design phase, and possible danger or risk in the real implementation can be avoided in advance by validating the models. Modelling has always been an engineering method in the field of production automation [7] appearing in different forms such as topology drawings, mathematical equations or graphics of processes. Regarded as a promising way to handle the problems efficiently during engineering processes and supported by the software tools [7], lots of model‐based approaches have been introduced.…”