Research Topics
Software Product Line Engineering
In manufacturing industries such as Samsung Electronics, Hyundai Motor Company, Lockheed Martin, etc., software is not developed individually but rather as a product family. Our laboratory studies the engineering techniques necessary to develop low-cost/high-quality software product families. Furthermore, we study an automated technique of generating and testing a product family.
Software Analysis and Testing
Software defects have significant impacts on human safety. Therefore, it is necessary to detect and manage software defects before facing crises. Our lab studies techniques of analyzing and testing software programs for the purpose. In addition, we study functional safety for UAV and automobile software based on DO-178C and ISO-26262 standards.
AI-based UAV Software
Our laboratory studies AI-based UAV (Unmanned Aerial Vehicle) software that performs various missions using data obtained from sensors such as GPS, Camera, and LiDAR. Especially, we studies simulation and techniques to ensure safe flights based on reinforcement learning.
유무인 복합 - 추종 및 장애물 회피_강화학습 (김도원, 김수미, 문기준, 박교리, 장현주)
Small-sized Drone
Medium-sized Drone
GPU Server