Properties (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:compatibleWith |
various microcontrollers
|
| gptkbp:developedBy |
gptkb:Green_Hills_Software
|
| gptkbp:features |
real-time capabilities
|
| https://www.w3.org/2000/01/rdf-schema#label |
Green Hills Ada Compiler
|
| gptkbp:includes |
debugging tools
|
| gptkbp:isKnownFor |
high performance
high reliability safety-critical applications |
| gptkbp:isUsedBy |
automotive industry
aerospace industry defense industry |
| gptkbp:offers |
safety certification support
|
| gptkbp:provides |
static analysis tools
code optimization integrated development environment (IDE) |
| gptkbp:supports |
gptkb:Ada_programming_language
multiple platforms multi-core processors |
| gptkbp:usedIn |
embedded systems
|