다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
Nuclear engineering and technology : an international journal of the Korean Nuclear Society, v.53 no.1, 2021년, pp.131 - 141
Lee, Dong-Ah (Konkuk University) , Kim, Eui-Sub (Konkuk University) , Yoo, Junbeom (Konkuk University)
AI-Helper
Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This pa...
E.-S. Kim, S. Jung, J. Kim, J. Yoo, MC/DC and toggle coverage measurement tool for FBD program simulation, in: Transactions of the Korean Nuclear Society Spring Meeting, Jeju, Korea, May 11-13, 2016.
International Atomic Energy Agency (IAEA), Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control, 1999. Technical reports series No. 384.
R. Alur, A. Kanade, S. Ramesh, K. Shashidhar, Symbolic analysis for improving simulation coverage of simulink/stateflow models, in: Proceedings of the 8th ACM International Conference on Embedded Software, New York, USA, Oct 19-24, 2008.
International Electrotechnical Commission (IEC), IEC 61131-3, Programmable Controllers: Part 3-Programming Languages, second ed., 2003.
R.G. Sargent, Verification and validation of simulation models, J. Simulat. 7 (2013) 12-24.
C. Schnakenbourg, J.-M. Faure, J.-J. Lesage, Towards IEC 61499 function blocks diagrams verification, in: IEEE International Conference on Systems Man and Cybernetics, Yasmine Hammamet, Tunisia, Oct 6-9, 2002.
M. Pezze, M. Young, Software Testing and Analysis: Process, Principles and Techniques, Wiley, 2008.
PLCopen Technical Committee 6, XML formats for IEC 61131-3, Ver. 2.01, Available: http://www.plcopen.org, 2009.
IEC, IEC 61508 Functional Safety of Electrical, Electronic and Programmable Electronic (E/E/PE) Safety-Related Systems, 2000.
IEC, IEC 60880 Nuclear Power Plants - Instrumentation and Control Systems Important to Safety-Software Aspects for Computer-Based Systems Performing Category A Functions, 2006.
International Organization for Standardization (ISO), ISO 26262 Road Vehicles-Functional Safety, 2011.
E. Jee, D. Shin, S. Cha, J.-S. Lee, D.-H. Bae, Automated test case generation for FBD programs implementing reactor protection system software, Softw. Test. Verif. Reliab. 24 (8) (2014) 608-628.
Liverpool Data Research Associates (LDRA), LDRA tool suite, Available: http://www.ldra.com/.
Esterel Technologies, SCADE - IEC 60880 compliant, Available: http://www.esterel-technologies.com/.
J.H. Kim, D.Y. Oh, N.H. Lee, C.H. Kim, J.H. Kim, A nuclear safety system based on industrial computer, in: Transactions of the Korean Nuclear Society Spring Meeting, Taebaek, Korea, May 26-27, 2011.
C. Park, C. Choe, S. Jin, An effective application process for code coverage analysis, in: Proceedings of the International Symposium on Future I&C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power System 2014, Jeju, Korea, Aug 24-28, 2014.
E. Jee, J. Yoo, S. Cha, Control and data flow testing on function block diagrams, in: Proceedings of the 24th International Conference on Computer Safety, Reliability and Security, Fredrikstad, Norway, Sep 28-30, 2005.
E. Jee, J. Yoo, S. Cha, D. Bae, A data flow-based structural testing technique for FBD programs, Inf. Software Technol. 51 (7) (2009) 1131-1139.
D. Shin, E. Jee, D.-H. Bae, Comprehensive analysis of FBD test coverage criteria using mutants, Software Syst. Model 15 (3) (2016) 631-645.
Wikipedia, Software testing. https://en.wikipedia.org/wiki/Softwaretesting.
G.J. Myers, C. Sandler, T. Badgett, The Art of Software Testing, John Wiley & Sons, 2011.
Institute of Electrical and Electronics Engineers (IEEE), IEEE Standard 1012 - IEEE Standard for System and Software Verification and Validation, 2012.
IEEE, IEEE Standard 1028 - IEEE Standard for Software Reviews and Audits, 2008.
ISO/IEC/IEEE, ISO/IEC/IEEE 29119-4 Software and System Engineering Software Testing Part 4: Test tTchniques, 2015.
K. Maruchi, H. Shin, M. Sakai, MC/DC-like structural coverage criteria for function block diagrams, in: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, OH, USA, Mar 31-Apr 4, 2014.
S. Tasiran, K. Keutzer, Coverage metrics for functional validation of hardware designs, IEEE Design Test Comput. 4 (2001) 36-45.
Radio Technical Commission for Aeronautics, DO-178B Software Considerations in Airborne Systems and Equipment Certification, 1992.
K.J. Hayhurst, D.S. Veerhusen, J.J. Chilenski, L.K. Rierson, A Practical Tutorial on Modified Condition/decision Coverage, NASA, 2001. TM-2001-210876.
J. Yoo, E.-S. Kim, D.-A. Lee, J.-G. Choi, Y.J. Lee, J.-S. Lee, Nude 2.0: a model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants, in: Proceedings of the 2014 International Symposium on Integrated Circuits, Singapore, Dec 10-12, 2014.
D.-A. Lee, E.-S. Kim, Y.-J. Seo, J. Yoo, FBDEditor: an FBD design program for developing nuclear digital I&C systems, in: Proceedings of the 16th Korea Conference on Software Engineering, PyeongChang, Korea, Feb 12-14, 2014
E.-S. Kim, D.-A. Lee, J. Yoo, The scenario generator for verifying the correctness of FBDtoVerilog translator, in: Proceedings of the Korea Information Processing Society, vol. 21, Ajou University, Korea, April 24-25, 2014.
Korea Atomic Energy Research Institute (KAERI), Software Design Specification for Reactor Protection System, Rev.02, 2006. KNICS-RPS-SD231.
Rev.00, KAERI, Software Requirements Specification for Reactor Protection System, 2005. KNICS-RPS-SRS221.
해당 논문의 주제분야에서 활용도가 높은 상위 5개 콘텐츠를 보여줍니다.
더보기 버튼을 클릭하시면 더 많은 관련자료를 살펴볼 수 있습니다.
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.