MAČIŠÁK, M. Využití metody „model based design“ pro návrh embedded aplikace [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2021.
Diplomová práce si kladla za cíl navrhnout postupy a metody založené na „Model Based Design“ pro návrh vestavných aplikací. Student měl nastudovat, prozkoumat a porovnat možnosti tvorby programového vybavení klasickými programovacími metodami a pomocí metod založených na „Model Based Design“. Nedílnou součástí řešení bylo ověření využití metody „Model Based Design“ pro návrh řízení BLDC motoru. Student měl implementovat programový kód pro řízení BLDC navržený pomocí „Model Based Design“ do HW platformy a ověřit funkčnost. Diplomová práce byla tvořena za pomoci a pod dohledem firmy UNIS. Student pracoval na diplomové práci samostatně a využíval konzultace vedoucího práce v nezbytné míře. Hlavní konzultace studentovi poskytovala firma UNIS. Student pracoval po celou dobu snaživě a disciplinovaně. Vlastní výstupy z diplomové práce je možné hodnotit pozitivně, a je možné říci, že student splnil všechny body zadání. Textová část práce obsahuje nebytné náležitosti a je správně strukturována, avšak objem jednotlivých kapitol je mírně disproporční jejich důležitosti. Na závěr mohu konstatovat, že diplomová práce byla splněna v rozsahu zadání práce. Student si vedl celkem dobře a zpracoval solidní diplomovou práci. Bohužel některé výtky k obsahu mírně degradují hodnocení práce. Přesto diplomová práce prokazuje inženýrské schopnosti student. Práci doporučuji k obhajobě.
Cílem předložené práce bylo získat praktické zkušenosti s metodou MBD, konkrétně využít tuto metodu pro návrh řízení BLDC motoru. Úvodní část práce vychází z provedené rešerše a představuje jak tradiční vodopádový model vývoje softwaru, tak následně i modernější přístupy (V model a Y model), které již mohou těžit z výhod MBD. Tato část práce je zpracována čtivě, přehledně a má přiměřený rozsah. Následně se autor soustředí na popis možností MBD v prostředí Matlab, stručně jsou zmíněny i další nástroje. Vzhledem k náročnosti a komplexnosti problematiky, ale také s ohledem na obtížnou dostupnosti nástrojů, je pochopitelné, že se autor ve svém popise soustředil především na jemu dostupné prostředky v prostředí Matlab. V souladu se zadáním se autor dále zaměřuje na využití MBD přístupu pro bezpečnostně-kritické aplikace, v textu práce proto popisuje jak problematiku validace a verifikace, tak vybrané normy z oblasti funkční bezpečnosti používané v leteckém průmyslu. Je trošku škoda, že pro další oblasti, které řeší funkční bezpečnost, se v práci nenašel prostor, ale těžištěm práce nebyly normy, ale získání zkušeností s praktickým využitím MBD nástrojů. V rámci dokumentace realizační části práce autor dokumentuje návrh systému řízení BLDC motoru, přičemž pro návrh regulátoru a následně implementaci řízení používá nástroje Simulink a StateFlow. Obecně lze konstatovat, že zatímco rešeršní část práce je zpracovaná přiměřeným způsobem, tak dokumentační část věnovaná realizovaným činnostem je na mnoha místech mimořádně stručná. Návrh PI regulátoru je dokumentován pouze konstatováním, že regulátor byl laděn pomocí simulací, tedy zřejmě metodou pokus-omyl. Navržený stavový automat je dokumentován pouze obrázkem zachycujícím samotný stavový automat, ovšem kvalita obrázku je na hranici čitelnosti. Podrobnější popis jednotlivých stavů uveden není. Co jednotlivé stavy reprezentují lze rozpoznat pouze z názvu těchto stavů. Proč jsou některé konstanty, podle kterých se rozhoduje o přechodech mezi jednotlivými stavy (např. timer>1000, timer >29990), zvoleny tak, jak jsou, není v práci dokumentováno vůbec. Autor se v práci rovněž stručně zabývá využitím nástrojů pro ověření vygenerovaného kódu, nicméně z textu není zcela jasné, zda nějaké automatizované testovací nástroje využil, zda to vedlo k odhalení nějakých chyb nebo jak se mu tyto nástroje osvědčily, nebo proč se rozhodl je nevyužít. Autor pouze uvádí, že (zřejmě manuální) testy prováděl a že se kód podařilo ověřit. Na závěr práce autor dokumentuje a na konkrétním příkladu uvádí jednu z možností pro spojení automaticky generovaného a ručně psaného kódu a konstatuje, že se práci podařilo úspěšně dokončit. V práci není uvedeno, zda autor narazil na nějaké podstatnější nebo časově náročnější problémy, ani jak tyto problémy, pokud byly, řešil. Práce byla nepochybně náročná, co se týče nutnosti nastudovat poměrně komplexní problematiku. Práce obsahuje malé množství překlepů, grafická úroveň práce je převážně standardní, použité zdroje jsou citovány. Zadání bylo splněno. Přínosná je především první polovina diplomové práce, která představuje úvod do problematiky MDB. Dokumentace vlastních realizovaných aktivit, které byly těžištěm diplomové práce, je na hranici akceptovatelnosti.
eVSKP id 134825