Verifica e Validazione dei Sistemi Software di Air Treffic Control

AVVISO DI SEMINARIO
Nell’ambito del corso di Affidabilità dei Sistemi Software Complessi, avrà luogo venerdì 22
maggio 2015, presso l’aula 7B il seguente seminario:
Verifica e Validazione di Sistemi Software Complessi e Critici
Air Traffic Control (ATC) e Vessel Traffic Systems (VTS)
Dr. Luigi Battaglia
Software & Networking Systems Engineer
SELEX-ES – Finmeccanica Group
Venerdì 22/5/2015 - Aula 7B, ore 12:00
Negli ultimi anni, sistemi software complessi (distribuiti e di grandi dimensioni) sono stati
progressivamente impiegati in scenari, spesso critici, come le infrastrutture di trasporto e gli
impianti per la fornitura di acqua e di energia. La criticità e la complessità di questi scenari
pone nuove sfide per gli ingegneri del software, che devono sviluppare sistemi capaci di
assicurare un elevato livello di affidabilità, nello stesso tempo devono mantenere bassi i costi
e i tempi di sviluppo. Durante il seminario verranno presentati alcuni scenari operativi
nell'ambito dei domini applicativi Air Traffic Control (ATC) e Vessel Traffic Systems (VTS) e le
normative internazionali vigenti.