소프트웨어순환공학은 소프트웨어의 순공학과 재/역공학의 생명주기(life cycle)을 통합한 소프트웨어공학의 한 분야입니다. 이 분야에서 가장 핵심적인 목표는 요구사항(requirements)과 설계/명세(design/specification) 그리고 구현/소프트웨어(implementation) 사이의 일관성 및 통일성을 어떻게 보장하고 유지 및 관리하는가 하는 것입니다. 이 목표를 달성하기 위해서 가장 중요한 역할을 하는 것이 바로 명세언어 (specification language)입니다. 즉, 요구사항과 구현된 소프트웨어의 일관성과 통일성이 명세언어라는 매개체를 통해 이루어진다는 의미입니다. 명세언어 뿐 아니라 이를 사용하여 설계/명세를 할 수 있는 도구 또한 매우 중요한 부분입니다. 본 연구실에서는 명세언어의 연구 및 이를 활용할 수 있는 도구의 개발을 진행하고 있습니다. 또한 OMiLAB Korea 연구센터를 설립하여 비엔나 대학의 OMiLAB과 공동 연구를 수행하고 있습니다.

- SW순환공학
- 정형기법 및 언어
- 실시간시스템 및 운영체제
- 시스템행위공학