|
gptkbp:instanceOf
|
gptkb:operating_system
|
|
gptkbp:certifiedTo
|
gptkb:DO-178B_Level_A
|
|
gptkbp:compatibleWith
|
gptkb:DO-178C
gptkb:DO-330
gptkb:DO-332
gptkb:DO-333
DO-297
DO-334
EUROCAE ED-12B
RTCA DO-178B
|
|
gptkbp:designedFor
|
safety-critical systems
|
|
gptkbp:developedBy
|
gptkb:Green_Hills_Software
|
|
gptkbp:feature
|
gptkb:certification
formal verification
real-time performance
microkernel architecture
multi-level security
high reliability
deterministic scheduling
certified separation kernel
memory partitioning
minimal trusted code base
support for mixed criticality
time partitioning
|
|
gptkbp:firstReleased
|
2003
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
INTEGRITY-178B
|
|
gptkbp:platform
|
gptkb:ARM
gptkb:PowerPC
gptkb:SPARC
x86
|
|
gptkbp:supports
|
gptkb:POSIX
gptkb:ARINC_653
multi-core processors
|
|
gptkbp:type
|
partitioned operating system
|
|
gptkbp:usedBy
|
gptkb:Lockheed_Martin
gptkb:NASA
gptkb:Raytheon
gptkb:US_Department_of_Defense
gptkb:Boeing
gptkb:Northrop_Grumman
gptkb:Airbus
gptkb:General_Dynamics
|
|
gptkbp:usedIn
|
avionics
military systems
industrial systems
|
|
gptkbp:bfsParent
|
gptkb:Green_Hills_Software
|
|
gptkbp:bfsLayer
|
7
|