Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Real-Time UML: Developing Efficient Objects for Embedded Systems
Real-Time UML: Developing Efficient Objects for Embedded Systems
A Graph Rewriting Framework for Statecharts Semantics
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Detecting Races in Relay Ladder Logic Programs
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Horizontal and Vertical Structuring Techniques for Statecharts
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Reconfigurable control of robotized manufacturing cells
Robotics and Computer-Integrated Manufacturing
Hi-index | 0.00 |
A domain-specific virtual prototyping approach is proposed that can reduce the risks involved in programmable logic controllers (PLCs)-based embedded system programming. The proposed approach is based on an object-oriented real-time modeling concept, plus an algorithm is defined that can mechanically convert a PLC program, written in relay ladder logic (RLL), to a statechart model. In the field of virtual prototyping, statechart models are widely accepted as representing the behavior of target systems. Accordingly, the direct use of an RLL program enables a virtual prototype to be built quite easily, thereby eliminating complex behavior remodeling of the objects used in PLC embedded systems. As a case study, virtual prototyping of a target example was performed and analyzed to evaluate the benefit of the proposed approach.