Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고

  • Published : 2015.07.17
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. International Standard for Programmable Controllers: Programming Languages (part 3), IEC, 1993.
  2. K. Cha, H. Sohn, J. Lee, J. Kim, S. Cheon, Y. Lee, I. Hwang, and K. Kwon, "The KNICS Approach for Verification and Validation of Safety Software," Proceedings of the Korean Nuclear Spring Meeting, 2003.
  3. J. Yoo, T. Kim, S. Cha, J. Lee, and H. Son. "A formal software requirements specification method for digital nuclear plants protection systems," Journal of Systems and Software, Vol. 74, No. 1, pp.73-83, 2005. https://doi.org/10.1016/j.jss.2003.10.018
  4. Cadence SMV. http://www.kenmcmil.com/smv.html
  5. Standard Hardware Description Language Based on the Verilog Hardware Description Language (Std 1364-2001), IEEE, 2003.
  6. E. Jee, S. Jeon, and S. Cha, "A Formal Verification Technique for PLC programs Implemented by Function Block Diagrams", Journal of the Korean Institute of Information Scientists and Engineers (KIISE): Computing Practice and Letters, Vol. 15, No. 3, pp. 211-215, 2009.
  7. E. Jee, S. Jeon, S. Cha, K. Koh, J. Yoo, G. Park, and P. Seong, "FBDVerifier: Interactive and Visual Analysis of Counterexample in Formal Verification of Function Block Diagram," Journal of Research and Practice in Information Technology, Vol. 42, No. 3, pp. 255-272, August 2010.
  8. E. Jee, J. Yoo, S. Cha, and D. Bae, "A Data Flow-based Structural Testing Technique for FBD Programs," Information and Software Technology, Vol. 51, No. 7, pp. 1131-1139, July 2009. https://doi.org/10.1016/j.infsof.2009.01.003
  9. E. Jee, S. Kim, S. Cha, and I. Lee, "Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram", Proceedings of the 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 6351, pp. 223-236, Vienna, Austria, September 14-17, 2010.
  10. E. Jee, D. Shin, S. Cha, J. Lee, D. Bae, "Automated test case generation for FBD programs implementing reactor protection system software," Software Testing, Verification and Reliability, Vol. 24, No. 8, pp.608-628, 2014. https://doi.org/10.1002/stvr.1548
  11. D. Shin, E. Jee, D. Bae, "Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis", Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), pp.465-479, Innsbruck, Austria, September 30-October 5, 2012.
  12. D. Shin, E. Jee, D. Bae, "Comprehensive analysis of FBD test coverage criteria using mutants,"Software Systems Modeling, 2014. (online published)
  13. E. Jee, J. Yoo, and S. Cha, "Control and Data Fiow Testing on Function Block Diagrams", Proceedings of the 24th international Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 3688, pp. 67-80, Fredrikstad, Norway, September 28-30, 2005.
  14. E. Jee, S. Jeon, H. Bang, S. Cha, J. Yoo, G. Park, and K. Kwon, "Testing of Timer Function Blocks in FBD", Proceedings of the 13th Asia Pacific Software Engineering Conference (APSEC), pp. 243-250, Bangalore, India, December 6-8, 2006.