Time-related Modelling of PLC Systems with Time-less Petri Nets

Heiner, Monika; Menzel, Thomas

doi:10.1007/978-1-4615-4493-7_28

Cited by 2 publications

(1 citation statement)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For this, the authors apply Petri net semantics to model the controller behavior. Since this controller model is not connected to a plant model, the authors extended their approach in [10], where details about the application program's surroundings are considered. A further framework for the automatic verification of PLC programs written in IL is presented in [5].…”

Section: Related Workmentioning

confidence: 99%

A complete framework for controller verification in manufacturing

Gerber

Preuße

Hanisch

2010

2010 IEEE 15th Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2010)

View full text Add to dashboard Cite

Programmable Logic Controllers (PLCs) have been established as standard devices for automation and process control since the 1990s. Although a lot of research work has been done on the field of controller modeling and verification, it is still daily practice that control software is manually developed without applying formal validation methods. On the other hand, controller modeling is often seen detached from the plant or its model, i.e. as an open loop. The results of analysis of open-loop controller behavior give very little or almost no indications of the correct behavior of the closed-loop system. The contribution therefore proposes an approach to generate formal models out of PLC code. These controller models enable formal verification of the closed loop in combination with a specification. Due to the year of publication, all solution approaches are based on the syntax definition of the IEC 61131-3, which is not fulfilled by every industrial PLC vendor. Therefore, this contribution will show a way to use the defined xml formats of the Technical Committee 6 of the PLCopen as input for the formal model generation.

show abstract

Section: Related Workmentioning

confidence: 99%