Model-based generation of modular PLC code using IEC61131 function blocks

Thieme, Jan; Hanisch, Hans-Michael

doi:10.1109/isie.2002.1026065

Cited by 18 publications

(10 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model checking of industrial programmable logic controller (PLC) software is a topic addressed by several authors using a range of different methods [7,8,9,10]. Application areas are as diverse as those of PLCs -nuclear [2], chemical [9], rail traffic [11], automotive industry [12], or even knitting [13], just to name a few.…”

Section: A Model Checking Of Process Control Application Softwarementioning

confidence: 99%

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Pakonen

Pang

Buzhinsky

et al. 2016

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

Formal methods -such as model checking -have definite advantages over more commonplace verification techniques. By providing proof of the analyzed systems' correctness, they are especially useful in domains that are under regulatory supervision, like the nuclear industry. The foremost challenge for wider adoption of model checking is the effort and the expertise required for formalizing functional requirements into verifiable properties. A particular challenge in verifying the application software of industrial process control systems is taking into account the different sequencing and timing issues that arise from, e.g., the dynamic behavior of the plant processes being controlled. In this paper, we review specification languages that are aimed at making formal methods more accessible. We have collected 1079 sample formal properties from practical model checking projects in the nuclear industry, and identified repeatedly occurring property types. We present our findings, and based on the sample data, evaluate the applicability of different approaches on user-friendly property specification.

show abstract

Section: A Model Checking Of Process Control Application Softwarementioning

confidence: 99%

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Pakonen

Pang

Buzhinsky

et al. 2016

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

show abstract

“…The IEC 61131 component model proposes a hierarchical software architecture for structuring and running any FBD program. This architecture specifies the syntax and semantics of a unified control software based on a PLC configuration, resource allocation, task control, program definition, function and function block repository, and program code [7], [8]. The PLC software is represented as a configuration that communicates with other IEC configurations of different PLC systems with well-defined component interfaces.…”

Section: A Fbd and Iec 61131 Component Modelmentioning

confidence: 99%

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

Enoiu

Sundmark

Pettersson

2013

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops

View full text Add to dashboard Cite

show abstract

“…Beside approaches based on discrete event models, there exist several code generation methods and concepts which take the process information from preceding engineering steps into account [30,32]. Schäfer et al [29] proposed an integration framework in order to generate PLC code based on state-chart transformations.…”

Section: Automated Code Generation Approachesmentioning

confidence: 99%

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Steinegger

Zoitl

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

The effort for design and implementation of process automation systems increases with the complexity of modern production plants. To shorten the implementation phase we propose a conceptual approach for automated code generation for programmable logic controllers (PLCs) based on knowledge acquisition from standardized engineering artifacts and their corresponding tool database. Ontologies are defined for each engineering domain artifact, representing the concepts and relations specified in the associated domain standards. An automated data extraction and population of the domain-specific ontologies together with semi-automated mapping definitions between common engineering objects then enables a rulebased code generator to query the ontologies. The query results are translated afterward into PLC code by applying a rule transformation algorithm.

show abstract

Model-based generation of modular PLC code using IEC61131 function blocks

Cited by 18 publications

References 2 publications

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker

Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study

Contact Info

Product

Resources

About