• APPUNTI
• SCIENZE E TECNOLOGIE INFORMATICHE
• 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

---

Dettagli appunto:

• Autore: Maurizio Fortunati
  [Visita la sua tesi: "La Blockchain come strumento di marcatura temporale per grandi quantità di dati"]
  
  [Visita la sua tesi: "Dynamic Access Control in una realtà consortile tramite XACML e smart contract"]
  
• Università: Università degli Studi di Milano
• Facoltà: Scienze e Tecnologie Informatiche
• Corso: Sicurezza Informatica
• Esame: Modellazione e analisi di sistemi
• Docente: Elvinia Riccobene

 

Per approfondire questo argomento:

• informatica
• modellazione

Altri appunti correlati: