2022
권지훈 - 무인비행장치 소프트웨어 인증 방안연구 (항공안전기술원)
2021
오승준 - ISO 26262의 모델기반개발방법 연구 및 Smart Cruise Control 사례 연구 (현대자동차 산학장학생, 현대자동차)
A study on the model-based development method of ISO 26262 and smart cruise control case study
2020
노진수 - 항공전자시스템의 부분 설계 변경을 위한 안전성 검증기법 연구 (방위사업청)
Study on the safety verification techniques for partial design change of the avionics system (Defense Acquisition Program Administration)
박규태 - 수명주기 분석을 통한 항공기 적정 정비 주기 산정 (아시아나)
Study on the calculation of proper maintenance cycle for aircraft through life cycle analysis (ASIANA)
2019
윤정현 인증 기술 및 모델 기반 설계를 이용한 드론 탑재 임무 및 지상 시스템 소프트웨어 개발 (에비오시스)
Drone mission and GCS software development using Model-based Design (Aviosys)
이동민 항공전자 시스템 개발 인증 비교:DO-178C & RESSAC (안전과컴퓨터)
Comparative study on the certification technology between DO-178C and RESSAC (Safety and Computer)
2018
김입수 모델기반 ARP4761 안전성 인증기술 및 항공기 휠브레이크시스템 (방위사업청)
Study of model-based ARP 4761 safety certification technology (Defense Acquisition Program Administration)
Zorigbold, Munkh-Erdene Fault-tolerant embeded system for IoT devices (Tavan Bogd Group)
2017
문성엽 다중 센서기반 무인기 충돌 회피 시스템 안전성평가 (현대모비스)
UAV collision avoidance system using multi-sensor fusion (Mobis)
김진실 소형 드론을 위한 Sense and Avoid의 충돌 검출 알고리즘 연구 (한국우주항공)
A study on the collision detection algorithm for sense and avoid of small drones
2016
백경민 HILS 기반 항전장비 개발환경 (에어로매스터)
Avionics development environment using hardware-in-the-loop simulation (AeroMaster)
김주영 무인항공기 Sense and Avoid 장비 검증용 통합 시뮬레이터 개발 (KAL Research)
Developing an integrated simulator for verifying sense and avoid equipment for UAVs
2014
김춘호 차세대 공항 서비스를 위한 지능형 디지털 사이니지 (국방과학기술연구소, 특례)
A Study on the Intelligent Digital Signage for Airport Service of Next generation (Agency for Defense Development)
이선구 스마트패드를 활용한 항공기 IFE(In Flight Entertainment) System (대한항공)
A Study on system improving of in flight entertainment with using smart pad (KAL)
2013
고규천 고신뢰성 임베디드 프로세서 설계 및 구현 (현대차)
A study on the high dependable embedded processor design and implementation (HMC)
2012
이학재 항공용 임베디드 시스템 신뢰성 검증을 위한 JTAG fault injection (LIG Nex1)
Statistical JTAG fault injection methodology for reliability verification of aerospace embedded systems
김준호 무인항공기 Sense and Avoid 장비 검증용 통합 시뮬레이터 개발 (오토기기 연구소장)
A Study of Model Based Design and Fault Injection Integration for Certification Processes of Next Generation Safety-Critical System
이재용 임베디드 시스템의 신뢰성 평가를 위한 결함주입 메카니즘 (디앤샤인)
A study on fault injection mechanism for evaluation of reliability of the embedded system
2011
고완진 저비용 고 신뢰성 항공용 임베디드 프로세서 설계 (항우연)
Low cost & highly dependable avionics embedded processor design (KARI)
2010
김병영 Cost efficient & highly dependable 고장 감내형 ARM core 설계 및 검증 (어드밴테스트)
Cost efficient & highly dependable fault tolerant ARM core design and verification. (Advantest)
2008
이동우 Electronic System Level 수준의 시뮬레이션 기반 System on Chip 설계 및 신뢰성 검증환경 (항공전자연구소)
Design and Development of the Simulation-based Soc Design verification Environment (AERC)