Materiali del seminario: “La safety dei sistemi real-time”

Pubblichiamo i materiali del seminario “La safety dei sistemi real time”, tenutosi il 4/6/2008 presso il Dipartimento di Informatica e Comunicazione (DICO) dell’Università degli Studi di Milano:

• Presentazione della IEEE Computer Society - Italy Chapter (F. Battini, Chair IEEE CS Italy Chapter)
• Introduzione (Prof. G.P. Rossi / R. Sala – DICO, Universita’ di Milano)
• Le problematiche della safety nel software (F. Battini, IEEE Computer Society)
• I sistemi a partizionamento: lo standard ARINC-653 (Wind River Italia)
• Strumenti Didattici per i sistemi real-time safety critical: l\’University Program di Wind River (Wind River Italia)
• Question time, approfondimenti e conclusione (Prof. G.P. Rossi)

Profilo dei Relatori

Renato Sala - Renato Sala, laureatosi nel 1987 in Scienze dell’informazione presso l’Universita’ degli Studi di Milano, si occupa della progettazione e realizzazione di componenti software per sistemi real-time e di rete. In questo ambito ha coordinato numerosi progetti internazionali con caratteristiche mission critical nei settori difesa, avionica e spazio. In campo aerospaziale ha sviluppato sistemi software per il controllo degli esperimenti scientifici imbarcati su satelliti di osservazione terrestre ed ha realizzato le componenti software di alcune piattaforme satellitari per la gestione dei dati di bordo, la loro distribuzione e trasmissione verso le stazioni di terra. E’ attualmente impegnato nella progettazione di computer di bordo ad alta integrita’ in campo avionico e spaziale.
Dopo precedenti esperienze didattiche come docente di sistemi operativi nei Master sulla sicurezza dell’informazione e della comunicazione organizzati dall’Universita’ degli Studi di Milano, Renato e’ da tre anni responsabile del corso di “Sistemi in Tempo Reale e Software Safety” presso il Dipartimento di Scienze dell’Informazione della stessa Universita’.

Ferdinando Battini - Laureato in Fisica all’Universita’ di Genova, si e’ sempre occupato di sviluppo software in ambito real-time per applicazioni mission-critical e safety-critical prima in campo navale e poi, soprattutto, in campo aerospaziale.
E’ stato capo progetto software per la gestione dei dati scientifici di bordo dello strumento EPIC (European Photon Imaging Camera) a bordo del satellite ESA/XMM –Newton e in questa veste ha ricoperto il ruolo di Software supervisor del consorzio fra Universita’ di Tuebingen, Max Planck Institut, CEA-Saclay (F) e Università di Leicester (UK), guidato dal Prof. G. F. Bignami, attualmente Presidente dell’Agenzia Spaziale Italiana.
Dopo aver guidato i team di sviluppo software delle Laboratory Facility (Fluid Science Laboratory, Protein Cristalization Data Facility ) ora a bordo della Stazione Spaziale Internazionale, attualmente lavora presso l’industria aeronautica italiana. Si occupa delle relazioni con le autorita’ aeronautiche (ENAC e ARMAEREO) per gli aspetti metodologici e d’ingegneria del software dei processi di sviluppo di applicazioni soggette a certificazione aeronautica.
Ha al suo attivo alcune pubblicazioni nel campo dell’ingegneria del software, ma anche delle reti neurali ed ha condotto il progetto “Clean-Ap” sull’applicazione di metodologie per la misura dell’affidabilita’ del software nel quadro del programma ESSI/Software Best Practice
Dal Novembre 2007 e’ presidente dell’ Italy Chapter dell’IEEE Computer Society.