ARINC 653 (via LynxOS-178 variant)

E739790

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.

All labels observed (3)

How this entity was disambiguated

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 ⓘ
defines space partitioning ⓘ
time partitioning ⓘ
designedFor DO-178B certification ⓘ
DO-178C certification ⓘ
linked to: DO-178C
developedBy Lynx Software Technologies ⓘ
linked to: Wind River Systems
domain avionics ⓘ
goal fault containment ⓘ
robust partition isolation ⓘ
safety certification support ⓘ
implements ARINC 653 ⓘ
provides deterministic real-time behavior ⓘ
partitioned execution environment ⓘ
relatedTo DO-178C ⓘ
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. ⓘ
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 ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

LynxOS → supportsStandard → ARINC 653 (via LynxOS-178 variant) ⓘ
ARINC 664 → relatedTo → ARINC 653 ⓘ
linked to: ARINC 653 (via LynxOS-178 variant)
LynxOS-178 → implements → ARINC 653 ⓘ
linked to: ARINC 653 (via LynxOS-178 variant)
LynxOS-178 → conformsTo → ARINC 653 APEX interface ⓘ
linked to: ARINC 653 (via LynxOS-178 variant)