ITALIANO

Il corso di Affidabilità dei Sistemi Software Complessi mira a fornire le metodologie e le tecniche di analisi, progettazione e verifica di affidabilità del software. In particolare, tali concetti 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.

L'analisi quantitativa dei sistemi critici. Andrea Bondavalli. Ed. Esculapio

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.

Conoscenza dei fondamenti dell’ingegneria del software.

Lezioni frontali e slide/dispense

Prova orale

1. Introduzione al corso: i sistemi complessi e critici;
2. Le peculiarità dei sistemi software;
3. I concetti di fidatezza;
4. Classificazione dei fault;
5. Attributi di fidatezza;
6. Fault Avoidance: SysM, etc.;
7. I Means: fault prevention, fault tolerance, fault removal, e fault forecasting;
8. Verifica e validazione dei sistemi software;
9. Tecniche di analisi e test;
10. Test funzionale e strutturale;
11. Test di robustezza;
12. Statistical test, fault based test, model based test, e object-oriented test;
13. Fault Injection;
14. Modelli formali;
15. Model checking;
16. Reti di Petri e reti SUN;
17. La tolleranza ai guasti;
18. Fault Trees;
19. Groph Models;
20. Sefety: hazard avoidance, detection e removal;
21. La sicurezza nei sistemi software critici;
22. Cyber Attacks;
23. Derection, Diagnosys e Recovery;
24. Tecniche di correlazione e machine learning applicate all’Intrusion Detection;
25. Malware analysis: tecniche e strumenti per l’analisi statica e dinamica;
26. Security tools: IDS/IPS e SIEM, Cyber Range.

Italian

The Reliability of Complex Software Systems course aims to provide the methodologies and techniques for analysis, design and verification of software security and reliability. In particular, these concepts are addressed in the context of complex and critical software systems.

L'analisi quantitativa dei sistemi critici. Andrea Bondavalli. Ed. Esculapio

Development of critical skill in the analysis and design of reliable and secure software systems.
Knowledge of the fundamental concepts and techniques to prevent, detect and tolerate software defects and vulnerabilities.

Software Engineering

Frontal lessons - Slide

Oral exam

1. Introduction to the course: complex and critical systems;
2. The critical software systems;
3. The concepts of Dependability;
4. Classification of faults;
5. Attributes of dependability;
6. Fault Avoidance: SysML, etc .;
7. Means: fault prevention, fault tolerance, fault removal, and fault forecasting;
8. Verification and validation of software systems;
9. Analysis and test techniques;
10. Functional and structural test;
11. Robustness test;
12. Statistical test, fault based test, model based test, and object-oriented test;
13. Fault Injection;
14. Formal models;
15. Model checking;
16. Petri nets and SUN networks;
17. Fault tolerance;
18. Fault Trees;
19. Groph Models;
20. Sefety: hazard avoidance, detection and removal;
21. Security in critical software systems;
22. Cyber ​​Attacks;
23. Derection, Diagnosys and Recovery;
24. Correlation and machine learning techniques applied to Intrusion Detection;
25. Malware analysis: techniques and tools for static and dynamic analysis;
26. Security tools: IDS / IPS and SIEM, and Cyber ​​Range.