Browse > Article
http://dx.doi.org/10.6108/KSPE.2021.25.3.127

The Verification Test of Launch Control System Algorithms Using Automated Verification System  

An, Jae-Chel (Launch Complex Team, Korea Aerospace Research Institute)
Moon, Kyung-Rok (Launch Complex Team, Korea Aerospace Research Institute)
Oh, Il-Seok (Division of Computer Science and Engineering, Chonbuk National University)
Publication Information
Journal of the Korean Society of Propulsion Engineers / v.25, no.3, 2021 , pp. 127-137 More about this Journal
Abstract
The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.
Keywords
Control Algorithms; Launch Complex; Launch Control System; PLC(Programmable Logic Controller);
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 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.
2 Korea Atomic Energy Research Institute (KAERI), "State-of-the-Art Report for the testing and formal verification methods for FBD program," AR-901, 2011.
3 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.
4 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.
5 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.
6 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.
7 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.
8 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.
9 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.
10 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.   DOI
11 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.
12 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.   DOI
13 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.
14 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.
15 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.   DOI
16 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.
17 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.
18 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.
19 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.
20 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.
21 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.   DOI
22 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.
23 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.   DOI