Eui-Sub Kim

Publications

• International Journal
  • Junbeom Yoo, Eui-Sub Kim and Jang-Soo Lee, "A Behavior-Preserving Translation from FBD Design to C Implementation for Reactor Protection System Software, " Nuclear Engineering and Technology, Vol.45, No.4, pp.489-504, 2013. (paper)
  • Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, Young Jun Lee and Jong-Gyun Choi, "An Integrated Software Testing Framework for FPGA-based Controllers in Nuclear Power Plants," Nuclear Engineering and Technology, Vol.48, No.2, pp.470-481, 2016. (paper)
  • Sejin Jung, Eui-Sub Kim, Junbeom Yoo, Jang-Yeol Kim and Jong Gyun Choi, "An Evaluation and Acceptance of COTS Software for FPGA-based Controllers in NPPS," Annals of Nuclear Energy, Vol.94, pp.338-349, 2016. (paper)
  • Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee "NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs," Journal of Computing Science and Engineering, Vol.11, No.1, pp.9-23, 2017. (paper)

• International Conference
  • Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo and Jang-Soo Lee, "A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System, "Cybersecurity in Control and Safety Systems - Invited Session, 2013 IFAC Conference on Manufacturing Modelling, Management, and Control (MIM 2013), pp.2193-2198, June 19-21, Saint Petersburg, Russia, 2013. (paper, ppt)
  • Eui-Sub Kim, Dong-Ah Lee and Junbeom Yoo, "RT-Selection: A Regression Test Selection Technique Using Textual Differencing and Change Impact Analysis,"2013 International Workshop on ICT, pp.1-4, Dec. 12-14, Beppu, Japan, 2013. (paper, ppt)
  • Dong-Ah Lee, Eui-sub Kim, Junbeom Yoo, Jang-Soo Lee, and Jong Gyun Choi, "FBDtoVerilog 2.0: An automatic translation of FBD into Verilog to develop FPGA," International Conference on Information Science & Applications 2014 (ICISA2014), pp. 447–450, May 6th–9th, Seoul, Republic of Korea, 2014. (paper, ppt)
  • Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee and Jong-Gyun Choi, "An Integrated Software Development Framework for PLC & FPGA based Digital I&Cs," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP 2014), Aug. 25-28, Jeju, Republic of Korea, 2014. (paper, ppt)
  • Eui-Sub Kim, Junbeom Yoo, Jong Gyun Choi, Young Jun Lee and Jang-Soo Lee, "A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study," The 2nd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), co-located with ISSRE 2014, pp.210-215, Nov. 3-6, Naples, Italy, 2014. (paper, ppt)
  • Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young Jun Lee and Jang-Soo Lee, "NuDE 2.0: A Model-based Software Development Environment for the PLC & FPGA based Digital Systems in Nuclear Power Plants," International Symposium on Integrated Circuit (ISIC 2014), pp.00-00, Dec. 10-12, Singapore, 2014. (paper, ppt)
  • Junbeom Yoo, Eui-Sub Kim and Sejin Jung, "Verification Techniques for COTS Dedication of Commercial FPGA Tools," The 10th International Symposium on Embedded Technology (ISET 2015), pp.150-151, June 04-06, Daegu, Korea, 2015. (paper, ppt)
  • Eui-Sub Kim and Junbeom Yoo, "A New Equivalence Checker for Demonstrating Correctness of Synthesis and Generation of Safety-Critical Software," The 11th IEMEK Symposium on Embedded Technology (ISET 2016), May 26-27, Deajeon, Korea, 2016. (paper, ppt)
  • Eui-Sub Kim and Junbeom Yoo, "FBDScenaGen+: GA-based High-Quality Scenario Generator for FBD Simulation," International Symposium on Future I&C for Nuclear Power Plants (ISOFIC/ISSNP 2017), Nov. 26-30, Gyeongju, Korea, 2017 (paper, ppt)

• Patent
  • 등록번호,1016017410000, 등록일,2016.03.03, 출원번호,1020150092498, 출원일,2015.06.29, 서로 다른 언어로 작성된 프로그램들의 동일성을 검증하는 검증장치, "이영준, 최종균, 김의섭, 유준범, 이동아," 출원인, 한국원자력연구원 (paper)

• Domestic Journal & Magazine
  • 김의섭, 윤상현, 유준범, "안전 필수 시스템을 위한 안전성 분석 기법," 중소기업정보기술융합학회 논문지, 제2권 제1호, pp.11-18, 2012. (paper)
  • 이동아, 김의섭, 유준범, "원자력 발전소 I&C 시스템의 안전성 분석을 위한 신기술 적용 사례", 정보과학회지, 제31권, 제5호, p10-17, 2013. (paper)
  • 김의섭, 이동아, 유준범, "RT-Selection: 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법", 정보과학회논문지 : 소프트웨어 및 응용, 제41권, 제6호, pp.407-416, 2014. (paper)
  • 김의섭, 이동아, 유준범, "RT-Selection: 텍스트 차이점과 변경 영향 분석을 이용한 회귀 테스트 선택 기법", 소프트웨어공학센터, 웹진 108호: 인사이드 이슈, 2014. (paper)
  • 정세진, 김의섭, 유준범, "원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증", 정보과학회지, 제 33권, 제 7호, pp.33-40, 2015. (paper)
  • 김재엽, 김의섭, 유준범, 이영준, 최종균, "FBDtoVHDL: FPGA 개발을 위한 FBD에서 VHDL로의 자동 변환", 정보과학회논문지 : 소프트웨어 및 응용 , 제43권, 제5호, pp.569-578, 2016. (paper)
  • 정세진, 이동아, 김의섭, 장천현, 유준범, "OOPT: 소프트웨어공학 교육을 위한 객체지향 소프트웨어 개발 방법론,"정보과학회논문지, Vol.44, No.5, pp.510-521, 2017. (paper)

• Domestic Conference
  • 이동아, 김의섭, 유준범, "고장수목을 이용한 Function Block Diagram의 위험성 분석 기법 연구," 한국정보과학회 제39회 추계발표회 (KIISE 2012), Vol.39, No.2(B), pp.76-78, 충남대학교, 11.23~11.24, 2012. (paper, ppt)
  • 김의섭, 이동아, 유준범, "번역기, 코드 생성기 및 컴파일러를 위한 검증기법 조사," 2013 한국소프트웨어공학학술대회 (KCSE 2013), 강원도 평창 휘닉스파크, 03.30-02.01, 2013. (paper, ppt)
  • 이동아, 김의섭, 서영주, 유준범, "FBDEditor: 원자력 계측제어 시스템 개발을 위한 FBD 설계 프로그램", 2014 한국소프트웨어공학학술대회 (KCSE 2014), pp.315-318, 강원도 평창 휘닉스파크, 02.12-02.14, 2014. (paper, ppt)
  • 김의섭, 이동아, 유준범, "FBDtoVerilog 변환기의 Correctness를 검증하기 위한 자동화된 시나리오 생성기 구현", 2014년 정보처리학회 춘계학술발표대회 논문집 제21권 1호, pp.599-602, 2014. (paper, ppt)
  • Sejin Jung, Dong-Ah Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee, "Programming Guidelines for FBD Programs in Reactor Protection System Software", Transactions of the Korean Nuclear Society Autumn Meeting, pp 1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
  • Jaeyeob Kim, Eui-Sub Kim, Junbeom Yoo, "A Translator Verification Technique for FPGA Software Development in Nuclear Power Plants", Transactions of the Korean Nuclear Society Autumn Meeting, pp 1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
  • Eui-Sub Kim, Junbeom Yoo, Jong-Gyun Choi, Jang-Yeol Kim, Jang-Soo Lee, "A Correctness Verification Technique for Commercial FPGA Synthesis Tools", Transactions of the Korean Nuclear Society Autumn Meeting, pp 1986-1988, Pyeongchang, Korea, 10.30-10.31, 2014. (paper, ppt)
  • 정세진, 김의섭, 유준범, 최종균, 김장열, "원자력발전소용 FPGA 기반 디지털 I&C 시스템 개발에 사용된 COTS 소프트웨어의 안전 카테고리 분류", 한국정보과학회 2015 한국컴퓨터종합학술대회, pp.561-563, 제주대, 06.24-06.26, 2015. (우수논문, paper, ppt)
  • 김의섭, 정세진, 김재엽, 유준범, 장천현, "Verilog4VIS-EC: VIS의 동치성 검사를 위한 Verilog의 정제된 포맷", 한국정보과학회 2015 한국컴퓨터종합학술대회, pp.573-575, 제주대, 06.24-06.26, 2015. (paper, ppt)
  • 정세진, 김의섭, 유준범, 최종균, 김장열, 이장수 "IP Core library 사용이 상용 합성 도구의 COTS SW Dedication에 미치는 영향 분석", 한국정보과학회 제42회 동계학술발표회 (KIISE 2015), pp 499-502, 강원도 휘닉스파크, 12.17~12.19, 2015. (paper, ppt)
  • 김재엽, 김의섭, 유준범, 이영준, 최종균, "FBDtoVHDL: FPGA 개발을 위한 FBD로부터 VHDL 자동 변환 도구", 한국정보과학회 제42회 동계학술발표회 (KIISE 2015), pp 461-463, 강원도 휘닉스파크, 12.17~12.19, 2015. (paper, ppt)
  • Eui-Sub Kim, Sejin Jung, Jaeyeob Kim and Junbeom Yoo, "MC/DC and Toggle Coverage Measurement Tool for FBD Program Simulation", Transactions of the Korean Nuclear Society Spring Meeting, May 12-13, Jeju, Korea, 2016. (paper, ppt)
  • Sejin Jung, Eui-Sub Kim, Junbeom Yoo, Jong Yong Keum and Jang-Soo Lee "Hazard Analysis of Software Requirements Specification for Process Module of FPGA-based Controllers in NPP", Transactions of the Korean Nuclear Society Autumn Meeting, October 27-28, Gyeongju, Korea, 2016. (paper, ppt)
  • 김의섭, 김민우, 유준범, "지능형 교통시스템의 사이버물리 시스템을 위한 요구사항 추적 모델 및 지원도구", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.580-582, 제주 국제컨벤션센터, 06.20-06.22, 2018. (paper, ppt)
  • 김의섭, 유준범, "사이버-피지컬 시스템의 상호운용성 상충관계 분석에 관한 연구", 2019 한국소프트웨어공학학술대회 (KCSE 2019), pp.164-167, 강원도 휘닉스파크, 01.28-01.30, 2019. (paper, ppt)
  • 김의섭, 유준범, "STPA를 이용한 군집 운행 시스템의 안전성 분석 사례 연구", 2020 한국소프트웨어공학학술대회 (KCSE 2020), pp.193-196, 강원도 휘닉스파크, 02.03-02.05, 2020. (paper, ppt)

• Submitted
  • Eui-Sub Kim, Junbeom Yoo, "CVEC: A Customized VIS-based Equivalence Checker for FPGA Logic Synthesis," Journal of Signal Processing Systems (Submitted, 2019.9.)

Class

• 컴퓨터1 (2017 Summer Class) [link]