|
Journal
|
2017 |
A Software-Based Monitoring Framework for Time-Space Partitioned Avionics Systems
Shin Changmin IEEE Access, v.5, pp.19132-19143 |
2 |
원문
|
|
Journal
|
2017 |
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
윤상현 IEICE Transactions on Information and Systems, v.E100.D, no.10, pp.2644-2647 |
2 |
원문
|
|
Conference
|
2013 |
Qplus-AIR : A DO-178B Certifiable ARINC 653 RTOS
International Symposium on Embedded Technology (ISET) 2013, pp.1-1 |
|
|
|
Journal
|
2012 |
Qplus/Esto-AIR: DO-178B Level A 인증 ARINC 653 지원 실시간 OS 및 개발 도구
Taeho Kim 정보과학회지, v.30, no.9, pp.65-70 |
|
|
|
Conference
|
2012 |
ESTO-AIR: ARINC 653 Configuration Tool
Sachoun Park 한국 컴퓨터 종합 학술 대회 2012, pp.104-105 |
|
|
|
Conference
|
2011 |
Qplus-653: Arinc-653 Compatible Operating System for Safety-Critical System
Donghwan Son 대한임베디드공학회 학술 대회 (추계) 2011, pp.363-365 |
|
|