Architecture, Model And Analysis Of Cyber Physical Systems – Firenze

Università degli Studi di Firenze · Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA) · tutti i canali con docenti e libri, a.a. 2026/2027

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 ›

Il docente indica 3 testi · da studiare tutti

Avizienis – Basic concepts and taxonomy of dependable and…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Siewiorek – Reliable Computer Systems Cerca 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 Systems Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bondavalli – L'Analisi Quantitativa dei Sistemi Critici Cerca 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.