Il tool e linguaggio PRISM è uno standard di fatto per la modellazione, simulazione e verifica di sistemi probablistici e stocastici, e può quindi essere utilizzato per l'analisi di sistemi informatici di tipo auto-organizzante, ispirati alla biologia, e per ambienti pervasivi. Tuttavia il linguaggio PRISM è di basso livello, e quindi non consente la specifica ad alto-livello dei sistemi di interesse.
L'obbiettivo della tesi è quello di concepire un linguaggio di alto livello per la descrizione di sistemi informatici relativemente ai contesti di cui sopra, e implementare un traduttore verso PRISM in modo da supportarne l'analisi. In ultima istanza, questa testi avrà lo scopo di promuovere l'uso di tecniche di modelchecking probabilistico per sistemi informatici moderni.

Tags:

Thesis

Analisi alto-livello di sistemi in PRISM 

Supervision

— supervisor

Mirko Viroli

— co-supervisor

Matteo Casadei

Sort

— cycle

second-cycle thesis

— status

out-of-date thesis

— language

wit.gif

Dates

— available since

17/12/2008

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY