ARINC 653 (via LynxOS-178 variant)
E739790
avionics RTOS
avionics software standard
real-time operating system
real-time operating system interface standard
ARINC 653 (via LynxOS-178 variant) is an avionics software standard that defines time and space partitioning for safety-critical real-time operating systems used in aircraft.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| ARINC 653 | 0 |
| LynxOS-178 | 0 |
Statements (43)
| Predicate | Object |
|---|---|
| instanceOf |
avionics RTOS
ⓘ
avionics software standard ⓘ real-time operating system ⓘ real-time operating system interface standard ⓘ |
| appliesTo |
integrated modular avionics
ⓘ
real-time operating systems ⓘ safety-critical systems ⓘ |
| architecture | partitioned microkernel architecture ⓘ |
| conformsTo | ARINC 653 APEX interface NERFINISHED ⓘ |
| defines |
space partitioning
ⓘ
time partitioning ⓘ |
| designedFor |
DO-178B certification
ⓘ
DO-178C certification NERFINISHED ⓘ |
| developedBy | Lynx Software Technologies NERFINISHED ⓘ |
| domain | avionics ⓘ |
| goal |
fault containment
ⓘ
robust partition isolation ⓘ safety certification support ⓘ |
| implements | ARINC 653 NERFINISHED ⓘ |
| provides |
deterministic real-time behavior
ⓘ
partitioned execution environment ⓘ |
| relatedTo |
DO-178C
NERFINISHED
ⓘ
integrated modular avionics architectures ⓘ integrated modular avionics platforms ⓘ |
| specifies |
APEX interface
ⓘ
health monitoring services ⓘ interpartition communication services ⓘ intrapartition communication services ⓘ partition management services ⓘ process management services ⓘ time management services ⓘ |
| standardizedBy | Aeronautical Radio Inc. NERFINISHED ⓘ |
| supports |
application portability
ⓘ
mixed-criticality applications ⓘ partitioned operating environments ⓘ safety-critical multi-core and single-core processors ⓘ space partitioning ⓘ time partitioning ⓘ |
| targetDomain |
commercial avionics
ⓘ
military avionics ⓘ |
| usedIn |
airborne systems
ⓘ
aircraft ⓘ safety-critical avionics applications ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.