|title:||GUI for SMC: when science must go graphic|
|keywords:||Statistical model checking, GUI, visualisation, front-end technology|
|topics:||Creative , Other|
Carlos Esteban Budde
Model checking marries the marvels of modern algorithms to the power and elegance of mathematics, allowing users of software tools to compute sound, complete, and exact properties of complex systems: smart grids, self-driving cars, satellites, you name it.
One tiny little detail though: the mad scientists who design these tools expect users to understand and specify models like this, where the best aid you can hope for is syntax highlighting. That right there is a power management system to switch the power-mode of a computer device (but you knew that from reading the file...)
To make matters
worsebetter, the reply to a property query of those systems typically looks like this. That is telling us that in 100 time units (seconds), roughly 1 power-switch request is queued in the processing unit (elementary my dear Watson)
So, see, you may have something to do about that.
Design a GUI for fig, a Statistical Model Checker specialised in Rare Event Simulation.
- Choosing a suitable programming language and framework
[ Python? Sure! C++? I dare you! Other? Convince me :p ]
- Designing a look & fell that brings the best out of the tool
- Model specification: graphical? textual?
- Property queries: templates, parametrisation
- Results display: scatter plots, performance bar plots
- Implementing core (extensible) functionality of your creation
[ Impress the world with the shiny outcome of your brainchild ]
- Statistical Model Checking (survey) (Digital version available here)