Original title:
Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase
Translated title:
Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems
Authors:
Gach, Marek ; Slaný, Karel (referee) ; Strnadel, Josef (advisor) Document type: Master’s theses
Year:
2009
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému.
This thesis is aimed to specify and implement multi-purpose framework able to deal with graphical real-time system specification. This tool allows to use arbitrary verification approach to resulting system model check. Description of basic formal specification methods based on mathematic logic is done. Some well-known hierarchical graphical specifications for real-time systems are depictured. Author proposed suitable cases for functionality examination of resulting framework.
Keywords:
formal method; Modechart; real-time system; system specification; UML; verification; formální metoda; Modechart; real-time systém; specifikace systému; UML; verifikace
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/53900