Dependable And Secure Systems – Pisa

Università di Pisa · Dipartimento di Ingegneria dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Cinzia Bernardeschi Canale unico

Corso di laurea: Computer Engineering – sede di Pisa · Laurea magistrale (LM-32) · 1º anno · 2º semestre · Cybersecurity · 9 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 9 CFU · apri nel catalogo · Computer Engineering – sede di Pisa · 1º anno · 2º semestre ›

Il docente indica 5 testi · da studiare tutti

Avizienis – Basic Concepts and Taxonomy of Dependable and…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Nicol – Model-Based Evaluation Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

John Knight. Fundamentals of Dependable Computing for Software Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Tomas Kulik – A Survey of Practical Formal Methods for…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Slides e materiale aggiuntivo fornito dal docente.

Argomenti del programma: Dependability and security. Non-malicious/malicious faults, errors and failures. Availability, Reliability, Safety, Confidentiality, Integrity, Maintainability. Hazard Analysis and risk assessment. Dependability design principles . Error detection and recovery. Fault masking. Redundant architectures. Hardware redundancy: Passive, Active and Hybrid techniques. Information redundancy: Coding.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.