Title :
Verifying programmable logic controllers with abstraction
Author :
Wang, Rui ; Gu, Ming ; Song, Xiaoyu ; Zhang, Hehua
Author_Institution :
CST Dept., Tsinghua Univ., Beijing
Abstract :
Functional and nonfunctional validation is an important task in complex embedded system developments. This paper proposes a method of applying model checking techniques to validate programable logic controllers (PLCs). Abstraction is used to ameliorate the state explosion problem. The experiment results of an industry application demonstrate the effectiveness of our approach.
Keywords :
control engineering computing; embedded systems; program verification; programmable controllers; abstraction; complex embedded system; model checking techniques; programmable logic controllers; state explosion problem; Control systems; Counting circuits; Embedded software; Embedded system; Explosions; IEC standards; Industry applications; Logic; Programmable control; Software safety;
Conference_Titel :
Industrial Embedded Systems, 2008. SIES 2008. International Symposium on
Conference_Location :
Le Grande Motte
Print_ISBN :
978-1-4244-1994-4
Electronic_ISBN :
978-1-4244-1995-1
DOI :
10.1109/SIES.2008.4577704
