Properties (58)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
runtime system
|
| gptkbp:compatibleWith |
gptkb:ISO/IEC_standards
DO-178C C language Ada_95_standard |
| gptkbp:facilitates |
concurrent programming
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada runtime system
|
| gptkbp:includes |
exception handling
standard libraries |
| gptkbp:is_designed_to |
high-performance computing
mission-critical applications safety-critical applications high integrity systems long-lived systems |
| gptkbp:is_known_for |
high availability
modularity portability scalability robustness strong typing high reliability ease of maintenance |
| gptkbp:is_part_of |
gptkb:Ada_software_ecosystem
Ada_development_tools Ada_programming_environment |
| gptkbp:is_recognized_for |
user-defined types
various platforms |
| gptkbp:is_used_in |
defense systems
industrial automation medical devices real-time systems robotics automotive systems control systems data acquisition systems railway systems security systems telemetry systems telecommunications systems aerospace applications energy management systems financial systems smart grid systems environmental monitoring systems simulation systems nuclear systems space exploration systems |
| gptkbp:offers |
memory management
|
| gptkbp:produces |
AdaCore
|
| gptkbp:provides |
debugging tools
performance monitoring real-time scheduling tasking features interfacing capabilities |
| gptkbp:supports |
gptkb:Ada_programming_language
object-oriented programming distributed systems multi-core processors |