Název:
Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase
Překlad názvu:
Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems
Autoři:
Gach, Marek ; Slaný, Karel (oponent) ; Strnadel, Josef (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2009
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
formální metoda; Modechart; real-time systém; specifikace systému; UML; verifikace; formal method; Modechart; real-time system; system specification; UML; verification
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/53900