Profilo Ravenscar
# Profilo Ravenscar

Il profilo Ravenscar (Ravenscar profile) è un sottoinsieme delle funzionalità del linguaggio Ada progettato per sistemi critici, che fornisce garanzie hard real-time per i programmi implementati conformemente ad esso. Fu definito in un rapporto tecnico seguente la definizione dello standard Ada 95, e divenne parte dello standard Ada 2012. Prende il nome dal villaggio inglese di Ravenscar, sede dell'ottavo International Real-Time Ada Workshop (IRTAW 8).

## Caratteristiche

Un'applicazione conforme al profilo Ravenscar impiega la direttiva

che è equivalente al seguente insieme di direttive:

