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
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.
โ๏ธ 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.
๐ค 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.
๐๏ธ Structural Health Monitoring (SHM)
Sensor-driven techniques for diagnosing and predicting structural conditions, with applications in aircraft structural health monitoring systems.
๐ Multi-Agent Systems (MAS)
Algorithms for coordination and cooperation among multiple autonomous agents, along with verification methods for distributed systems.
โ Explore our research in depth
News & Highlights
Recent Publications
Recent Patents
C-2026-01908815 April 2026KRC-2026-01908915 April 2026KRC-2026-01908715 April 2026KRJoin 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:
- CV / Resume
- Academic transcripts
- A short statement (1 page) describing your research interests and motivation
- (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