Timed Model-based Formal Analysis of a Scheduler of Qplus-AIR an ARINC-653 compliance RTOS

Sanghyun YOON  Dong-Ah LEE  Eunji PAK  Taeho KIM  Junbeom YOO  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2017/06/23
DOI: 10.1587/transinf.2017EDL8090
Full Text: PDF(335.4KB)