고려대학교 행정학과

QUICK MENU
  • 로그인
  • 사이트맵
  • KUPID
  • English

정형기법 연구실

지도교수 최진영
주 소 서울시 성북구 안암 5가 고려대학교 자연계캠퍼스 애기능생활관 108호
전화번호 (02)3290 - 3575 홈페이지 https://sites.google.com/korea.ac.kr/fmlab
소 개
정형기법 연구실에서는 크게 세 가지 분야에 대한 연구를 하고 있습니다.
1. 정형기법 (Formal methods)
수학적 기호와 논리학을 기반한 소프트웨어/하드웨어 시스템 등을 개발할 때 사용하는 기법으로, 특히 고등급 시스템 개발 시 꼭 사용하여야 하는 기술 연구.
 - 정형 명세 (Formal Specification) : 수학적 기호를 사용하여 시스템을 명세
 - 정형 검증 (Formal Verification) : 수학적 증명 기법을 사용하여 시스템의 속성 검증
2. 시큐어 소프트웨어 공학/소프트웨어 보증 (Secure Software Engineering)
정형기법 기반 원자력, 자동차, 항공기 분야 안전필수 소프트웨어 및 신뢰성/안전성/보안성이 보장되는 소프트웨어 (secure software) 개발 연구.
 - 시큐어 코딩 / 시큐어 소프트웨어 방법론 개발
3. Real-time System of Systems (SoS)
4차 산업혁명의 한 축인 SoS 의 정형 명세 및 실시간 속성 검증 연구.
논문 리스트 https://dblp.uni-trier.de/pers/hd/c/Choi:Jin=Young