Main Page: Difference between revisions

From Innovation
Jump to: navigation, search
← Older edit
No edit summary
No edit summary
 
(44 intermediate revisions by the same user not shown)
Line 1: Line 1:
== 2019-02 ==
{{DISPLAYTITLE: }}
* Undergraduate School
__NOTOC__
** T.B.D
<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;"> 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;">
Digital Twin · Runtime Assurance · Airborne Software · LLM Engineering
</div>
</div>


*Graduate School
== About the Lab ==
**


=== Previous Classes ===
* Undergraduate school
** Introduction to Computer Programming [http://open.gnu.ac.kr/mediawiki/index.php?title=Introduction_to_Computer_Programming_2017-02 2017-02] [http://open.gnu.ac.kr/mediawiki/index.php?title=Introduction_to_Computer_Programming_2018-02 2018-02]
** Database [http://open.gnu.ac.kr/mediawiki/index.php?title=Database 2017-02][http://open.gnu.ac.kr/mediawiki/index.php?title=Database_2018-02 2018-02]
** Data Structure and Algorithms [http://open.gnu.ac.kr/mediawiki/index.php?title=Data_Structure_and_Algorithm 2018-01]
** Computer Networks [http://open.gnu.ac.kr/mediawiki/index.php?title=Computer_Networks_2018-01 2018-01] [http://open.gnu.ac.kr/mediawiki/index.php?title=Computer_Networks_2019-01 2019-01]
** 종합설계 [http://open.gnu.ac.kr/mediawiki/index.php?title=%EC%A2%85%ED%95%A9%EC%84%A4%EA%B3%84 2018-01][http://open.gnu.ac.kr/mediawiki/index.php?title=종합설계_2019-01 2019-01]


* Graduate school
SRLab은 '''안전성과 신뢰성이 요구되는 시스템 소프트웨어'''를 중심으로 연구를 수행합니다.
** Topics System Software [http://open.gnu.ac.kr/mediawiki/index.php?title=Topics_in_System_Software_2018-02 2018-02]
** Database Management System [http://open.gnu.ac.kr/mediawiki/index.php?title=Database_Management_System 2018-01]
** Special Lectuers on Advanced Operating Systems [http://open.gnu.ac.kr/mediawiki/index.php?title=Lectures_on_Advanced_Operating_System 2017-02]
** File and Storage System [http://open.gnu.ac.kr/mediawiki/index.php?title=File_and_Storage_System 2019-01]


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


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


==== Blktrace Experiment ====
* '''AI 기반 시스템 소프트웨어''' — 인공지능, Vision-Language Model (VLM), Agentic AI를 시스템 소프트웨어에 접목
Blktrace Tutorial slide [http://open.gnu.ac.kr/lecslides/2019-1-Ex/blktrace-mobi.odp download]
* '''Physical AI''' — 물리 세계와 상호작용하는 AI 시스템의 설계와 검증
* '''Digital Twin''' — 항공기·UAV·자율 시스템의 디지털 트윈 모델링 및 활용
* '''Runtime Assurance (RTA)''' — 실시간 환경에서의 안전성 보증 및 페일세이프 메커니즘
* '''Edge Computing & Computation Offloading''' — 자원 제약 환경에서의 분산 컴퓨팅 최적화
* '''LLM for Software Engineering''' — 거대언어모델 기반 SW 엔지니어링 자동화
 
이 모든 연구는 '''신뢰할 수 있는 시스템 소프트웨어를 어떻게 설계·구현·검증할 것인가'''라는
질문을 중심으로 유기적으로 연결되어 있습니다.
 
* '''소속''': 경상국립대학교 학부 소프트웨어공학과, 대학원 AI융합공학과
* '''지도교수''': [[Seongjin_Lee | 이성진]]
* '''위치''': 경상남도 진주시 진주대로 501 ICT융합센터 601동 908호
* '''이메일''': lab@gnu.ac.kr
 
[[Members|→ 연구실 구성원 보기]]
 
== Research Areas ==
 
<div style="display:flex; flex-wrap:wrap; gap:15px; margin:20px 0;">
 
<div style="flex:1 1 280px; padding:20px; background:#f0f7ff; border-left:4px solid #1a73e8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a3a6c; margin-bottom:8px;">
🛰️ Digital Twin (DT)
</div>
<div style="font-size:90%; line-height:1.6;">
항공기·UAV의 디지털 트윈 모델링과 Edge/Cloud Computation Offloading 기술을 통해
실시간 모니터링과 예측 진단을 가능하게 합니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword DT|→ DT 연구원 보기]] ·
{{#ask: [[Category:Publication]] [[Has keyword::DT]] | format=count}} 편의 논문
</div>
</div>
 
<div style="flex:1 1 280px; padding:20px; background:#fff5f0; border-left:4px solid #e8741a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c3a1a; margin-bottom:8px;">
🛡️ Runtime Assurance (RTA)
</div>
<div style="font-size:90%; line-height:1.6;">
항공·자율 시스템의 런타임에서 안전성을 보장하는 모니터링과 페일세이프 메커니즘을 연구합니다.
DO-178C와 같은 항공 SW 표준에 부합하는 검증 방법론도 다룹니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword RTA|→ RTA 연구원 보기]]
</div>
</div>
 
<div style="flex:1 1 280px; padding:20px; background:#f0fff5; border-left:4px solid #1ea84a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#1a6c3a; margin-bottom:8px;">
✈️ UAV & Airborne Software
</div>
<div style="font-size:90%; line-height:1.6;">
무인기 시스템의 임베디드 소프트웨어, 비행 제어, 미션 관리 소프트웨어를 설계·검증합니다.
PX4·ROS2 등 오픈 플랫폼 기반 연구도 포함됩니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword UAV|→ UAV 연구원 보기]]
</div>
</div>
 
<div style="flex:1 1 280px; padding:20px; background:#faf5ff; border-left:4px solid #8a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#4a1a6c; margin-bottom:8px;">
🤖 LLM for Software Engineering
</div>
<div style="font-size:90%; line-height:1.6;">
거대언어모델을 활용한 요구사항 분석, 코드 생성·검증, 안전 크리티컬 SW의 문서화 자동화 등
SW 엔지니어링 프로세스 혁신을 연구합니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword LLM|→ LLM 연구원 보기]]
</div>
</div>
 
<div style="flex:1 1 280px; padding:20px; background:#fffdf0; border-left:4px solid #a89a1a; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#6c5a1a; margin-bottom:8px;">
🏗️ Structural Health Monitoring (SHM)
</div>
<div style="font-size:90%; line-height:1.6;">
센서 데이터 기반 구조물의 상태 진단·예측 기법, 항공기 구조 건전성 모니터링 시스템을 연구합니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword SHM|→ SHM 연구원 보기]]
</div>
</div>
 
<div style="flex:1 1 280px; padding:20px; background:#f5f0ff; border-left:4px solid #5a3aa8; border-radius:6px;">
<div style="font-size:115%; font-weight:bold; color:#3a1a6c; margin-bottom:8px;">
🔗 Multi-Agent Systems (MAS)
</div>
<div style="font-size:90%; line-height:1.6;">
다중 자율 에이전트의 협력·조정 알고리즘과 분산 시스템 검증 방법을 연구합니다.
</div>
<div style="margin-top:10px; font-size:85%;">
[[:Category:Keyword MAS|→ MAS 연구원 보기]]
</div>
</div>
 
</div>
 
[[Research|→ 연구 분야 자세히 보기]]
 
== News & Highlights ==
 
<div style="background:#f9f9f9; padding:20px; border-radius:6px;">
 
=== 최근 논문 ===
 
{{#ask: [[Category:Publication]]
| ?Author
| valuesep = ;&nbsp;
| ?Title
| ?Venue
| ?Volume
| ?Issue
| ?Pages
| ?Year
| ?DOI
| sort=Year
| order=Desc
| format=template
| template=CitePub
| named args=yes
| limit=3
| default=
}}
[[Publications | → All Publications]]
 
=== 최근 특허 ===
{{#ask: [[Category:Patent]]
|?Inventor
|?Title
|?RegistrationNumber
|?RegistrationDate
|?FilingNumber
|?FilingDate
|?Nationality
|format=template
|template=CitePat
|named args=yes
|sort=RegistrationDate
|order=desc
|limit=3
| default=
}}
[[ Patents | → All Patents and Software Copyrights]]
 
</div>
 
== Recruiting ==
 
<div style="background:linear-gradient(to right, #fff8e1, #fffaf0); padding:25px; border-radius:8px; border:1px solid #f0c674;">
 
=== 함께 연구할 연구원을 모집합니다 ===
 
SRLab은 '''소프트웨어 개발'''에 관심 있는 열정적인 분을 환영합니다.
다음과 같은 분들에게 적합한 연구실입니다.
 
* 안전 크리티컬 시스템(항공기, 자율 시스템, 의료시스템 등)에 관심이 있는 분
* 디지털 트윈, 시뮬레이션, 모델 기반 개발에 흥미가 있는 분
* C/C++ · Python · ROS · 임베디드 SW 경험이 있거나 배울 의지가 있는 분
* LLM을 활용한 SW 엔지니어링 자동화에 관심 있는 분
* 독립적이고 자기주도적인 연구에 관심 있는 분
 
=== 모집 분야 ===
 
{| class="wikitable" style="margin-top:10px; width:100%;"
! 구분 !! 자격 !! 우대사항
|-
| '''박사과정''' || 관련 분야 석사 학위 또는 졸업 예정자 || 논문 게재 경험, 연구 프로젝트 경험
|-
| '''석사과정''' || 학사 학위 또는 졸업 예정자 || 프로그래밍, SW 또는 AI 관련 프로젝트 경험
|-
| '''학부 인턴''' || 학부 3, 4학년 || 자기주도 학습 의지, 팀 프로젝트 경험
|}
 
=== 연구실 지원 혜택 ===
 
* '''장학금 / 인건비''': 대학원생 등록금 및 인건비 지원 (BK21, NRF 과제 등)
* '''연구 환경''': 개인 연구공간, 고성능 워크스테이션, GPU 서버, UAV 실험 장비
* '''성장 기회''': 국내·국제 학술대회 발표 지원, 산학 협력 프로젝트 참여, 해외 인턴십 기회
* '''커리어''': 졸업생 항공·SW·AI 분야 주요 기관 및 기업 진출 ([[Members#Alumni|→ Alumni]])
 
=== 지원 방법 ===
 
관심 있으신 분은 다음 자료를 이메일로 보내주세요.
 
# '''이력서 및 자기소개서'''
# '''성적증명서'''
# '''관심 연구 분야 및 동기'''를 담은 짧은 글 (1페이지 내외)
# '''(선택)''' GitHub, 포트폴리오, 발표 논문 등
 
📧 '''문의''': insight@gnu.ac.kr (지도교수)
 
면담은 이메일로 일정을 잡은 후 대면 또는 화상으로 진행됩니다.
 
</div>
 
== Quick Links ==
 
<div style="display:flex; flex-wrap:wrap; gap:10px; margin:15px 0;">
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[Members|👥 '''연구실 구성원''']]<br/>
<span style="font-size:85%; color:#666;">박사·석사·학부생·Alumni</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[:Category:Publication|📄 '''논문''']]<br/>
<span style="font-size:85%; color:#666;">{{#ask: [[Category:Publication]] | format=count}} 편</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[:Category:Patent|🔒 '''특허&저작권''']]<br/>
<span style="font-size:85%; color:#666;">{{#ask: [[Category:Patent]] | format=count}} 건</span>
</div>
<div style="flex:1 1 200px; text-align:center; padding:15px; background:#f0f2f5; border-radius:6px;">
[[Projects|🔬 '''연구 프로젝트''']]<br/>
<span style="font-size:85%; color:#666;">진행/완료 과제</span>
</div>
</div>
 
== Contact ==
 
* '''주소''': 경상남도 진주시 진주대로로 501 (우편번호: 52828) — 경상국립대학교 ICT융합센터 601동 908호
* '''이메일''': insight@gnu.ac.kr
* '''전화''': 055-772-1378
* '''GitHub''': [https://github.com/System-SW github.com/System-SW]
 
----
<div style="text-align:center; color:#888; font-size:85%; margin-top:20px;">
© SRLab, Gyeongsang National University · Last updated: 22:12, 2 May 2026 (KST)
</div>

Latest revision as of 23:33, 2 May 2026


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 표준에 부합하는 검증 방법론도 다룹니다.

✈️ UAV & Airborne Software

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

🤖 LLM for Software Engineering

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

🏗️ Structural Health Monitoring (SHM)

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

🔗 Multi-Agent Systems (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. 이력서 및 자기소개서
  2. 성적증명서
  3. 관심 연구 분야 및 동기를 담은 짧은 글 (1페이지 내외)
  4. (선택) 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

© SRLab, Gyeongsang National University · Last updated: 22:12, 2 May 2026 (KST)

Retrieved from "http://open.gnu.ac.kr/mediawiki/index.php?title=Main_Page&oldid=1693"