Dependable Software Laboratory

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

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

Publications

Projects

Lectures

• 2025

  • (2-2) 소프트웨어공학   

  • (3-1) 객체지향개발방법론

  • (4-1) 졸업 프로젝트 (1)

  • (대학원) 고급소프트웨어공학 (소프트웨어공학 특론)

• 2008 ~ 2024

해석: 대학원생이 수행하는 연구과제들은 대부분 국가 연구기관의 연구과제로서, 세금으로 지원 받은 것입니다. 졸업 후, 다른 업종/분야에서 종사하지 말고, 어디든 본인의 연구 분야에서 최선을 다함으로써, 국민의 세금에 보답하자는 의미입니다.