![Sejin Jung](jung\photo.png)
SEJIN JUNG
Dependable Software Laboratory [link]
Division of Computer Science and Engineering
College of Information and Communication
Konkuk University, Republic of Korea
E-Mail: sjjung.dslab@gmail.com, jsjj0728@gmail.com, jsjj0728@konkuk.ac.kr
Publications
International Journal
- 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).
- Sejin Jung, Junbeom Yoo, Young-Jun Lee, "A PLC Platform-Independent Structural Analysis on FBD Programs for Digital Reactor Protection Systems," Annals of Nuclear Energy, Vol.103, pp.454-469, 2017. (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)
- Sejin Jung, Junbeom Yoo, Young-Jun Lee "A practical application of NUREG/CR-6430 software safety hazard analysis to FPGA software," Reliability Engineering & System Safety, Vol. 202, 2020. (paper)
- Sejin Jung, Junbeom Yoo, Young-Jun Lee "A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems," Reliability Engineering & System Safety, 2020. (paper)
-
Sejin Jung, Yoona Heo, Junbeom Yoo,
"A Formal Approach to Support the Identification of Unsafe Control Actions of STPA for Nuclear Projection Systems,"
Nuclear Engineering and Technology, 2021. (Accepted)
International Conference
- 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, Sejin Jung, Junbeom Yoo, Young Jun Lee and Jang Soo Lee "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)
Domestic Journal & Magazine
- 정세진, 김의섭, 유준범, "원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증", 정보과학회지, 제 33권, 제 7호, pp.33-40, 2015. (paper)
- 정세진, 이동아, 김의섭, 장천현, 유준범, "OOPT: 소프트웨어공학 교육을 위한 객체지향 소프트웨어 개발 방법론", 정보과학회논문지, Vol.44, No.5, pp.510-521, 2017. (paper)
- 정세진, 유준범, "OSDEF: 객체지향 소프트웨어 개발 실습을 위한 통합 프레임워크", 정보과학회논문지, Vol.46, No.8, pp.774-786, 2019. (paper)
- 정세진, 김의섭, 유준범, "가상물리시스템의 산출물간 통합 관계분석을 위한 추적성 분석", 정보과학회논문지, Vol.48, No.1, pp.107-118, 2021. (paper)
Domestic Conference
- 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)
- 정세진, 김의섭, 유준범, 최종균, 김장열, "원자력발전소용 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)
- 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)
- 손준익, 정세진, 유준범, 이영준 "NuSCPI: 원자력발전소의 디지털 계측제어 소프트웨어를 대상으로 개발된 Safety Case Pattern 작성을 위한 CASE 도구", 한국정보과학회 2017 한국컴퓨터종합학술대회, pp.545-547, 부산 벡스코, 12.20-12.22, 2017. (paper, ppt)
- 정세진, 유준범, 이장수, "원자력 발전소 안전 필수 시스템의 FMEA분석 결과의 적정성 평가를 위한 템플릿", 한국정보과학회 2017 한국컴퓨터종합학술대회, pp.595-597, 부산 벡스코, 12.20-12.22, 2017. (paper, ppt)
- 손준익, 정세진, 유준범, "NuSCR 정형 요구 명세에서 UML2.0 Activity Diagram으로의 변환 규칙", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.577-579, 제주도 국제컨벤션센터, 6.20-6.22, 2018. (paper, ppt)
- 정세진, 손준익, 유준범, "원자력 발전소 안전 소프트웨어의 safety case pattern 작성을 위한 문헌 리뷰 기반의 pattern 작성 범위 분류", 한국정보과학회 2018 한국컴퓨터종합학술대회, pp.577-579, 제주도 국제컨벤션센터, 6.20-6.22, 2018. (paper, ppt)
- 정세진, 유준범, "위해도 분석 결과의 효과적인 확인을 위한 추적성 기반 위해도 모델", 2019 한국소프트웨어공학학술대회 (KCSE 2019), pp.164-167, 강원도 휘닉스파크, 2019. (paper, ppt)
- 정세진, 김의섭, 유준범, "Safety Case 패턴의 분류 카테고리에 따른 인스턴스 생성", 2019 한국컴퓨터종합학술대회 (KCC 2019), 제주 국제컨벤션센터, 2019. (paper, ppt)
- 정세진, 유준범, "", 2020 한국컴퓨터종합학술대회 (KCC 2020), 온라인 개최
Submitted