Videocorso Ada CGFA — Il linguaggio dei sistemi dove un errore non è ammesso: aerei, treni, satelliti. Con GNAT e un'introduzione a SPARK

Pubblicato il 30 Ottobre 2026 · Aggiornato il 30 Ottobre 2026 · Autore: CityGraph Napoli (Claudia D'Urso, titolare)

Guarda la presentazione del videocorso Ada

Apri le prime 2 lezioni gratis · Scarica il video in MP4

Perché imparare Ada

Ada è il linguaggio dei sistemi dove un errore non è ammesso: aerei, treni, satelliti, dispositivi medici. Il compilatore è severo ma è dalla tua parte: trova gli errori prima che il programma parta, e per questo avionica, ferrovie e difesa lo scelgono da decenni. Il corso parte da zero e arriva a concorrenza, contratti e alla verifica formale con SPARK.

A chi è rivolto

Il corso è pensato per: studenti di informatica e ingegneria, programmatori che vogliono scrivere software più sicuro, chi lavora o vuole lavorare in avionica, ferrovie, spazio, difesa e sistemi embedded. Partenza: Da zero.

• Un computer Windows, Mac o Linux
• Nessuna esperienza di programmazione
• Voglia di scrivere programmi precisi: in Ada il compilatore è severo, ma è dalla tua parte

Il programma: 10 lezioni in 3 livelli

Circa 14 ore di studio con gli esercizi, in lezioni da 20 a 40 minuti. Le prime 2 sono gratis.

Base: Il primo programma, i tipi forti, le decisioni, i cicli e le procedure

• Cos'è Ada e il tuo primo programma (20 min, gratis): Capire perché Ada è usato nei sistemi critici, installare GNAT e compilare il primo programma.
• Variabili e tipi forti (25 min, gratis): Dichiarare variabili e costanti, usare i tipi base e capire perché Ada obbliga alle conversioni esplicite.
• Decisioni e cicli (25 min): Usare if, case e i tre tipi di ciclo (for, while, loop con exit).
• Procedure e funzioni (25 min): Dividere il programma in procedure e funzioni e capire le modalità in, out e in out dei parametri.

Intermedio: Pacchetti, dati strutturati, eccezioni e contratti

• Pacchetti: specifica e corpo (30 min): Organizzare il codice in pacchetti con specifica (.ads) e corpo (.adb) e compilare programmi su più file.
• Record, array, enumerazioni e contenitori (35 min): Descrivere dati complessi con record, array indicizzati, tipi enumerativi e usare i contenitori della libreria standard.
• Eccezioni e contratti (35 min): Gestire gli errori con le eccezioni e scrivere contratti con precondizioni e postcondizioni.

Avanzato: Tipi privati, generici, concorrenza e sistemi critici con cenni di SPARK

• Tipi privati, generici e oggetti (35 min): Nascondere i dettagli dei tipi, scrivere codice generico e conoscere la programmazione a oggetti di Ada.
• Concorrenza: task e oggetti protetti (40 min): Scrivere programmi con più attività in parallelo usando task e oggetti protetti, e conoscere i rendez-vous e il profilo Ravenscar.
• Sistemi critici e SPARK (40 min): Capire come Ada entra nei sistemi certificati, conoscere i cenni di SPARK per la verifica formale e sapere come costruire un percorso di lavoro.

Il progetto finale: Monitor della temperatura di una cella frigorifera

Un programma che elabora una giornata di letture di temperatura di una cella frigorifera di un negozio alimentare, valuta lo stato di ogni lettura (normale, attenzione, allarme) e conta gli allarmi. È una simulazione al computer: non collegarla a impianti reali.

1. Definisci un tipo enumerativo Stato (Normale, Attenzione, Allarme) e un sottotipo Temperatura con intervallo da -40.0 a 40.0 gradi.
2. Scrivi una function Valuta che riceve una Temperatura e restituisce lo Stato (sopra 5 gradi attenzione, sopra 8 allarme).
3. Metti la function in un pacchetto Cella, con specifica e corpo in file separati.
4. Usa un array di letture e un ciclo for sul suo 'Range per valutarle tutte; conta gli allarmi.
5. Aggiungi un contratto: Pre sulle letture (nell'intervallo) e Post sul risultato; compila con -gnata.
6. Gestisci con un'eccezione le letture non valide e mostra un messaggio chiaro.
7. Estensione: simula il sensore con un task e conserva l'ultima lettura in un oggetto protetto.

Cosa ti serve

• GNAT (compilatore Ada) con Alire: Gratuito. Alire (alire.ada.dev) è il gestore ufficiale della comunità: scarica il programma "alr" e con alr toolchain --select installa GNAT e gprbuild. Su Linux puoi anche usare sudo apt install gnat gprbuild
• Visual Studio Code con l'estensione Ada & SPARK: Editor gratuito da code.visualstudio.com; l'estensione "Ada & SPARK" di AdaCore dà colori, completamento e controllo degli errori
• AdaCore Learn (editor online): Il sito learn.adacore.com contiene corsi interattivi gratuiti e un editor che compila ed esegue Ada e SPARK direttamente dal browser: ideale per provare senza installare nulla
• GNATprove (per la parte SPARK): Strumento di verifica formale, gratuito, disponibile come pacchetto in Alire. Serve solo nell'ultima lezione

A cosa ti serve dopo il corso

• Aeronautica e avionica: software di bordo e controllo del volo
• Ferrovie e metropolitane: segnalamento e sicurezza della circolazione
• Spazio e difesa: satelliti, razzi, radar, sistemi militari
• Sistemi embedded e industria: controllo di macchine, dispositivi medici, energia
• Ruoli di analista e sviluppatore di software critico, verifica e certificazione (aziende dei settori aerospazio e trasporti)

Come si studia

• Video breve per ogni lezione, con i sottotitoli e il testo del video da leggere.
• Spiegazione scritta con esempi italiani (prezzi in euro, negozi, città) e codice da copiare con un tocco.
• Esercizio con la soluzione, appunti personali e quiz di tre domande per segnare la lezione come fatta.
• Esame finale di 15 domande (si supera con il 75%) e attestato stampabile con codice di controllo verificabile.
• App installabile su PC, tablet e telefono: niente account, i progressi restano sul dispositivo e si salvano con il backup.

Per privati, scuole e aziende

• Singolo corso: per chi vuole imparare un linguaggio, con tutte le lezioni, il progetto finale, l'esame e l'attestato.
• Tutti i corsi: l'accesso a tutto il catalogo CGFA Academy, per passare da un linguaggio all'altro quando vuoi.
• Aziende: formazione dei dipendenti su programmazione, dati, automazione e scrittura, con gli attestati nel registro.
• Scuole e centri di formazione: licenza per sede, per le classi e i laboratori, con la verifica dei codici degli attestati.
• White label: l'Academy con il nome, i colori e il dominio di chi la offre, per enti di formazione, agenzie e consulenti.

Le condizioni si concordano in base alle persone da formare: scrivici con Richiedi maggiori informazioni o su WhatsApp.

L'attestato è un attestato di frequenza con codice di controllo, non un titolo di studio né una certificazione pubblica. I programmi indicati nel corso sono gratuiti o già presenti nel computer, salvo dove è scritto diversamente.