Name
Title | ||
|---|---|---|
Timed Model-Based Formal Analysis Of A Scheduler Of Qplus-Air, An Arinc-653 Compliance Rtos |
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. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1587/transinf.2017EDL8090 | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS |
Keywords | Field | DocType |
Qplus-AIR, model checking, real-time operating system, safety | Computer vision,Model checking,Computer science,ARINC 653,Real-time operating system,Artificial intelligence,Embedded system | Journal |
Volume | Issue | ISSN |
E100D | 10 | 1745-1361 |
Citations | PageRank | References |
0 | 0.34 | 3 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sanghyun Yoon | 1 | 2 | 1.41 |
| Dong-Ah Lee | 2 | 3 | 2.77 |
| Eunji Pak | 3 | 1 | 0.77 |
| Taeho Kim | 4 | 9 | 3.27 |
| Junbeom Yoo | 5 | 143 | 19.86 |