참고문헌
- An, J.C., Moon, K.R. and Oh, I.S., "Verification of Control System Algorithms for Compressed Gas Supply Facility in Launch Complex," Journal of the Korean Society of Propulsion Engineers, Vol. 23, No. 2, pp. 95-103, 2019.
- Korea Atomic Energy Research Institute (KAERI), "State-of-the-Art Report for the testing and formal verification methods for FBD program," AR-901, 2011.
- Jung, M.P. and Kim, K.N., "The Design and Implement of Program Simulator for testing PLC-based control systems," In Proceedings of KIISE Conference, Seoul, Korea, pp. 63-65, Oct. 1999.
- An, J.C., Moon, K.R. and Oh, I.S., "Design and Implementation of Simulator of Launch Control System," Journal of the Korean Society for Aeronautical & Space Sciences, Vol. 44, No. 8, pp. 657-665, 2016. https://doi.org/10.5139/JKSAS.2016.44.8.657
- Jung, M.J., Shin. Y.G, Choi, S.W., Moon, G.W., Seo, H.J., Lee, S.J. and Cho, H.J., "Application of a realtime plant simulator to develop a PLC for a space thermal environment chamber," In Proceedings of KSAS Conference, Korea, pp. 172-175, Nov. 2003.
- Suh, J.K., Lee, M.S. and Hong, J.H., "Digital Control System Validation using the Simulator Models for 500MW Standard Type Fossil Power Plant," Journal of the Korea Society for Simulation, Vol. 19, No. 3, pp. 71-79, 2010.
- Bun S.H. and Whang D.H., "Development of Power Plant Simulator for Control System Verification & Validation," Journal of the Korea Society for Simulation, Vol. 19, No. 1, pp. 41-51, 2010.
- Bae, S.H. and Kim, Y.M., "A Case Study of Virtual PLC Validation System's Implementation: In Case of An Automobile Trim Line," Journal of the Korea Society for Simulation, Vol. 19, No. 2, pp. 9-16, 2010.
- Choi, S.U., Park, S.C. and Wang, G.N., "Virtual Plant building Process for PLC Code Verification in Automative body Assembly System," In Proceeding of KIIE Conference, Seoul, Korea, pp. 803-808, Nov. 2008.
- Lime, C.G., Ahn, Y.S., Park, S.C. and Wang, G.N., "A Study of PLC Simulation Applying for Steel Product Line," In Proceeding of CAD/CAM Conference, Pyeongchang, Korea, pp. 120-124, Jan. 2011.
- Park, S.C., Park, C.M., Wang, G.N., Kwak, J. and Yeo, S., "PLCStudio: simulation based PLC code verification," In Proceedings of the 40th Conference on Winter Simulation, Winter Simulation Conference, Miami, FL, U.S.A., pp. 222-228, Dec. 2008.
- Yoo, J., Cha, S., and Jee, E. "A verification framework for FBD based software in nuclear power plants," In Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference, Beijing, China, pp. 385-392, Dec. 2008.
- Schlich, B., Brauer, J., Wernerus, J. and Kowalewski, S. "Direct model checking of PLC programs in IL," IFAC Proceedings, Bari, Italy, Vol. 42, No. 5, pp. 28-33, Jun. 2009.
- Kwon, M.H. and Shin, S.C, "Automatic Translations for Model Checking of LD Programs," Journal of Korean Institute of Information Scientists and Engineers, Vol. 16, No. 2, pp. 201-206, 2010.
- Canet, G., Couffin, S., Lesage, J.J., Petit, A., and Schnoebelen, P., "Towards the automatic verification of PLC programs written in Instruction List," In 2000 IEEE International Conference on Systems, Man and Cybernetics 'Cybernetics Evolving to Systems, Humans, Organizations, and Their Complex Interactions', Nashville, TN, USA, Vol. 4, pp. 2449-2454, Oct. 2000.
- Pavlovic, O. and Ehrich, H.D., "Model checking PLC software written in function block diagram," In Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, Paris, France, pp. 439-448. Apr. 2010.
- Soliman, D., Thramboulidis, K. and Frey, G. "Transformation of function block diagrams to Uppaal timed automata for the verification of safety applications," Journal of Annual Reviews in Control, Vol. 36, No. 2, 338-345, Dec. 2012. https://doi.org/10.1016/j.arcontrol.2012.09.015
- Adiego, B.F., Darvas, D., Vinuela, E.B., Tournier, J.C., Suarez, V.M.G. and Blech, J.O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs," IFAC Proceedings, Cape Town, South Africa, Vol. 47, No. 3, pp. 3333-3339, 2014.
- Park, C.M., "Formal Verification of PLC Program Safety in Manufacturing Automation System," Journal of Korea Safety Management and Science, Vol. 17, No. 1, pp. 179-192, 2015. https://doi.org/10.12812/ksms.2015.17.1.179
- Zhou, M., He, F., Gu, M. and Song, X., "Translation-Based Model Checking for PLC Programs," 33rd Annual IEEE International Computer Software and Applications Conference, Seattle, WA, U.S.A., pp. 553-562, Jul. 2009.
- Soliman D. and Frey, G., "Verification and validation of safety applications based on PLCopen safety function blocks," Journal of Control Engineering Practice, Vol. 19, No. 9, pp. 929-946, 2011. https://doi.org/10.1016/j.conengprac.2011.01.001
- Jee, E.K., Jeon, S.J. and Cha, S.D., "A Formal Verification Technique for PLC Programs Implemented with Function Block Diagrams," Journal of Korean Institute of Information Scientists and Engineers, Vol. 15, No. 3, pp. 211-215, 2009.
- Xion, J., Zhu, G., Huang, Y. and Shi, J. "A User-Friendly Verification Approach for IEC 61131-3 PLC Programs," Journal of Electronics 9, No. 4, pp. 572, 2020. https://doi.org/10.3390/electronics9040572