|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|
|
|
Typový příklad využití metod model-based design pro vývoj letadlových soustav
Sopoušek, Radek ; Kovář, Jiří (oponent) ; Janák, Luděk (vedoucí práce)
Tato bakalářská práce se věnuje problematice vývoje leteckých soustav, zejména jejich softwaru, s využitím metod „model-based design“ (MBD) při zachování doporučených postupů vytvořených leteckým průmyslem a certifikačními autoritami (zejména RTCA DO-178C/331). Obecné možnosti nasazení MBD dané současnými leteckými regulativy a standardy jsou popsány v teoretické části práce. Dále je v této práci popsáno, jak by mohl vypadat proces vývoje software pro dílčí část soustavy letadla („altitude hold mode“ softwaru autopilota“) s využitím metody „model-based design". Částečně je řešen i přesah na úroveň vývoje soustavy (systému dle SAE ARP 4754A). Součástí práce je ilustrativní příklad, ve kterém byly specifikovány systémové požadavky, vývoj software prostřednictvím „design modelu“ a zajištění trasovatelnosti mezi systémovými požadavky a design modelem.
|
|
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
|
Na modelech založený návrh řízení Smart Home
Čada, Roman ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce se zabývá návrhem, který je založený na modelu, řídicího systému Smart Home a následnou realizací tohoto systému. Cílem je vytvořit model, který slouží jako návrh, a podle tohoto modelu i realizovat systém. K tomu dobře slouží programovací nástroje, které fungují na bázi modelu. V práci je nejprve popsán na modelech založený návrh, modelovací jazyky, které slouží k tvorbě takového návrhu, a technologie, které se ve Smart Home používají. Na základě těchto poznatků je vytvořen model jako návrh pomocí modelovacího jazyku SysML a následně je tento návrh realizován pomocí programů PowerDEVS a Node-RED.
|
|
|
Typový příklad využití metod model-based design pro vývoj letadlových soustav
Sopoušek, Radek ; Kovář, Jiří (oponent) ; Janák, Luděk (vedoucí práce)
Tato bakalářská práce se věnuje problematice vývoje leteckých soustav, zejména jejich softwaru, s využitím metod „model-based design“ (MBD) při zachování doporučených postupů vytvořených leteckým průmyslem a certifikačními autoritami (zejména RTCA DO-178C/331). Obecné možnosti nasazení MBD dané současnými leteckými regulativy a standardy jsou popsány v teoretické části práce. Dále je v této práci popsáno, jak by mohl vypadat proces vývoje software pro dílčí část soustavy letadla („altitude hold mode“ softwaru autopilota“) s využitím metody „model-based design". Částečně je řešen i přesah na úroveň vývoje soustavy (systému dle SAE ARP 4754A). Součástí práce je ilustrativní příklad, ve kterém byly specifikovány systémové požadavky, vývoj software prostřednictvím „design modelu“ a zajištění trasovatelnosti mezi systémovými požadavky a design modelem.
|
|
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|
|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Brushless dc motor control under power loss condition
Šedivý, Jozef ; Veselý, Libor (oponent) ; Blaha, Petr (vedoucí práce)
This thesis is focused on implementation of safety function for electric actuator which is based on BLCD motor control in power loss condition, when the actuator is driven by in-built spring. Whole motor control algorithms are created in Matlab-Simulink using Model-based design technique. Source code obtained through using automatic code generation was used in real actuator and tested in real conditions. The aims of these tests are to verify the real deployment options of developed control algorithms, into the commercially available products.
|
host ::
RSS.