Main Page/en

🌐 한국어 페이지로 가기

SRLab

Systems Research Laboratory

Research on Trustworthy Software for Aerospace and Autonomous Systems

Digital Twin · Runtime Assurance · Airborne Software · LLM Engineering

About the Lab

SRLab, the Systems Research Laboratory'system software for trustworthy and intelligent computing', particularly in domains where failure is not an option — aircraft, UAVs, and autonomous systems. Our mission is to make system software intelligent, reliable, and efficient across these high-stakes environments.

Our research integrates the following themes:

• AI-Driven System Software — bringing Artificial Intelligence, Vision-Language Models (VLM), and Agentic AI into the system software stack
• Physical AI — designing and verifying AI systems that interact with the physical world
• Digital Twin — modeling and operationalizing digital twins for aircraft, UAVs, and autonomous platforms
• Runtime Assurance (RTA) — ensuring runtime safety and fail-safe behavior in real-time environments
• Edge Computing & Computation Offloading — optimizing distributed computing under resource constraints
• LLM for Software Engineering — automating software engineering processes with Large Language Models

These threads converge on a single question: how do we design, implement, and verify trustworthy system software?

• Affiliation: Aerospace Software Engineering Program, Gyeongsang National University
• Principal Investigator: Prof. Seongjin Lee
• Location: Gyeongsang National University ICT Convergence Center 601-908, Jinjudaero 501, Jinju, Gyeongsangnam-do, Republic of Korea
• Email: insight@gnu.ac.kr

→ Meet our researchers

Research Areas

🛰️ Digital Twin (DT)

Building digital twin models for aircraft and UAVs, combined with edge/cloud computation offloading techniques, to enable real-time monitoring and predictive diagnostics.

→ View DT researchers · 0 publications

🛡️ Runtime Assurance (RTA)

Designing runtime monitoring and fail-safe mechanisms that guarantee safety of aerospace and autonomous systems during operation. We also explore verification methodologies aligned with avionics standards such as DO-178C.

→ View RTA researchers

✈️ UAV & Airborne Software

Designing and verifying embedded software for unmanned aerial vehicles — from flight control to mission management — including work on open platforms such as PX4 and ROS2.

→ View UAV researchers

🤖 LLM for Software Engineering

Leveraging Large Language Models to transform software engineering workflows — from requirements analysis and code generation to automated documentation of safety-critical software.

→ View LLM researchers

🏗️ Structural Health Monitoring (SHM)

Sensor-driven techniques for diagnosing and predicting structural conditions, with applications in aircraft structural health monitoring systems.

→ View SHM researchers

🔗 Multi-Agent Systems (MAS)

Algorithms for coordination and cooperation among multiple autonomous agents, along with verification methods for distributed systems.

→ View MAS researchers

→ Explore our research in depth

News & Highlights

Recent Publications

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

DT-CAS: Collision Avoidance System for Unmanned Aerial Vehicles in Digital Twin Environments

Changhui Bae; Euteum Choi; Seongjin Lee

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

DOI: 10.5139/JKSAS.2025.53.4.445

... further results

→ All Publications

Recent Patents

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

Join Us

We are looking for motivated researchers

SRLab welcomes students passionate about software for aerospace and autonomous systems. You may be a great fit if you are interested in:

• Safety-critical systems — aircraft, autonomous vehicles, medical devices, and beyond
• Digital twins, simulation, and model-based development
• Embedded software, with experience or willingness to learn C/C++, Python, ROS
• Applying LLMs to automate software engineering tasks

Open Positions

Level	Requirements	Preferred Background
PhD Student	M.S. degree (or equivalent) in a relevant field, or expected completion	Publication record, prior research project experience
M.S. Student	Bachelor's degree (or expected completion)	Programming background; experience in aerospace SW or AI projects
Undergraduate Intern	3rd or 4th year undergraduate students	Self-motivated learning attitude, team project experience

What We Offer

• Funding: Tuition and stipend support for graduate students through government and industry-funded projects (BK21, NRF, etc.)
• Research Environment: Dedicated workspace, high-performance workstations, GPU servers, and UAV experimental equipment
• Growth Opportunities: Support for domestic and international conference presentations, industry collaborations, and overseas internship programs
• Career: Our alumni have joined leading institutions and companies in aerospace, software, and AI (→ See Alumni)

International Students

We actively welcome international students. Our lab currently has researchers from multiple countries, and English is widely used in research discussions. Information about Korean Government Scholarships (KGSP) and other funding options for international students is available upon request.

How to Apply

If you are interested, please send the following documents by email:

1. CV / Resume
2. Academic transcripts
3. A short statement (1 page) describing your research interests and motivation
4. (Optional) GitHub profile, portfolio, or representative publications

📧 Contact: insight@gnu.ac.kr (Principal Investigator)

After an initial email exchange, we will arrange a meeting in person or via video call.

Quick Links

👥 Members
PhD · M.S. · Undergrad · Alumni

📄 Publications
122 papers

🔒 Patents
36 filed

🔬 Projects
Ongoing & completed

Contact

• Address: Gyeongsang National University ICT Convergence Center 601-908, Jinjudaero 501, Jinju, Gyeongsangnam-do, Republic of Korea
• Email: insight@gnu.ac.kr
• Phone: +82-55-772-1378
• GitHub: github.com/System-SW

---

© SRLab, Gyeongsang National University · Last updated: 2026-05-02