title: Profilo Ravenscar
text: # 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:
  
  