Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
scheduler
|
| gptkbp:allocates |
CPU time to partitions
|
| gptkbp:definedIn |
ARINC 653 standard
|
| gptkbp:enforcedBy |
spatial partitioning
temporal partitioning |
| gptkbp:guarantees |
partition isolation
|
| https://www.w3.org/2000/01/rdf-schema#label |
ARINC653 scheduler
|
| gptkbp:provides |
deterministic scheduling
|
| gptkbp:supports |
preemptive scheduling
fixed time windows non-preemptive scheduling partitioned operating systems |
| gptkbp:usedBy |
safety-critical applications
|
| gptkbp:usedIn |
real-time operating systems
avionics systems Integrated Modular Avionics (IMA) |
| gptkbp:bfsParent |
gptkb:Xen_hypervisor
|
| gptkbp:bfsLayer |
7
|