Main Page: Difference between revisions
| Line 214: | Line 214: | ||
</div> | </div> | ||
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;"> | <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> | <span style="font-size:85%; color:#666;">{{#ask: [[Category:Patent]] | format=count}} 건</span> | ||
</div> | </div> | ||
Revision as of 22:16, 2 May 2026
안전하고 신뢰할 수 있는 시스템 소프트웨어를 위한 연구
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 표준에 부합하는 검증 방법론도 다룹니다.
✈️ UAV & Airborne Software
무인기 시스템의 임베디드 소프트웨어, 비행 제어, 미션 관리 소프트웨어를 설계·검증합니다. PX4·ROS2 등 오픈 플랫폼 기반 연구도 포함됩니다.
🤖 LLM for Software Engineering
거대언어모델을 활용한 요구사항 분석, 코드 생성·검증, 안전 크리티컬 SW의 문서화 자동화 등 SW 엔지니어링 프로세스 혁신을 연구합니다.
🏗️ Structural Health Monitoring (SHM)
센서 데이터 기반 구조물의 상태 진단·예측 기법, 항공기 구조 건전성 모니터링 시스템을 연구합니다.
News & Highlights
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
Contact
- 주소: 경상남도 진주시 진주대로로 501 (우편번호: 52828) — 경상국립대학교 ICT융합센터 601동 908호
- 이메일: insight@gnu.ac.kr
- 전화: 055-772-1378
- GitHub: github.com/System-SW
© SRLab, Gyeongsang National University · Last updated: 22:12, 2 May 2026 (KST)