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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SIES.2008.4577704 | SIES |
Keywords | Field | DocType |
abstraction,programmable controllers,programmable logic controllers,control engineering computing,complex embedded system,state explosion problem,embedded systems,program verification,model checking techniques,model checking,control systems,embedded software,logic,programmable logic controller,embedded system | Abstraction,Model checking,Embedded software,Computer science,Real-time computing,Programmable logic controller,Control system,Iec standards,Embedded system | Conference |
ISBN | Citations | PageRank |
978-1-4244-1995-1 | 1 | 0.39 |
References | Authors | |
5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
R. Wang | 1 | 61 | 11.21 |
Ming Gu | 2 | 10 | 2.07 |
Xiaoyu Song | 3 | 471 | 51.61 |
Hehua Zhang | 4 | 109 | 12.65 |