Pietro LIGUORI
Insegnamento di AFFIDABILITA' E SICUREZZA DEI SISTEMI SOFTWARE COMPLESSI
Corso di laurea magistrale in INGEGNERIA INFORMATICA
SSD: ING-INF/05
CFU: 6,00
ORE PER UNITÀ DIDATTICA: 48,00
Periodo di Erogazione: Secondo Semestre
Italiano
Lingua di insegnamento | ITALIANO |
Contenuti | Il corso di Affidabilità dei Sistemi Software Complessi mira a fornire le metodologie e le tecniche di analisi, progettazione e verifica di sicurezza ed affidabilità del software. In particolare, tali concetti vengono affrontati inquadrandoli nel contesto dei sistemi software complessi e critici. |
Testi di riferimento | - L'analisi quantitativa dei sistemi critici. Andrea Bondavalli. Ed. Esculapio. |
Obiettivi formativi | Sviluppo di capacità di ragionamento e di critica nell'analisi e nella progettazione di sistemi software affidabili e sicuri. Conoscenza dei fondamentali concetti e tecniche per prevenire, rilevare e tollerare i difetti e le vulnerabilità del software. |
Prerequisiti | Acquisiti concetti di ingegneria del software e sistemi distribuiti |
Metodologie didattiche | Lezioni frontali, esercitazioni assistite |
Metodi di valutazione | Esame orale con eventuale discussione di elaborati progettuali individuali o di gruppo |
Altre informazioni | Materiale didattico aggiuntivo sarà disponibile sul sito del corso a cura del docente |
Programma del corso | 1. Introduzione al corso: i sistemi complessi e critici |
English
Teaching language | Inglese |
Contents | The course aims to provide the methodologies and techniques of analysis, design and verification of security and reliability of the software. In particular, these concepts are addressed in the context of complex and critical software systems. |
Textbook and course materials | - L'analisi quantitativa dei sistemi critici. Andrea Bondavalli. Ed. Esculapio. |
Course objectives | Development of reasoning and critical skills in the analysis and design of reliable and secure software systems. Knowledge of the fundamental concepts and techniques to prevent, detect and tolerate software flaws and vulnerabilities. |
Prerequisites | 67/5000 |
Teaching methods | Lectures, assisted exercises |
Evaluation methods | Oral examination with possible discussion of individual or group project works |
Other information | Materiale didattico aggiuntivo sarà disponibile sul sito del corso a cura del docente |
Course Syllabus | 1. Introduction to the course: complex and critical systems |