IEICE Transactions on Information and Systems
Online ISSN : 1745-1361
Print ISSN : 0916-8532
Regular Section
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
Sanghyun YOONDong-Ah LEEEunji PAKTaeho KIMJunbeom YOO
Author information
JOURNALS FREE ACCESS

Volume E100.D (2017) Issue 10 Pages 2644-2647

Details
Download PDF (458K) Contact us
Abstract

Qplus-AIR is a real-time operating system for avionics, and its safety and correctness should be analyzed and guaranteed. We performed model checking a version of Qplus-AIR with the Times model checker and identified one abnormal case that might result in safety-critical situations.

Information related to the author
© 2017 The Institute of Electronics, Information and Communication Engineers
Previous article Next article

Recently visited articles
Journal news & Announcements
  • Please contact trans-d [a] ieice.org, if you want to unlock PDF security.
feedback
Top