Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | cs |
| dc.contributor.author | Gach, Marek | cs |
| dc.contributor.referee | Slaný, Karel | cs |
| dc.date.created | cs | |
| dc.description.abstract | 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. | cs |
| dc.description.abstract | 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. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | GACH, M. Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
| dc.identifier.other | 25623 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53900 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | specifikace systému | cs |
| dc.subject | verifikace | cs |
| dc.subject | formální metoda | cs |
| dc.subject | Modechart | cs |
| dc.subject | UML | cs |
| dc.subject | real-time systém | cs |
| dc.subject | system specification | en |
| dc.subject | verification | en |
| dc.subject | formal method | en |
| dc.subject | Modechart | en |
| dc.subject | UML | en |
| dc.subject | real-time system | en |
| dc.title | Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase | cs |
| dc.title.alternative | Design and Implementation of a Tool for Hierarchical Graphical Specification of Real-Time Systems | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.modified | 2020-05-09-23:41:03 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25623 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:09:13 | en |
| sync.item.modts | 2025.01.17 14:32:54 | en |
| thesis.discipline | Inteligentní systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |