Transformation of GRAFCET to PLC code including hierarchical structures

Julius, Robert; Schürenberg, Max; Schumacher, Frank; Fay, Alexander

doi:10.1016/j.conengprac.2017.03.012

Cited by 29 publications

(18 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A hindrance to the wider application of MDE is the algorithms' complexity on the theoretical side and the lack of formal models and formal specifications in the engineering of production systems on the practical side. An approach to bridge the gap between the formal design of a sequence control (based on GRAFCET) and the programming of PLCs according to the IEC 61131-3 standard is proposed by Julius et al (2017). Also in the second class, in contrast to MDE, Model-Based Engineering (MBE) does not strive for the formal proof of the fulfilment of requirements.…”

Section: Engineering Methods For Factory Automation Systemsmentioning

confidence: 99%

An overview of current technologies and emerging trends in factory automation

Dotoli

Fay

Miśkowicz

et al. 2018

International Journal of Production Research

Self Cite

View full text Add to dashboard Cite

In this paper we provide an overview of recent theoretical approaches and technologies that respond to the fundamental challenges of modern factory automation. We classify these major methods and technologies into several groups and, for seven of them-namely: vertical integration of factory automation systems; distributed and decentralised control, smart sensors and actuators in factories; networked control systems and wireless sensors and actuators; autonomy and selforganisation of factories; advanced sensing for factory automation; semantic models of factories; engineering methods of factory automation systems-we report recent research contributions and formulate open technical problems in the domain of modern factory automation.

show abstract

Section: Engineering Methods For Factory Automation Systemsmentioning

confidence: 99%

An overview of current technologies and emerging trends in factory automation

Dotoli

Fay

Miśkowicz

et al. 2018

International Journal of Production Research

Self Cite

View full text Add to dashboard Cite

show abstract

“…To simplify the representation of the models, a graphical notation of macro localization, inspired by the Grafcet macro step of the IEC 60848 standard [36,37], is proposed. A macro-location P io , whose notation is given in the left part of the The right part of Figure 5a shows the expansion of a macro-location representing the sequence from s b to s e of the template pattern given in Figure 5a while the right part of Figure 5b shows the expansion for M k i templates.…”

Section: Using Patterns To Structure Process Models M Nmentioning

confidence: 99%

Architecture assessment for safety critical plant operation using reachability analysis of timed automata

Gouyon

Pétin

Cochard

et al. 2020

Reliability Engineering & System Safety

View full text Add to dashboard Cite

This article deals with the validation of critical industrial process architectures from the point of view of safety and operation. During the engineering phases, the objective is to complement conventional safety studies with an approach that focuses on plant operation. In this context, one of the major challenges is to provide a guarantee that the designed architecture will be able to react safely to critical situations and events. To face the complexity resulting from the large number of functionalities and devices of the installations under consideration, the proposed approach is based on dynamic models of architectures, using the formalism of timed automata and reachability analysis to verify that, given a particular configuration of an architecture, the process can be safely operated to achieve a given objective. The result is a formal tool that allows engineers and plant operators to evaluate architecture safety with different types of dysfunctional scenarios based on their operational safety expertise. The article presents the formal modelling framework, which emphasizes structured modelling using patterns to promote reuse and instantiation over several candidate architectures. The contribution is illustrated and discussed using an experimental laboratory platform.

show abstract

“…Modeldriven approaches are still far from widespread industrial usage, since switching to such paradigms in industrial software development practice is complicated, and the required efforts are often very high (Tikhonov et al, 2014). The reasons are one side used modeling languages that are usually not familiar to the designated users (control practitioners) and model-driven approaches, which only allow performing modifications and revisions within the models to keep consistency of code and models (Julius et al, 2017). Furthermore, most of the above presented approaches focus on generating sequence-oriented PLC code in a monolithic manner.…”

Section: Automated Configurationmentioning

confidence: 99%

Knowledge-based cyber-physical systems for assembly automation

Merdan¹,

Hoebert²,

List³

et al. 2019

Production & Manufacturing Research

View full text Add to dashboard Cite

Current assembly systems are handling the increased requirements for mass customization with difficulties and need to be updated with new approaches and technologies. Cyber-Physical Systems (CPS) auto-configuration is regarded as an important asset towards automation components, which autonomously embed themselves into the system. In this context, knowledge-based technologies pave the way for highly flexible and reconfigurable CPS. This paper introduces and demonstrates a model-driven engineering approach for automatically configuring the control layer of a CPS based on knowledge representation of the environment and component capabilities. The approach encompasses a control architecture that is tested in two industrial use cases. The first case employs a configuration infrastructure for control software based on IEC 61499 to automatically configure the hardwarenear control layer of a CPS within an assembly line. The second case is concerned with autonomously generating assembly plans, which are then transformed into actions that an industrial robot sequentially executes.

show abstract

Transformation of GRAFCET to PLC code including hierarchical structures

Cited by 29 publications

References 26 publications

An overview of current technologies and emerging trends in factory automation

An overview of current technologies and emerging trends in factory automation

Architecture assessment for safety critical plant operation using reachability analysis of timed automata

Knowledge-based cyber-physical systems for assembly automation

Contact Info

Product

Resources

About