Presentazione linguaggio ADA

Battezzato in onore di lady Ada Lovelace, la prima programmatrice della storia, ADA è un linguaggio high-level studiato specificatamente per sviluppare applicazioni dove la correttezza, sicurezza, affidabilità e manutenibilità fossero di primaria importanza.

ADA, nella sua versione più moderna (ADA 95), è un linguaggio industriale usato in tutto il mondo dalle aviazioni, comunicazioni, spazio, trasporti, eserciti e nei controlli di processi industriali. ADA è spesso il software che rende sicura la vita in applicazioni che fanno volare la maggior parte dei passeggeri di compagnie aeree private, così come nel controllo del traffico aereo da terra.

ADA si trova in treni ad alta velocità, sistemi di metropolitane, celle telefoniche e barche da crociera.

Recentemente ADA è migrato anche nel settore medico, dell'energia, finanziario e nei domini Internet. A causa della sua affidabilità, ADA è anche utilizzato per ordinare film tramite tv via cavo.

Laddove un errore di software può costare vite umane o forti perdite finanziarie, dunque, ADA è la scelta giusta.

Il linguaggio ADA è stato inizialmente sviluppato per rispondere alle esigenze di sistemi militari "mission critical".

Il controllo durante la battitura del programma è importante per ridurre in modo significativo gli errori più comuni, costringendo a mappare in modo esplicito gli oggetti ai loro tipi corrispondenti. L'elaborazione delle eccezioni consente di gestire condizioni hardware e software pericolose incontrate durante l'esecuzione, facilitando il ritorno ad un livello di sicurezza noto. La struttura del linguaggio contiene meccanismi atti a migliorare l'ingegnerizzazione del software e la qualità finale del programma.

Il principale aggiornamento del linguaggio è avvenuto nel 1995, con l'uscita di ADA 95.

I principali miglioramenti comprendono il pieno utilizzo di tecniche object-oriented (OOP), dispositivi per la distribuzione dei carichi di elaborazione in tempo reale (come il multi-threading, protected objects, alternative scheduling models) e il supporto per la gestione di programmi molto ampi, sui quali debbano agire più programmatori contemporaneamente. E' pensato per lavorare bene in ambienti multi-linguaggio e dispone di standard per interfacciarsi con altri linguaggi e facilitare il riutilizzo delle parti già scritte.

La nascita di ADA

Il linguaggio ADA è il risultato dello sforzo di progettazione più esteso e costoso mai intrapreso.

Fino al 1974 metà delle applicazioni del Dipartimento della Difesa USA (DoD) erano sistemi integrati.

Un sistema integrato è quello in cui l'hardware del computer è legato con i dispositivi che controlla.

Più di 450 linguaggi erano stati usati per implementare differenti progetti, ma nessuno di essi era standardizzato. Per questo motivo il software era raramente riutilizzato. Allora, l'esercito, la  marina e l'aeronautica proposero di sviluppare un linguaggio di alto livello per sistemi integrati.

Nel 1977 fu creata una serie completa di specifiche per ADA.

Nel febbraio del '77 la fase 1 del disegno del progetto fu completata. In aprile 4 fornitori presentarono le loro soluzioni. Subito dopo ci furono 2 mesi di valutazione dove 400 volontari suddivisi in 80 gruppi scelsero due dei 4 fornitori che avevano proposto una soluzione.

A queste due compagnie venne dato il mandato di proseguire con la fase 2 del progetto.

Al termine della fase 2  ci furono altri due mesi di valutazione. In maggio del '70 il Cii Honeywell/Bull (unico fornitore straniero) fu scelto come miglior progetto.

La fase 3 iniziò subito dopo e il disegno del progetto fu pubblicato dall'ACM. In novembre '79 furono ricevute più di 500 segnalazioni sul linguaggio da 15 differenti nazioni. La maggior parte erano suggerimenti per piccole modifiche, nessuno veramente importante.

Sulla base di queste critiche venne fatta una revisione del linguaggio, pubblicata poi in febbraio '80.

Dopo ancora piccoli cambiamenti in alcuni anni successivi, la versione ufficiale finale fu definitiva.

Il linguaggio ADA venne quindi surgelato per i successivi 5 anni.

Le funzioni principali del linguaggio ADA

Packages: tipi di dati, oggetti e specifiche di procedure possono essere incapsulati in un package. Ciò consente il disegno di programma con astrazione di dati.

Excpetion handling: ADA ha ottime capacità di gestire le eccezioni, il chè consente al programma di gestire i suoi errori di run-time.

Generic program units: è possibile scrivere una procedura (per esempio un sort) che non richieda l'indicazione del tipo di dati.

Parallel/Concurrent processing: ADA supporta l'esecuzione di task paralleli e concorrenti.

ADA 95 ha inoltre:

- supporto per programmazione object oriented

- librerie più flessibili

- migliore controllo dei dati condivisi

Aree applicative per linguaggio ADA

- DoD (Governo e Dipartimento della Difesa)

- sistemi bancari

- aviazione commerciale

- sistemi di comunicazione

- CAD (disegno tecnico)

- Produzione (controllo di processi)

Esempi di programmi ADA:

1) Hello world

with Text_To; use Text_To

procedure hello is

begin


put("Hello World");


end hello

2) Somma in una schiera (packaging e array processing)

package ArrayCalc is

type Mydata is private;

function sum return integer;

procedure setval(arg:in integer);

private


size: constant:= 99;


type myarray is array(1..size) of integer;


type Mydata is record

val: myarray;

sz: integer := 0;

end record;

v: Mydata;


end;


package body ArrayCalc is

function sum return integer is


temp: integer;

-- Body of function sum

begin

temp := 0;

for i in 1..v.sz loop

temp := temp + v.val(i);

end loop;

v.sz:=0;

return temp;


end sum;

procedure setval(arg:in integer) is

begin

v.sz:= v.sz+1;

v.val(v.sz):=arg;

end setval; end;


with Text_IO; use Text_IO;

with ArrayCalc; use ArrayCalc;

procedure main is

k, m: integer;


begin -- of main


get(k);

while k>0 loop

for j in 1..k loop


get(m); put(m,3);

setval(m);

end loop;

new_line; put("SUM =");


put(ArrayCalc.sum,4);


new_line; get(k);

end loop;

end;
 

Links d'approfondimento per ADA

• The ACM ADA site
  This is the ACM's collection of information and references for the ADA programming language.

• Ada Home
  Resources, links, sample programs, and brief history of Ada

• Ada compiler for Windows 95
  

• The Public Ada Library
  

• The Ada-Belgium Organization
  A forum for persons interested in Ada programming, and its application.

• ADA Information Clearinghouse
  Tools and reference materials for ADA.

• Paper on using ADA 95 for Internet programming

 Selezione di libri su computer e informatica 

  Segnala un sito

© 1999-2012 Tutti i diritti riservati