IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Specification and Code Generation of Programable Logic Controllers

2009 14th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS)

Author(s): Rui Wang ; Ming Gu ; Xiaoyu Song ; Hai Wan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2009
Conference Location: Potsdam, Germany, Germany
Conference Date: 2 June 2009
Page(s): 102 - 109
ISBN (Paper): 978-0-7695-3702-3
DOI: 10.1109/ICECCS.2009.41
Regular:

Programable logic controllers (PLCs) are complex cyber-physical systems which are widely used in industry. This paper presents a robust approach to design and implement PLC-based embedded systems.... View More

Advertisement