Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly-Reference-Cited by-同舟云学术

Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly

Published:2002-09 Issue:1-3 Volume:48 Page:17-35
ISSN:1383-7621
Container-title:Journal of Systems Architecture
language:en
Short-container-title:Journal of Systems Architecture

Author:

Ick Lee Jae,Wook Chun Sung,Ju Kang Soon

Publisher

Elsevier BV

Subject

Hardware and Architecture,Software

Reference18 articles.

1. Programmable Logic Controllers;Simpson,1994

2. R.W. Lewis, Programming industrial control systems using IEC 1131-3, The Institution of Electrical Engineers, 1995

3. Virtual Prototyping––Virtual environments and the product design process;Rix,1995

4. O. Rossi, P. Schnoebelen, Formal modeling of timed function blocks for the automatic verification of ladder diagram programs, Proceedings of the 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM'2000), Dortmund, Germany, September 2000

5. Formal verification: a tool to improve the safety of control systems;Rossi;Safe Process,2000

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Design of VerilogHDL Code Generation for Ladder Diagram and Data Acquisition Using LABVIEW;Wireless Personal Communications;2022-09-13

2. A study on the generation of silicon-based hardware Plc by means of the direct conversion of the ladder diagram to circuit design language;The International Journal of Advanced Manufacturing Technology;2009-11-18

3. Study on LD-VHDL conversion for FPGA-based PLC implementation;The International Journal of Advanced Manufacturing Technology;2008-02-28

4. Reconfigurable control of robotized manufacturing cells;Robotics and Computer-Integrated Manufacturing;2007-02