Bc. Martin Moráček

Bakalářská práce

Simulátor pro modelovací jazyk nástroje DiVinE

Simulator for DiVinE modeling language
Anotace:
Cílem práce je vytvoření grafického uživatelského rozhraní pro editaci a simulaci modelů systému DiVinE včetě napojení na verifikační algoritmy a simulace jimi vygenerovaných protipříkladů. Na začátku práce jsme provedli analýzu grafických rozhraní existujících nástrojů Spin a UPPAAL a navázali na ni návrhem vlastního rozhraní. Zbylá část práce popisuje vypracovanou aplikaci a její implementaci za …více
Abstract:
This work aims to create a graphical user interface for editing and simulation of models of the DiVinE system including front-end for it's verification algorithms and simulation of generated counterexamples. We have analyzed the graphical interfaces of existing verification tools Spin and UPPAAL and introduced our own design. The rest of the work describes the created application and it's implementation …více
 
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 1. 2010

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

  • Obhajoba proběhla 1. 2. 2010
  • Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: RNDr. Petr Ročkai, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika