University of Twente Student Theses

Login

GUI for FIG : visualising simulation results

Plentinger, C.S. (2020) GUI for FIG : visualising simulation results.

[img] PDF
457kB
Abstract:Statistical model checking (SMC) is used to reason about complex stochastic systems. Analytical and numerical approaches are often infeasible because of large state spaces. The Finite Improbability Generator (FIG tool) is a rare event simulator that can reason about these systems. We will be creating a GUI for FIG to visualise simulation results in real-time. Additionally, hypothesis testing will be added to the tool as an extension.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/80714
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page