DocumentCode
2287927
Title
Verifying programmable logic controllers with abstraction
Author
Wang, Rui ; Gu, Ming ; Song, Xiaoyu ; Zhang, Hehua
Author_Institution
CST Dept., Tsinghua Univ., Beijing
fYear
2008
fDate
11-13 June 2008
Firstpage
225
Lastpage
228
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SIES.2008.4577704
Filename
4577704
Link To Document