Ravenscar profile runtimes
E2060894
UNEXPLORED
Ravenscar profile runtimes are specialized Ada runtime systems designed to support the Ravenscar tasking profile for high-integrity, real-time, and safety-critical applications with deterministic concurrency behavior.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Ravenscar profile runtimes canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.