PRISM model checker as an Eclipse-plugin

Bc. Milan Malota

Master's thesis

Anotácia:

PRISM je nástroj sloužící k automatizovanému testování pravděpodobnostních modelů, je používám v nejrůznějších oblastech praxe a je velmi dobře znám mezi odbornou veřejností zabývající se modelováním a analyzováním systému s pravděpodobnostním nebo náhodným chováním. Grafické rozhraní tohoto nástroje bylo vyvinuto v počátečních stádiích životního cyklu, od té doby udělaly technologie obrovský pokrok. To je jeden z důvodů, proč byl vznesen návrh na vytvoření nového grafického rozhraní. Jednou z vhodných platforem pro integraci existující aplikace a preferovaných vývojáři původního nástroje je Eclipse platforma. V rámci této práce analyzujeme dostupné Eclipsové platformy a grafické frameworky. Na základě této analýzy je pak vytvořeno nové grafické rozhraní umožňující stejnou funkcionalitu jako původní nástroj.

Abstract:

PRISM is a probabilistic model checker and is used in many different application domains and is well known among scientists dealing with formal modeling and analysis of systems that exhibit random or probabilistic behavior. PRISM's GUI was developed in the beginning of the PRISM life cycle and technologies made great progress. That is why the request for a new GUI was pronounced. One of the platforms suitable for integrating an application and preferred by the original development team is the Eclipse platform. In the scope of this thesis we analyze available Eclipse platforms and notable graphical user interface frameworks. On the basis of the analysis new graphical user interface allowing all functionality of the current PRISM GUI is implemented.

Keywords

PRISM, Eclipse RCP, Eclipse e4, AWT, Swing, SWT, JFace, Albireo

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 11. 1. 2016

Obhajoba závěrečné práce

• Obhajoba proběhla 19. 2. 2016
• Vedúci: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: RNDr. Vojtěch Forejt, Ph.D.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Applied Informatics / Applied Informatics