Annex D (Real-Time Systems)

E284615

Ada language annex language standard annex

Annex D (Real-Time Systems) is a specialized section of the Ada language standard that defines features and semantics for building deterministic, high-integrity real-time applications.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
Annex D (Real-Time Systems) canonical	2
Real-Time Systems Annex	1

Statements (47)

Predicate	Object
instanceOf	Ada language annex ⓘ language standard annex ⓘ
appliesTo	hard real-time systems ⓘ high-integrity systems ⓘ soft real-time systems ⓘ
belongsTo	Ada (programming language) ⓘ surface form: Ada 2005 standard Ada (programming language) ⓘ surface form: Ada 2012 standard Ada programming language standard ⓘ surface form: Ada 2022 standard Ada programming language standard ⓘ surface form: Ada 95 standard
category	real-time programming standard feature set ⓘ
constrains	tasking features of core Ada language ⓘ
defines	features for real-time programming in Ada ⓘ semantics for deterministic real-time behavior ⓘ semantics for high-integrity real-time applications ⓘ
extends	core Ada tasking model ⓘ
focusesOn	delay and timing control ⓘ execution-time clocks and timers ⓘ interrupt handling aspects ⓘ priority ceiling locking ⓘ priority inheritance mechanisms ⓘ protected objects for synchronization ⓘ real-time clocks and timing events ⓘ real-time scheduling analysis support ⓘ scheduling policies ⓘ synchronous task control ⓘ task dispatching ⓘ task priorities ⓘ
goal	enable analyzable real-time behavior ⓘ support high-integrity certification ⓘ support schedulability analysis ⓘ
hasFullName	Annex D (Real-Time Systems) self-linksurface differs ⓘ surface form: Real-Time Systems Annex
language	Ada ⓘ
partOf	Ada programming language standard ⓘ
relatedTo	Annex C (Systems Programming) ⓘ Annex H (High Integrity Systems) ⓘ
standardizedIn	ISO/IEC 8652 ⓘ
supports	bounded blocking times ⓘ deterministic execution behavior ⓘ fixed-priority scheduling ⓘ predictable task scheduling ⓘ preemptive scheduling ⓘ priority-based dispatching ⓘ
usedFor	avionics software ⓘ defense and aerospace real-time software ⓘ high-integrity embedded systems ⓘ industrial control systems ⓘ safety-critical real-time applications ⓘ

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

gnat → supportsStandard → Annex D (Real-Time Systems) ⓘ

subject surface form: GNAT

Annex D (Real-Time Systems) → hasFullName → Annex D (Real-Time Systems) self-linksurface differs ⓘ

this entity surface form: Real-Time Systems Annex

Annex E (Distributed Systems) → relatedTo → Annex D (Real-Time Systems) ⓘ