|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Giovedì 19 Marzo 2009 |
|
| |
|
|
| |
PROGETTO FINANZIATO DALL´UNIONE EUROPEA ACCRESCE L´AFFIDABILITÀ E L´ADATTABILITÀ DEI SOFTWARE DI NUOVA GENERAZIONE
|
|
| |
|
|
| |
Bruxelles, 19 marzo 2009 - È appena partito un progetto finanziato dall´Unione europea per la progettazione e la manutenzione di sistemi software che siano affidabili e caratterizzati da una considerevole vita d´esercizio. Il progetto Hats ("Highly adaptable and trustworthy software using formal models") ha ricevuto un finanziamento di 5,27 milioni di euro nell´ambito dell´area tematica dedicata alle tecnologie dell´informazione e della comunicazione del Settimo programma quadro (7°Pq). La richiesta relativa allo sviluppo di software è significativa. Considerati i costi per lo sviluppo di grandi programmi di software, come quelli impiegati nel quadro dei servizi commerciali e governativi online, è necessario che questi programmi siano sicuri e abbiano una lunga vita d´esercizio. Inoltre, alla luce dell´importanza crescente rivestita dagli stessi nelle infrastrutture della società moderna, la loro affidabilità, vale a dire la loro funzionalità e la loro conformità alle politiche di sicurezza, riveste un ruolo essenziale. Oltre a dover essere utilizzabili per un lungo periodo di tempo, questi programmi devono soddisfare un consistente numero di requisiti e condizioni, devono essere flessibili rispetto alla variabilità degli ambienti lavorativi e finanziari e devono avere un´elevata adattabilità in modo da rispondere alle esigenze di ogni singola azienda, a prescindere dalle dimensioni di quest´ultima. I programmi attualmente più diffusi si basano su milioni di linee di codice, caratteristica che rende impossibile l´analisi autonoma della struttura del programma nella sua complessità nonché l´anticipazione di tutte le possibili interazioni dello stesso. Gli approcci impiegati oggi per riutilizzare e mantenere i diversi componenti di un software non sono adeguati a rispondere alle future esigenze delle applicazioni di servizi commerciali, sanitari e governativi online. Nel corso dei prossimi tre anni, i ricercatori del progetto Hats si dedicheranno a risolvere le sfide poste ai fini di garantire sicurezza, flessibilità e affidabilità dei codici che stanno alla base dei grandi programmi di software. Secondo quanto affermato dai partner, guidati dal politecnico Chalmers (Svezia), non è sufficiente estendere a questi programmi le attuali impostazioni delle pratiche formali. Il consorzio auspica di riuscire a creare una piattaforma per lo sviluppo di metodologie e strumenti che possano consentire agli ideatori di automatizzare il processo di manutenzione dei software in costante sviluppo. Hats si concentrerà inoltre sull´aspetto della sicurezza e dell´affidabilità sostituendo quelli che sono normalmente processi informali con processi caratterizzati da analisi rigorosamente matematiche del significato del linguaggio di programmazione utilizzato ("semantica formale"). Il fulcro del progetto è costituito da un linguaggio di modellazione di specifica comportamentale astratta (Abstract Behavioural Specification modelling language) che può essere impiegato anche per descrivere in modo estremamente accurato le caratteristiche del software e dei relativi componenti (inclusa la loro esatta ubicazione), sopperendo a una grave mancanza nell´odierno processo di sviluppo dei software. In assenza di queste descrizioni formali e dettagliate, infatti, non sarebbero possibili il controllo automatizzato della coerenza nonché l´applicazione degli standard di sicurezza. "Nei prossimi decenni, la principale sfida nella costruzione dei software è posta dalla necessità di coniugare un alto grado di adattabilità con l´affidabilità," affermano i partner del progetto. "Abbiamo intenzione di utilizzare su una base formale un paradigma di sviluppo software informale, che dimostra esiti positivi a livello empirico. In particolare, applicheremo un approccio formale nello sviluppo della gamma dei prodotti software. " La progettazione di sistemi software in grado di adattarsi automaticamente rappresenta uno degli ambiti di attività del progetto, che riunisce 12 partner europei leader nell´ambito dei linguaggi di programmazione, dei sistemi distribuiti, delle linee di prodotti software, della verifica formale e della teoria dei tipi. Per ulteriori informazioni, visitare: Politecnico Chalmers http://www. Chalmers. Se . |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
