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.

Certified Software Development Professional (CSDP) è la certificazione di IEEE Computer Society per i professionisti dell’ingegneria del software. Nel 2007 è stata la certificazione con il tasso di crescita più alto. I soci possono risparmiare 100$ sul costo d’esame, e possono ottenere 200$ di sconto sul costo del corso. Potete andare al sito della certificazione con tutte le informazioni cliccando qui.

Il 13 marzo si è tenuto presso il Dipartimento di Elettronica ed Informazione del Politecnico di Milano il primo seminario tecnico organizzato dal Chapter Italy di IEEE-CS, dal titolo: “L’evoluzione dell’Object-Oriented per piattaforme embedded: fondamenti, evoluzioni e problemi relativi alla safety”. Ringraziamo i relatori ed i partecipanti. Di seguito i materiali dell’evento:

• Pierluigi San Pietro, Matteo Rossi (Dip. di Elettronica e Informazione, Politecnico di Milano)
  Modellazione Formale con UML e Logica Temporale (slide)
• F. Battini (EEE Computer Society, Italy Chapter)
  Le Problematiche dell’Object Oriented nel Mondo Safety Critical (slide)
• F. Pugnetti (ARTISAN Italia)
  OMG MDA - Model Driven Architecture (slide)
• Carlo Ghezzi (Dip. di Elettronica e Informazione, Politecnico di Milano)
  The challenges of open-world software (slide)

Abbiamo siglato un accordo con il capitolo italiano di ISSA (Information System Security Association), in base al quale i soci di IEEE Computer Society possono ottenere il 20% di sconto sulla quota di iscrizione alla certificazione LoCSI (Localizzazione delle Competenze di Sicurezza ICT). Normalmente, i non-soci ISSA pagherebbero una quota di partecipazione di euro 100 per la certificazione mediante grandfathering (valutazione del CV) e 200 per la certificazione mediante esame. I soci ISSA possono ottenere gratuitamente il grandfathering, e a 100 euro la certificazione mediante esame. Per i soci IEEE-CS, si applica uno sconto del 20% sull’importo dovuto: quindi un socio IEEE-CS, non socio ISSA, che partecipi all’esame paghera’ solo 160 EUR anziche’ 200, mentre un socio IEEE-CS che sia anche socio ISSA paghera’ solo 80 EUR. Vi ricordiamo che, in questo caso, la certificazione e’ erogata da ISSA-Italy, e non e’ endorsed da IEEE Computer Society: abbiamo soltanto stipulato una convenzione a beneficio dei nostri soci per una certificazione che reputiamo di interesse.

Caro Socio,

grazie per aver rinnovato la Tua iscrizione alla Computer Society anche per il 2008 ! Come membro attivo dell’IEEE fai parte della Section Italy e dell’Italian Chapter della Computer Society (CS). Da quest’anno la Tua iscrizione si arricchisce di ulteriori elementi di interesse.

Il capitolo italiano della CS infatti ha ripreso slancio per le sue attività locali dopo aver rinnovato il proprio comitato esecutivo. A quest’ultimo puoi rivolgerTi per ogni suggerimento, proposta o comunicazione che vorrai inoltrare, semplicemente scrivendo all’indirizzo di e-mail: computer.italy@ieee.org

o direttamente ai suoi componenti:
Ferdinando Battini, Chair - battini@ieee.org
Stefano Zanero, Co-Chair - s.zanero@computer.org
Robert Gasperoni, Secretary and Treasurer - robert@inthenet.sm

Inoltre potrai seguire le notizie sulle attività e iniziative del capitolo alla pagina web: http://www.computersociety.it/
raggiungibile anche dalle pagine del sito della Italy Section dell’IEEE (http://www.ieee-sezioneitalia.it) alla voce “chapters”.

In programma vi sono una serie di iniziative che speriamo possano venire incontro alle Tue necessità professionali, fra le quali:

• apertura e riattivazione degli Student Chapter presso i dipartimenti universitari (a tal fine gli student member interessati possono contattare il co-chair, s.zanero@computer.org)
• due eventi principali su temi tecnici, uno a maggio/giugno ed un altro a ottobre/novembre
• collegamenti con le altre associazioni professionali di categoria presenti in Italia

E’ prevista anche una serie di incontri fra Università ed Industria su temi specifici dove verranno invitate anche alcuni tra i maggiori Vendor di strumenti di sviluppo.
Il primo di questi incontri si terra’ nella mattina del giorno 13 marzo 2008 presso il Politecnico di Milano - Dip. Elettronica e Informazione (Via Ponzio, 34/5 Milano) sul tema relativo alla Software Engineering:
“L’evoluzione dell’Object-Oriented per piattaforme embedded: fondamenti, evoluzioni e problemi relativi alla safety.”

Oltre a questa iniziativa che ci da’ l’occasione per incontrarci e conoscerci, saremo a disposizione per altre iniziative di cui anche Tu potrai essere promotore. Infatti il Tuo contributo non solo sarà molto apprezzato, ma è sicuramente necessario per una crescita della professione di Computer Scientist; desideriamo quindi ricevere indicazioni ed adesione sui seguenti punti:

• partecipazione ai technical standard committee di IEEE
• partecipazione come peer-reviewer alla recensione degli articoli sottoposti a valutazione per una pubblicazione su Computer (il magazine che ricevi mensilmente)
• indicazione di temi di conferenza che risulterebbero di Tuo interesse, da includere nel programma di conferenze

Riguardo a quest’ultimo punto, Ti invitiamo a compilare e inviarci via mail (all’indirizzo computer.italy@ieee.org ) il form con suggerimenti per le prossime attività che vorresTi vedere organizzate dal chapter, disponibile per la Tua comodità in formato ODT, in formato DOC, e in formato RTFInoltre, se stai organizzando un evento tecnico di Tua iniziativa, a cui vuoi dare una maggiore visibilità, Ti proponiamo di presentarci la Tua idea per associarvi anche l’egida della Computer Society, in modo da dare più risalto all’evento sia in fase di annuncio che come diffusione dei risultati o atti congressuali.

Nell’attesa di poterTi incontrare di persona durante i nostri eventi ed incontri, Ti inviamo i nostri più sentiti auguri di buon lavoro !

Il comitato esecutivo
IEEE Computer Society, Italian Chapter

Ferdinando Battini, Presidente
Stefano Zanero, Vice-Presidente
Robert Gasperoni, Segretario/Tesoriere

Questa lettera è disponibile anche per il download in formato PDF