Statements (52)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:standard
|
gptkbp:bfsLayer |
4
|
gptkbp:bfsParent |
gptkb:ARINC
|
gptkbp:applies_to |
embedded systems
|
gptkbp:collaborated_with |
international standards organizations
|
gptkbp:defines |
AP Is for partition management
|
gptkbp:developed_by |
Aerospace and Defense Industries
collaborative industry efforts |
gptkbp:enables |
deterministic behavior
|
gptkbp:ensures |
temporal and spatial separation
|
gptkbp:facilitates |
certification of software
|
gptkbp:first_published |
gptkb:2001
|
https://www.w3.org/2000/01/rdf-schema#label |
ARINC 653
|
gptkbp:includes |
time and space partitioning
|
gptkbp:is_adopted_by |
gptkb:engine
military applications commercial aviation |
gptkbp:is_aligned_with |
best practices
|
gptkbp:is_committed_to |
safety regulations
|
gptkbp:is_compatible_with |
safety-critical applications
|
gptkbp:is_critical_for |
flight safety
|
gptkbp:is_designed_for |
highly reliable systems
|
gptkbp:is_documented_in |
ARINC specifications
|
gptkbp:is_enhanced_by |
new technologies
|
gptkbp:is_evaluated_by |
performance metrics
safety metrics |
gptkbp:is_implemented_in |
real-time operating systems
|
gptkbp:is_influenced_by |
gptkb:ISO_26262
|
gptkbp:is_integrated_with |
hardware abstraction layers
|
gptkbp:is_part_of |
avionics certification process
avionics software architecture system safety assessments |
gptkbp:is_prominent_in |
safety-critical software development.
|
gptkbp:is_promoted_by |
industry associations
|
gptkbp:is_referenced_in |
DO-297
|
gptkbp:is_related_to |
gptkb:engine
|
gptkbp:is_standardized_by |
RTCA
|
gptkbp:is_supported_by |
gptkb:academic_research
various tool vendors |
gptkbp:is_tested_for |
fault tolerance
|
gptkbp:is_used_by |
aircraft manufacturers
|
gptkbp:is_used_in |
space systems
defense applications |
gptkbp:is_utilized_in |
air traffic control systems
|
gptkbp:provides |
real-time operating system interfaces
|
gptkbp:provides_information_on |
system integration
|
gptkbp:published_by |
gptkb:ARINC
|
gptkbp:related_to |
gptkb:DO-178_C
|
gptkbp:specifies |
partitioning in safety-critical systems
|
gptkbp:supports |
multi-core processors
multiple applications |
gptkbp:used_in |
avionics systems
|