Gate Io Lina

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: gate. io

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 , api key gate.io , 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 Áø·ÎÅ½»ö
- (2-2) ¼ÒÇÁÆ®¿þ¾î°øÇÐ
- (3-1) °´Ã¼ÁöÇâ°³¹ß¹æ¹ý·Ð
- (4-1) ¼ÒÇÁÆ®¿þ¾î V&V (Æó¼³ ¿¹Á¤)
- (´ëÇÐ¿ø) ¼ÒÇÁÆ®¿þ¾î ¾ÆÅ°ÅØÃ³ (°í±Þ¼ÒÇÁÆ®¿þ¾î°øÇÐ)
2008 ~ 20gate io png

Etc.

¡¡