Certificazione Software
Corso di Laurea Specialistica in Informatica
Università di Padova, a.a. 2005/6
Docente: Tullio Vardanega 
(Ultimo aggiornamento: 20 marzo 2006 ore 9:00)
[aggiornato collegamento a specifica del progetto didattico]

Presentazione

Il corso si propone di esporre gli studenti alle problematiche tecniche e metodologiche cui è esposta la progettazione e la validazione di sistemi software sottoposti a vincoli di certificazione di sicurezza. Il corso si compone di una serie di seminari offerti da esperti aziendali, la cui trattazione coprirà la parte frontale del corso. Per quest'anno accademico, gli esperti aziendali saranno tutti provenienti dal settore ferroviario, soggetto alla normazione CENELEC, parte della quale verrà illustrata nel corso. Il corso si completa con una parte pratica, nella quale a ciascun partecipante viene assegnato un compito in forma di progetto concreto, la cui realizzazione comporterà l'adesione effettiva alle norme ed alle pratiche illustrate nel corso.

Calendario dei seminari

data, ora
(aula TA50C)
 seminario
 relatore
 materiale bibliografico

26 gennaio
(14:30 - 16:30)

 Processi di certificazione e certificazione software
 Alessandro Mercuri
(Elettromeccanica CM)
27 gennaio
(9:30 - 11:30)
2 febbraio
(14:30 - 16:30)
 Processi di sviluppo per software certificabile
3 febbraio
(9:30 - 11:30)
9 febbraio
(14:00 - 15:15)
 Sistemi in sicurezza
Norma CENELEC 50126 (parte 1)		 Vardanega Ciclo di vita di sistema
1 - concezione
2 - definizione di sistema
3 - analisi di rischio
(materiale offerto da
Società Italiana Avionica)
10 febbraio
(9:30 - 11:30)
 Assenza del docente
16 febbraio
(14:30 - 16:30)
 Sistemi in sicurezza
Norma CENELEC 50126 (parte 2)		 Vardanega Ciclo di vita del sistema
4 - analisi dei requisiti
5 - allocazione dei requisiti
6 - sviluppo software & hardware
(materiale offerto da
Società Italiana Avionica)
17 febbraio
(9:30 - 11:30)
23 febbraio
(14:30 - 16:30)		 Sistemi in sicurezza
Norma CENELEC 50129		 Vardanega Ciclo di vita del sistema
7/8 - costruzione/installazione
9/10 - validazione/accettazione
11/14 - esercizio/ monitoraggio/ manutenzione/ dismissione
(materiale offerto da
Società Italiana Avionica)
24 febbraio
(9:30 - 12:30)
2 marzo
(14:30 - 16:30)		 Sistemi in sicurezza
Norma CENELEC 50126/9 (ricapitolazione)		 Vardanega

Gli studenti sono richiesti di preparare a fini di discussione in aula una loro vista riassuntiva e caratterizzante del ciclo di vita illustrato nei seminari CENELEC.

3 marzo
(9:30 - 12:30)		 Assenza del docente
9 marzo
(14:30 - 17:30)		 Ingegneria della sicurezza
Software in sicurezza

Alessandro Mercuri
(Elettromeccanica CM)

  
10 marzo
(9:30 - 11:30)
16 marzo
(14:15 - 17:15)		 Meccanismi di sicurezza realizzati a software
Presentazione del progetto didattico		 Alessandro Paganone
(Elettromeccanica CM)		  
17 marzo
(9:30 - 11:30)		 Fine corso

Modalità d'esame

L'esame di profitto consterà della presentazione e discussione del seguente progetto individuale.

Progetto didattico

    1. Architettura di sistema : la scelta del formalismo di descrizione è lasciata allo studente
    2. Requisiti di sicurezza (hazard analysis) : ove si analizzano tutti i rischi che gravano sul sistema come specificato nel problema e come progettato nell'architettura proposta, e si definiscono le appropriate misure di mitigazione
    3. Piano delle prove funzionali : che illustra l'insieme di prove necessarie per accertare il corretto funzionamento nominale del sistema ossia in assenza di malfunzionamenti indotti dall'esterno; una parte rappresentativa di tale piano di prove dovrà essere stata eseguita con successo all'atto della consegna
    4. Validazione mediante fault injection : che mostra l'effettiva capacità del sistema proposto di comportarsi come specificato al verificarsi di malfunzionamenti, tra quelli previsti al punto 2., artificialmente provocati da un iniettore appositamente realizzato.
Tutti i prodotti sopra elencati dovranno essere presentati e discussi in sede d'esame.
I prodotti 3-4 assumono e comprendono ovviamente la realizzazione concreta del sistema proposto e del suo simulatore d'ambiente. La scelta dell'ambiente e del linguaggio di programmazione è a discrezione dello studente, ma dovrà essere giustificata in relazione ai requisiti di sicurezza applicabili al dominio applicativo ed alle normative di certificazione illustrate a lezione.

L'impegno complessivo richiesto per la realizzazione del progetto didattico dovrà essere in un intorno stretto di 50 ore. Lo studente dovrà pianificare a monte la distribuzione dello sforzo per la realizzazione di ciascun prodotto e dovrà a valle associare ad ogni prodotto presentato il costo orario incorso nella sua realizzazione.

Calendario degli appelli d'esame

I sessione

Recupero estivo

Recupero autunnale