1 |
IEC, International Standard for Programmable Controllers: Programming Languages (Part 3), 1993
|
2 |
S. Richter and J. Wittig, "Verification and validation process for safety I&C systems," Nuclear Plant Journal, pp.36-40, May-June 2003
|
3 |
R. Lewis. "Programming industrial control systems using IEC 1131-3 Revised Edition (IEE Control Engineering Series)," The Institute of Electrical Engineers, 1998
|
4 |
Y. Oh, J. Yoo, S. Cha and H. Son, "Software Safety Analysis of Function Block Diagrams using Fault Trees," Reliability Engineering and System Safety, Vol.88, No.3, pp. 215-228, 2005
DOI
ScienceOn
|
5 |
G. Frey and L. Litz, Formal Methods in PLC Programming, Proceedings of the IEEE Conference on Systems, Man and Cybernetics (SMC'2000), Nashville, USA, Oct. 8-11, 2000
|
6 |
KNICS, Korea Nuclear Instrumentation and Control System Research and Development Center, http://www.knics.re.kr
|
7 |
A. Mader, "A Classification of PLC Models and Applications," Proc. WODES 2000: 5th Workshop on Discrete Event Systems, Gent, Belgium, Aug. 21-23, 2000
|
8 |
L. Baresi, M. Mauri, A. Monti, and M. Pezze, "PLCTOOLS: Design, Formal Validation, and Code Generation for Programmable Controllers," Formal methods in PLC programming Special Session at IEEE Conference on Systems, Man and Cybernetics (SMC'2000), Nashville, USA, Oct. 8-11, 2000
|
9 |
Paul C. Jorgensen, "Software testing: a craftsman's approach," CRC Press, 1995
|
10 |
M. Bani Younis and G. Frey, Formalization of Existing PLC Programs: A Survey, Proceedings of CESA 2003, Lille, France, July, 2003
|
11 |
J. Yoo, S. Park, H. Bang, T. Kim and S. Cha, "Direct Control Flow Testing on Function Block Diagrams," The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety (NUTHOS-6), Nara, JAPAN, Oct. 4-8, 2004
|