| 지도교수 | 최진영 | ||
|---|---|---|---|
| 주 소 |
서울특별시 성북구 안암로 145 고려대학교 자연계캠퍼스 애기능생활관 108호 |
||
| 전화번호 | (02)3290 - 3575 | 홈페이지 | https://sites.google.com/view/kuformal |
| /소 개 |
정형기법 연구실에서는 크게 세 가지 분야에 대한 연구를 하고 있습니다.
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 | ||
| 소개 영상 | |||