TOP

학과소개

홈>학과소개>연구실소개

소프트웨어공학 연구실(Software Engineering Laboratory)
지도교수 Scott Uk-Jin Lee
연구실 위치 제 3공학관 421호
연락처 031-400-4754
홈페이지 selab.hanyang.ac.kr
Software Development Process & Methodology
- Software Validation and Verification
- Formal Methods : Model Checking & Theorem Proving
- Requirement Engineering
- Software Product Line
- Web and Web Security
- Semistructured Data and Semantic Web
- IOT(Internet Of Things) Access Control
 
소프트웨어 공학 연구실의 주요 연구 분야로는 소프트웨어 요구 공학(Requirement Engineering), 시맨틱웹 기반의 스마트 환경(Semantic Web based Smart Environment), 소프트웨어 검증(Software Verification), 사물인터넷 접근제어(Internet of Things Access Control)로 나눌 수 있다. 
소프트웨어 요구 공학 분야에서는 고객의 요구사항 변화를 효율적으로 추적하고 관리하기 위한 관리기법을 연구하고 있다. 
시맨틱웹 기반 스마트 환경 분야에서는 스마트 그리드(Smart Grid)의 각 IoT 장치에 전력관리를 효율적으로 하기 위한 방법으로 HBAC(Hand Shake Based Access Control)를 이용하여 시맨틱 
기반의 애플리케이션 접근제어 방법을 연구하고 있다. 
소프트웨어 검증 분야에서는 소프트웨어 검증이 필요한 다양한 분야에서 멀티스레드 소프트웨어의 자동 시뮬레이션 및 검증 도구를 연구하고 있다. 
사물인터넷 접근제어 분야에서는 사용자가 정책을 정의하면서 발생할 수 있는 충돌 가능성을 예측하고, 이를 사용자의 의도에 부합하도록 쉽게 수정할 수 있게 하는 연구를 진행중이다.
리스트