Submitted: May 2014
Abstract
This thesis describes the implementation of a graphical automata frontend on mobile devices for the Modest Toolset, a model checking and simulation toolset that allows the analysis of hybrid, real-time, distributed and stochastic systems. We give a brief introduction to the Modest Toolset, followed by some theoretical and practical considerations for the implementation of the frontend.
The frontend was implemented as a web application, and acts as a modeling client for a model format based on timed automata. A new analysis server application was added to the Modest Toolset, which leverages the toolset’s existing analysis capabilities to provide a local or web based analysis service. The thesis describes the implemented client and server applications and provides an overview of how the two communicate. For the client, this includes a closer look the application design and some of its challenges.
Finally, the thesis gives an evaluation the implemented applications and shows possible improvements.