소프트웨어공학과 소프트웨어공학과

소프트웨어 요구공학 연구실

• 소프트웨어 시스템 (항공/드론 분야 포함) 목표/문제 탐색
• 요구사항 이해, 분석, 모델링, 명세, 검증과 응용 시스템 개발
• 기계학습을 활용한 요구공학
• 데이터논문 출판을 위한 동료심사 및 정보시스템 연구, 개발

바로가기

분산시스템연구실

• Distributed computational modeling
• Distributed algorithmic design and evaluations
• Middleware systems
• Kernel-level system design
• Interdisciplinary computing and embedded engineering applications

바로가기

소프트웨어 구조 및 진화연구실

• 소프트웨어 진화 비용을 줄이기 위한 자동화 연구
  • 요구사항에 따른 이슈 분류를 통한 체계적인 요구사항 관리
  • 소프트웨어 개정 이력을 마이닝하여 자동 문서 갱신을 통한 코드와 문서 동기화
  • 코드 탐색을 안내하기 위한 개발자 동작 히스토리를 활용한 추천 시스템소프트웨어 API 사용 자동갱신 추천 기법
• 변화에 강건한 안전한 소프트웨어 아키텍처 설계 연구
  • 최첨단 기술에 따른 아키텍처 패턴 및 설계 연구
  • 산업계의 소프트웨어 컴포넌트 재활용을 높이기 위한 소프트웨어 프로덕트 라인 적용 연구
  • DO-178C, FACE 등 항공 및 산업계의 표준에 적용되는 프로세스와 아키텍처 연구

바로가기

Systems Research Lab

• 임베디드 시스템 성능 분석
• 시스템 소프트웨어 최적화
• 스토리지 및 파일 시스템 최적화
• 항공용 미들웨어 플랫폼 경량화 및 응용 개발
• ARINC653, DO-178 호환 및 FACE 구조 기반 개발

바로가기

빅데이터 시스템 소프트웨어 연구실

• 빅데이터 스토리지시스템 성능 및 서비스 품질 향상 연구
• 차세대 저장장치 성능 및 신뢰성 향상 연구
• 매니코어 기반 운영체제 구조 및 동시성 기법 연구
• 시스템 소프트웨어 성능 및 신뢰성 향상을 위한 인공지능/머신러닝 응용

바로가기

소프트웨어 품질 및 플랫폼 공학 연구실

• 소프트웨어 재사용
• 소프트웨어 분석/검증/시험
• 소프트웨어 결함 탐색 및 추적
• 소프트웨어 품질의 정량적 측정 및 평가
• 소프트웨어 제품군 개발/시험
• AI 기반 소프트웨어 공학

바로가기