TOP

게시판

홈>게시판>공지사항

게시물 상세
Software Engineering Lab
작성자 :   작성일 : 18.05.16   조회수 : 635
첨부파일 S1711240959155_1.jpg
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)를 이용하여 시맨틱 
기반의 애플리케이션 접근제어 방법을 연구하고 있다. 
소프트웨어 검증 분야에서는 소프트웨어 검증이 필요한 다양한 분야에서 멀티스레드 소프트웨어의 자동 시뮬레이션 및 검증 도구를 연구하고 있다. 
사물인터넷 접근제어 분야에서는 사용자가 정책을 정의하면서 발생할 수 있는 충돌 가능성을 예측하고, 이를 사용자의 의도에 부합하도록 쉽게 수정할 수 있게 하는 연구를 진행중이다.
이전글 [대학원]2019-1 연구계획서 입력 및 학위청구논문 진행일정 안내
다음글