Libri UniversitariApri il catalogo

Avizienis – Basic concepts and taxonomy of dependable and…

Libro adottato a Firenze, Pisa, a.a. 2026/2027 · 3 canali

«Avizienis – Basic concepts and taxonomy of dependable and…» è adottato per Dependable And Secure Systems dal prof. Cinzia Bernardeschi (Computer Engineering – sede di Pisa, Cybersecurity – sede di Pisa – Pisa); per Architecture, Model And Analysis Of Cyber Physical Systems dal prof. Paolo Lollini (Software: Science and Technology – Firenze).

Avizienis – Basic concepts and taxonomy of dependable and…Cerca su Amazon ›

Come lo indica il docente: A. Avizienis, J.C. Laprie, B. Randell, C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, Vol. 1, N. 1, 2004 · Avizienis, A.; Laprie, J.-C.; Randell, B.; Landwehr, C. “Basic concepts and taxonomy of dependable and secure computing” IEEE TDSC, Vol. 1 Page(s): 11- 33, 2004

Chi lo adotta

Programma e testi di ogni canale

Dependable And Secure Systems – 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 ›

Avizienis – Basic Concepts and Taxonomy of Dependable and…questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Nicol – Model-Based EvaluationCerca 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 SoftwareCerca 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.

Dependable And Secure Systems – Prof. Cinzia Bernardeschi Canale unico

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

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

Avizienis – Basic Concepts and Taxonomy of Dependable and…questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Nicol – Model-Based EvaluationCerca 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 SoftwareCerca 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.

Architecture, Model And Analysis Of Cyber Physical Systems – Prof. Paolo Lollini Canale unico

Corso di laurea: Software: Science and Technology · Laurea magistrale (LM-18) · 1º anno · annuale · 12 CFU

Firenze · Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA) · 12 CFU · apri nel catalogo · Software: Science and Technology · 1º anno ›

Avizienis – Basic concepts and taxonomy of dependable and…questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Siewiorek – Reliable Computer SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hermann Kopetz – Design Principles for Distributed Embedded Applications, second…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
van Steen – Distributed SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bondavalli – L'Analisi Quantitativa dei Sistemi CriticiCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Per la parte "Architetturale" del corso, i riferimenti principali sono:
  • Libri che riguardano argomenti specifici trattati durante il corso
  • Dispense integrative su argomenti specifici del corso.

Argomenti del programma: Il corso si divide in due parti (parte "Architetturale" e parte "Modellizzazione e Analisi") che trattano rispettivamente: Parte "Architetturale": problematiche architetturali relative alla dependability di sistemi di sistemi cyber-fisici, e metodologie per la progettazione e costruzione di tali sistemi; Parte "Modellizzazione e Analisi": metodologie e formalismi di modellizzazione per la valutazione quantitativa…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a