Main Page: Difference between revisions

← Older edit

Latest revision as of 23:33, 2 May 2026

🌐 Go to English Page

SRLab

Systems Research Laboratory

안전하고 신뢰할 수 있는 시스템 소프트웨어를 위한 연구

Digital Twin · Runtime Assurance · Airborne Software · LLM Engineering

About the Lab

SRLab은 안전성과 신뢰성이 요구되는 시스템 소프트웨어를 중심으로 연구를 수행합니다.

특히 항공기·UAV·자율 시스템과 같이 결함이 치명적인 결과로 이어지는 도메인에서, 시스템 소프트웨어가 지능적이고, 신뢰할 수 있고, 효율적으로 동작하도록 만드는 것을 목표로 합니다.

다음과 같은 주제들을 통합적으로 연구하고 있습니다.

AI 기반 시스템 소프트웨어 — 인공지능, Vision-Language Model (VLM), Agentic AI를 시스템 소프트웨어에 접목
Physical AI — 물리 세계와 상호작용하는 AI 시스템의 설계와 검증
Digital Twin — 항공기·UAV·자율 시스템의 디지털 트윈 모델링 및 활용
Runtime Assurance (RTA) — 실시간 환경에서의 안전성 보증 및 페일세이프 메커니즘
Edge Computing & Computation Offloading — 자원 제약 환경에서의 분산 컴퓨팅 최적화
LLM for Software Engineering — 거대언어모델 기반 SW 엔지니어링 자동화

이 모든 연구는 신뢰할 수 있는 시스템 소프트웨어를 어떻게 설계·구현·검증할 것인가라는 질문을 중심으로 유기적으로 연결되어 있습니다.

소속: 경상국립대학교 학부 소프트웨어공학과, 대학원 AI융합공학과
지도교수: 이성진
위치: 경상남도 진주시 진주대로 501 ICT융합센터 601동 908호
이메일: lab@gnu.ac.kr

→ 연구실 구성원 보기

Research Areas

🛰️ Digital Twin (DT)

항공기·UAV의 디지털 트윈 모델링과 Edge/Cloud Computation Offloading 기술을 통해 실시간 모니터링과 예측 진단을 가능하게 합니다.

→ DT 연구원 보기 · 0 편의 논문

🛡️ Runtime Assurance (RTA)

항공·자율 시스템의 런타임에서 안전성을 보장하는 모니터링과 페일세이프 메커니즘을 연구합니다. DO-178C와 같은 항공 SW 표준에 부합하는 검증 방법론도 다룹니다.

→ RTA 연구원 보기

✈️ UAV & Airborne Software

무인기 시스템의 임베디드 소프트웨어, 비행 제어, 미션 관리 소프트웨어를 설계·검증합니다. PX4·ROS2 등 오픈 플랫폼 기반 연구도 포함됩니다.

→ UAV 연구원 보기

🤖 LLM for Software Engineering

거대언어모델을 활용한 요구사항 분석, 코드 생성·검증, 안전 크리티컬 SW의 문서화 자동화 등 SW 엔지니어링 프로세스 혁신을 연구합니다.

→ LLM 연구원 보기

🏗️ Structural Health Monitoring (SHM)

센서 데이터 기반 구조물의 상태 진단·예측 기법, 항공기 구조 건전성 모니터링 시스템을 연구합니다.

→ SHM 연구원 보기

🔗 Multi-Agent Systems (MAS)

다중 자율 에이전트의 협력·조정 알고리즘과 분산 시스템 검증 방법을 연구합니다.

→ MAS 연구원 보기

→ 연구 분야 자세히 보기

News & Highlights

최근 논문

On-the-fly repair of multi-variable atomicity violations in airborne software

Changhui Bae; Euteum Choi; Ok-Kyoon Ha; Yong-Kee Jun; Seongjin Lee

Journal of Systems and Software, vol. 239, pp. 1128892026

DOI: 10.1016/j.jss.2026.112889

Digital twin platform for real-time data communication in UAV environment

Changhui Bae; Euteum Choi; Sungjoo Kang; Sungsoo Ahn; Seongjin Lee

Future Generation Computer Systems, vol. 175, pp. 1080782026

DOI: 10.1016/j.future.2025.108078

Software Execution Error Diagnosis for UAS Health Management

Jinseok Park; Keon-Pyo Lee; Euteum Choi; Yong-Kee Jun; Seongjin Lee

Journal of the Korean Society for Aeronautical & Space Sciences, vol. 53, no. 4, pp. 433-4442025

DOI: 10.5139/JKSAS.2025.53.4.433

... further results

→ All Publications

최근 특허

LLM(엘엘엠) 에이전트 기반 스마트 팩토리 자율운영 시스템

박세호, 문기준, 이성진

특허등록 C-2026-01908815 April 2026KR

맞춤형 공공정책 안내·번역 챗봇

임대원, 진호경, 이성진

특허등록 C-2026-01908915 April 2026KR

LexiBridge(렉시브리지): 레거시 교육 자료를 위한 AI(에이아이) 문해력 가교

전혁건, 강민지, 이성진

특허등록 C-2026-01908715 April 2026KR

... further results

→ All Patents and Software Copyrights

Recruiting

함께 연구할 연구원을 모집합니다

SRLab은 소프트웨어 개발에 관심 있는 열정적인 분을 환영합니다. 다음과 같은 분들에게 적합한 연구실입니다.

안전 크리티컬 시스템(항공기, 자율 시스템, 의료시스템 등)에 관심이 있는 분
디지털 트윈, 시뮬레이션, 모델 기반 개발에 흥미가 있는 분
C/C++ · Python · ROS · 임베디드 SW 경험이 있거나 배울 의지가 있는 분
LLM을 활용한 SW 엔지니어링 자동화에 관심 있는 분
독립적이고 자기주도적인 연구에 관심 있는 분

모집 분야

구분	자격	우대사항
박사과정	관련 분야 석사 학위 또는 졸업 예정자	논문 게재 경험, 연구 프로젝트 경험
석사과정	학사 학위 또는 졸업 예정자	프로그래밍, SW 또는 AI 관련 프로젝트 경험
학부 인턴	학부 3, 4학년	자기주도 학습 의지, 팀 프로젝트 경험

연구실 지원 혜택

장학금 / 인건비: 대학원생 등록금 및 인건비 지원 (BK21, NRF 과제 등)
연구 환경: 개인 연구공간, 고성능 워크스테이션, GPU 서버, UAV 실험 장비
성장 기회: 국내·국제 학술대회 발표 지원, 산학 협력 프로젝트 참여, 해외 인턴십 기회
커리어: 졸업생 항공·SW·AI 분야 주요 기관 및 기업 진출 (→ Alumni)

지원 방법

관심 있으신 분은 다음 자료를 이메일로 보내주세요.

이력서 및 자기소개서
성적증명서
관심 연구 분야 및 동기를 담은 짧은 글 (1페이지 내외)
(선택) GitHub, 포트폴리오, 발표 논문 등

📧 문의: insight@gnu.ac.kr (지도교수)

면담은 이메일로 일정을 잡은 후 대면 또는 화상으로 진행됩니다.

Quick Links

👥 연구실 구성원
박사·석사·학부생·Alumni

📄 논문
122 편

🔬 연구 프로젝트
진행/완료 과제

Contact

주소: 경상남도 진주시 진주대로로 501 (우편번호: 52828) — 경상국립대학교 ICT융합센터 601동 908호
이메일: insight@gnu.ac.kr
전화: 055-772-1378
GitHub: github.com/System-SW

@@ Line 1: / Line 1: @@
+{{DISPLAYTITLE:&nbsp;}}
 __NOTOC__
+<div style="text-align:right; margin-bottom:10px;">[[Main_Page/en|🌐 Go to English Page]]</div>
 <div style="background:linear-gradient(135deg, #1a3a6c 0%, #2a5298 100%); color:#fff; padding:40px 30px; border-radius:8px; margin-bottom:25px; text-align:center;">
 <div style="font-size:230%; font-weight:bold; letter-spacing:1px;">SRLab</div>
-<div style="font-size:120%; margin-top:8px; opacity:0.9;">Software Reliability Laboratory</div>
+<div style="font-size:120%; margin-top:8px; opacity:0.9;"> Systems Research Laboratory</div>
 <div style="font-size:95%; margin-top:15px; opacity:0.85;">
-신뢰할 수 있는 항공·자율 시스템 소프트웨어를 위한 연구
+안전하고 신뢰할 수 있는 시스템 소프트웨어를 위한 연구
 </div>
 <div style="font-size:90%; margin-top:6px; opacity:0.75;">
@@ Line 36: / Line 38: @@
 * '''이메일''': lab@gnu.ac.kr
-[[Members|→ 연구실 구성원 보기]] ·
+[[Members|→ 연구실 구성원 보기]]
-[[About|→ 연구실 자세히 보기]]
 == Research Areas ==
@@ Line 129: / Line 130: @@
 === 최근 논문 ===
 {{#ask: [[Category:Publication]]
-  | ?Has publication year = 연도
+  | ?Author
-  | ?Has venue            = 게재지
+ | valuesep = ;&nbsp;
-  | format    = ul
+ | ?Title
-  | sort      = Has publication year
+ | ?Venue
-  | order     = desc
+ | ?Volume
-  | limit     = 5
+ | ?Issue
-  | mainlabel = 제목
+ | ?Pages
+ | ?Year
+  | ?DOI
+ | sort=Year
+ | order=Desc
+  | format=template
+  | template=CitePub
+  | named args=yes
+  | limit=3
+  | default=
 }}
-[[:Category:Publication|→ 전체 논문 목록]]
+[[Publications | → All Publications]]
 === 최근 특허 ===
 {{#ask: [[Category:Patent]]
-  | ?Has filing date = 출원일
+  |?Inventor
-  | format    = ul
+ |?Title
-  | sort      = Has filing date
+ |?RegistrationNumber
-  | order     = desc
+ |?RegistrationDate
-  | limit     = 3
+ |?FilingNumber
-  | mainlabel = 제목
+ |?FilingDate
+ |?Nationality
+ |format=template
+ |template=CitePat
+  |named args=yes
+  |sort=RegistrationDate
+  |order=desc
+  |limit=3
+  | default=
 }}
-[[:Category:Patent|→ 전체 특허 목록]]
+[[ Patents | → All Patents and Software Copyrights]]
 </div>
@@ Line 157: / Line 176: @@
 <div style="background:linear-gradient(to right, #fff8e1, #fffaf0); padding:25px; border-radius:8px; border:1px solid #f0c674;">
-=== 함께 연구할 학생을 모집합니다 ===
+=== 함께 연구할 연구원을 모집합니다 ===
-SRLab은 '''항공·자율 시스템 소프트웨어'''에 관심 있는 열정적인 학생들을 환영합니다.
+SRLab은 '''소프트웨어 개발'''에 관심 있는 열정적인 분을 환영합니다.
 다음과 같은 분들에게 적합한 연구실입니다.
-* 안전 크리티컬 시스템(항공기, 자율차, 의료기기 등)에 관심이 있는 분
+* 안전 크리티컬 시스템(항공기, 자율 시스템, 의료시스템 등)에 관심이 있는 분
 * 디지털 트윈, 시뮬레이션, 모델 기반 개발에 흥미가 있는 분
 * C/C++ · Python · ROS · 임베디드 SW 경험이 있거나 배울 의지가 있는 분
 * LLM을 활용한 SW 엔지니어링 자동화에 관심 있는 분
+* 독립적이고 자기주도적인 연구에 관심 있는 분
 === 모집 분야 ===
@@ Line 174: / Line 194: @@
 | '''박사과정''' || 관련 분야 석사 학위 또는 졸업 예정자 || 논문 게재 경험, 연구 프로젝트 경험
 |-
-| '''석사과정''' || 학사 학위 또는 졸업 예정자 || 프로그래밍, 항공 SW 또는 AI 관련 프로젝트 경험
+| '''석사과정''' || 학사 학위 또는 졸업 예정자 || 프로그래밍, SW 또는 AI 관련 프로젝트 경험
 |-
 | '''학부 인턴''' || 학부 3, 4학년 || 자기주도 학습 의지, 팀 프로젝트 경험
@@ Line 213: / Line 233: @@
 </div>
 <div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
-[[:Category:Patent|🔒 '''특허''']]<br/>
+[[:Category:Patent|🔒 '''특허&저작권''']]<br/>
 <span style="font-size:85%; color:#666;">{{#ask: [[Category:Patent]] | format=count}} 건</span>
 </div>