|
gptkbp:instanceOf
|
high-integrity system
|
|
gptkbp:basedOn
|
gptkb:Ada_programming_language
|
|
gptkbp:characterizedBy
|
exception handling
modularity
strong typing
concurrency support
|
|
gptkbp:designedFor
|
safety-critical applications
|
|
gptkbp:developedBy
|
gptkb:Jean_Ichbiah
|
|
gptkbp:ensures
|
maintainability
|
|
gptkbp:facilitates
|
formal verification
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Ada high-integrity systems
|
|
gptkbp:includes
|
run-time checks
|
|
gptkbp:isCompatibleWith
|
real-time operating systems
|
|
gptkbp:isEvaluatedBy
|
gptkb:ISO_26262
DO-178C
EN 50128
IEC 61508
|
|
gptkbp:isPartOf
|
Ada_programming_ecosystem
|
|
gptkbp:isPromotedBy
|
gptkb:Ada_Resource_Association
gptkb:SIGAda
gptkb:Ada_Europe
|
|
gptkbp:isRecognizedBy
|
ANSI standard
ISO_standard
|
|
gptkbp:isSupportedBy
|
gptkb:GNAT_compiler
SPARK_technology
|
|
gptkbp:isUsedBy
|
gptkb:European_Space_Agency
gptkb:Lockheed_Martin
gptkb:Boeing
gptkb:Thales_Group
NASA
|
|
gptkbp:isUsedIn
|
telecommunications
industrial automation
medical devices
automotive systems
nuclear systems
|
|
gptkbp:promotes
|
reusability
|
|
gptkbp:provides
|
high reliability
|
|
gptkbp:supports
|
real-time systems
distributed systems
|
|
gptkbp:usedIn
|
aerospace industry
railway systems
defense applications
|