| Dependable software 연구실에서는 소프트웨어공학 분야의 다양한 기반 기술을 연구하고 있으며, 특히 Safety critical system(ex, 원자력)에서의 소프트웨어 안전성을 위한 safety analysis 및 formal modeling & verification 등을 집중적으로 연구하고 있습니다. Safety analysis는 시스템의 hazard를 식별하여 사고 방지 및 acceptable한 수준으로 hazard를 경감시키기 위한 방법으로, 본 연구실에서는 다양한 최신 safety analysis 기법들을 분석하고 이를 해당 도메인에 적용하는 연구를 진행하고 있습니다. 또한, 기존 safety analysis 기법들을 바탕으로 새로운 safety analysis 기법을 개발하는 연구도 진행하고 있습니다. Formal modeling & verification은 소프트웨어를 논리 및 수리에 기반하여 검증하는 방법으로써, 본 연구실에서는 formal verification을 위한 지원 도구 및 기존 알고리즘의 성능 개선, 새로운 알고리즘의 개발 등의 연구를 진행하고 있습니다. | |
| 주요 연구 분야 |
|
|---|