Dependable Software Laboratory

Dependable Software Laboratory

JUNBEOM YOO Professor / Ph.D

   Division of Computer Science and Engineering
College of Information and Communication, KONKUK UNIVERSITY

   Room 386, Engineering Bld. C
   120 Neungdong-ro, Gwangjin-gu, Seoul 05029. KOREA

   Office: +82-2-450-3258
   E-Mail: jbyoo@konkuk.ac.kr

Research Interests

Software Engineering
- Safety Analysis
- Formal Modeling and Verification
- Hybrid System Verification
- Requirement Engineering
- Traceability Analysis
  　
Current Research Focus
- NuDE (Nuclear Development Environment) : FBD-based Software Development Framework for Nuclear Power Plants' Protection System
  - NuSRS 2.0 , NuSCRtoFBD , FBD Verifier , VIS Analyzer , FBDtoVerilog , FBD Tester , NuFTA , FBD_FTA , FBD Checker , IST-FPGA , CVEC
  - NuDE 1.0 / NuDE 2.0 / Nude 3.0
- V&V of OFP for the HELISCOPE UAV
- Formal Verification of Hybrid Systems
- Formal Equivalence Checking
- Integrated/Hierarchical Hazard Analysis
- Traceability of CPS (Cyber Physical System) and SoS (System of Systems)
- Traceability of Requirements to Code and Unit Test

Members

박사 과정: 허윤아
석사 과정: 송승현 (part-time)
졸업생

Lab. Activity

2024 2023 2022 2021
2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010

Publications

Projects

Lectures

2024
- (1-1) CSP 진로탐색
- (3-1) 객체지향개발방법론
- (4-1) 소프트웨어 V&V
2008 ~ 2023

Etc.