Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
military unit
|
| gptkbp:designedFor |
high-integrity systems
|
| gptkbp:developedBy |
Ada_programming_language_community
|
| gptkbp:ensures |
security
reliability safety maintainability |
| gptkbp:facilitates |
team collaboration
documentation code reuse |
| gptkbp:hasFeature |
generic programming
object-oriented programming tasking interrupt handling protected types real-time scheduling distributed systems support |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada safety-critical model
|
| gptkbp:isInvolvedIn |
gptkb:ISO_26262
DO-178C IEC 61508 |
| gptkbp:isPartOf |
Ada_programming_ecosystem
|
| gptkbp:isSupportedBy |
gptkb:Ada_compilers
development tools verification tools testing tools |
| gptkbp:isTrainedIn |
unit testing
integration testing system testing acceptance testing |
| gptkbp:isUsedBy |
gptkb:European_Space_Agency
gptkb:Airbus gptkb:Boeing gptkb:Thales_Group NASA |
| gptkbp:isVisitedBy |
gptkb:Ada_programming_language
|
| gptkbp:promotes |
quality assurance
best practices safety culture |
| gptkbp:provides |
exception handling
modularity strong typing concurrency support |
| gptkbp:requires |
training
certification documentation standards process standards |
| gptkbp:supports |
formal verification
real-time systems dynamic analysis static analysis |
| gptkbp:usedIn |
automotive industry
aviation industry railway systems |