Elenco appunti esame Modellazione e analisi di sistemi

Modellazione e analisi di sistemi

Appunti per il corso "Modellazione e analisi di sistemi", A.A 2018/2019, che presenta metodologie e tecniche per la specifica e l'analisi formale di sistemi complessi.
Argomenti affrontati:
• Cosa sono ed a cosa servono i Metodi Formali
• Applicazione dei Metodi Formali alla progettazione ed all'analisi di sistemi
• Modellazione ed analisi ad alto livello di astrazione. Le Abstract State Machines (ASM)
• Tecniche di raffinamento di modelli. Tecniche di astrazione
• Il tool-set ASMETA per modelli ASM
• Casi di studio di specifica di sistemi
• Modellazione ed analisi a basso livello di astrazione
• Automi di Kripke e Logica Temporale CTL: sintassi, semantica, pattern di specifica
• Algoritmi di model checking. Simbolic Model Checking con rappresentazione mediante OBDD
• Verifica di proprietà temporali: proprietà di raggiungibilità, di safety, di liveness, di fairness, assenza di deadlock.
• Astrazione di modelli: fusione degli stati; astrazione di variabili, riduzione di variabili, observer automata
• Raffinamenti di modelli: mappatura di modelli ad alto livello di astrazione verso modelli temporali
• Tool: NuSMV e AsmetaSMV

Autore: Maurizio Fortunati
Facoltà: Scienze e Tecnologie Informatiche
Università: Università degli Studi di Milano
Corso: Sicurezza Informatica
Docente: Elvinia Riccobene