2009
DOI: 10.1007/978-3-642-01209-9_4
|View full text |Cite
|
Sign up to set email alerts
|

Object-Oriented Ladder Logic Development Framework Based on the Unified Modeling Language

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
2
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 13 publications
0
2
0
Order By: Relevance
“…An approach based on UML for the automatic generation of field control strategies is presented by Legat, Schtz, and Vogel-Heuser (2014). Han and Park (2009) propose an object-oriented ladder logic development framework in which ladder logic code is generated automatically based on UML design results. Bonf, Fantuzzi, and Secchi (2013) present an object-oriented paradigm, which is applied by means of UML modeling techniques, to control software development for complex manufacturing systems with particular focus on case studies taken from the packaging industry.…”
Section: Automated Configurationmentioning
confidence: 99%
“…An approach based on UML for the automatic generation of field control strategies is presented by Legat, Schtz, and Vogel-Heuser (2014). Han and Park (2009) propose an object-oriented ladder logic development framework in which ladder logic code is generated automatically based on UML design results. Bonf, Fantuzzi, and Secchi (2013) present an object-oriented paradigm, which is applied by means of UML modeling techniques, to control software development for complex manufacturing systems with particular focus on case studies taken from the packaging industry.…”
Section: Automated Configurationmentioning
confidence: 99%
“…[7] presents an approach to translate ladder logic programs into propositional logic and formulates model checking for sliced ladder logic programs. Alternative approaches include [28] who apply timed automata and UPPAAL or [9] who present a development framework for ladder logic, including verification by port-level simulation. Ladder logic programs for programable logic controllers in general have been verified using the symbolic model checker SMV [23].…”
Section: Introductionmentioning
confidence: 99%
“…Although some UML based software development frameworks for PLC are proposed in [3][4][5], they are not yet mature enough for practical applications. In this paper, we propose a practical design method that uses UML as the design front-end for the PLC based control system.…”
Section: Introductionmentioning
confidence: 99%