1 |
Lock-Jo Koo, Chang Mok Park, Chang Ho Lee, SangChul Park & Gi-Nam Wang(2011), "Simulation framework for the verification of PLC programs in automobile industries." International Journal of Production Research, vol 49(16), 4925-4925
DOI
|
2 |
"NuSMV Tutorial." http://nusmv.fbk.eu/
|
3 |
"A Tutorial on UPPAAL 4.0." http://www.uppaal.com/
|
4 |
M. B. Younis and G. Frey(2003), "Formalization of existing PLC programs: A survey." Proc. Computing Eng. in Systems Applications, Lille, France, paper No. S2-R-00-0239.
|
5 |
J. Lahtinen, J. Valkonen, K. Bjrkman, J. Frits, I. Niemel, K. Heljanko(2012), "Model checking of safety-critical software in the nuclear engineering domain." Reliability Engineering & System Safety, vol 105, 104-113
DOI
|
6 |
O. Rossi, Ph. Schnoebelen(2000), "Formal modeling of timed function blocks for the automatic verification of ladder diagram programs." Proc. 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), 177-182
|
7 |
Tord Alenljung, Bengt Lennartson(2009), "Formal verification of PLC controlled systems using sensor graphs." IEEE conference on Automation science and engineering, 164-170
|
8 |
Doaa Soliman, Georg Frey(2011), "Verification and validation of safety applications based on PLCopen safety function blocks." Control Engineering Practice vol 19(9), 929-946
DOI
|
9 |
Min Zhou , Fei He, Ming Gu, Xiaoyu Song(2009), "Translation-based model checking for PLC programs."33rd Annual IEEE International Computer Software and Applications Conference, 553-562
|
10 |
지은경, 전승재, 차성덕(2009), "함수 블록 다이어그램으로 구현된 PLC 프로그램에 대한 정형 검증 기법." 정보과학회 논문지 15(3), 211-215
|