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

Han, Kwan Hee; Park, Jun Woo

doi:10.1007/978-3-642-01209-9_4

Cited by 3 publications

(3 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

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%

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

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

show abstract

“…[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%

Verification of Solid State Interlocking Programs

James

Lawrence

Moller

et al. 2014

Software Engineering and Formal Methods

View full text Add to dashboard Cite

We report on the inclusion of a formal method into an industrial design process. Concretely, we suggest carrying out a verification step in railway interlocking design between programming the interlocking and testing this program. Safety still relies on testing, but the burden of guaranteeing completeness and correctness of the validation is in this way greatly reduced. We present a complete methodology for carrying out this verification step in the case of ladder logic programs and give results for real world railway interlockings. As this verification step reduces costs for testing, Invensys Rail is working to include such a verification step into their design process of solid state interlockings.

show abstract

“…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%

Using UML as Front-End for PLC Program Design

Zhang

Fang

Wang

et al. 2011

AMR

View full text Add to dashboard Cite

To minimize the influence of experiential factor and guarantee the software quality from the design phase, with the aid of unified modeling language (UML), an object-oriented design method for PLC program is presented. With UML as design tool, class diagram and state machine diagram are chosen respectively to describe the static structure and dynamic behavior of the PLC based control system, and PLC ladder diagram is acquired from state machine diagram subsequently. With the combination of object-oriented technology, UML and classic PLC design technology, the software reliability of PLC based control system is promoted, and the application area of object-oriented technology and UML is extended.

show abstract

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

Cited by 3 publications

References 13 publications

Knowledge-based cyber-physical systems for assembly automation

Knowledge-based cyber-physical systems for assembly automation

Verification of Solid State Interlocking Programs

Using UML as Front-End for PLC Program Design

Contact Info

Product

Resources

About