Journal of the Korean Society of Propulsion Engineers (한국추진공학회지)

The Korean Society of Propulsion Engineers (한국추진공학회)
권호 표지
DOI QR코드

DOI QR Code

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)
  • Received : 2021.01.27
  • Accepted : 2021.06.15
  • Published : 2021.06.30
Download PDF
⟨ Previous Next ⟩

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

References

  1. 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.
  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. 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
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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
  18. 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.
  19. 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
  20. 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.
  21. 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
  22. 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.
  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. https://doi.org/10.3390/electronics9040572