Metody specifikace kyberfyzikálních systémů
Methods of specification of cyberphysical systems
Streszczenie
Cílem této diplomové práce je analýza výhod a nevýhod různých druhů popisu kyberfyzikálních systémů. Součástí je popis vybrané metody, která splňuje většinu současných požadavků na návrh CPS. V praktické části se věnuje pozornost zpracování příkladu na specifikaci vybrané kyberfyzikální soustavy. The aim of this diploma thesis is to analyse the advantages and disadvantages of different types of description of cyberphysical systems. It also concerns a description of the selected method that meets most of the current requirements for CPS design. In the practical part, attention is paid to the elaboration of an example for the specification of a selected cyberphysical system.
Keywords
Návrh automatizovaných řídicích systémů, specifikace kyberfyzikálních systémů, počítačová podpora tvorby softwaru, metoda IDEF, Industry 4.0, model RAMI., Design of automated control systems, specification of cyberphysical systems, computer aided software development, IDEF method, industry 4.0, RAMI model.Language
čeština (Czech)Study brunch
Aplikovaná informatika a řízeníComposition of Committee
doc. Ing. Jan Roupec, Ph.D. (předseda) prof. RNDr. Ing. Jiří Šťastný, CSc. (místopředseda) prof. Ing. Miluše Vítečková, CSc. (člen) doc. Ing. Roman Šenkeřík, Ph.D. (člen) prof. Ing. Dagmar Janáčová, CSc. (člen)Date of defence
2021-06-14Process of defence
Student obeznámil komisi s obsahem DP. Následně reagoval na dotazy oponenta. Další dotazy komise: prof. Janáčová - Ve kterém softwaru jste zpracovával návrh? Jaké jsou přínosy vašeho přístupu?Result of the defence
práce byla úspěšně obhájenaSource
JUNEK, M. Metody specifikace kyberfyzikálních systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta strojního inženýrství. 2021.Collections
- 2021 [433]