Trasovatelnost optimalizovaného generovaného kódu

Traceability of Optimized Generated Code

Thumbnail
View/Open
Author
Advisor
Křivka, Zbyněk
Referee
Rychlý, Marek
Grade
B
Altmetrics
Metadata
Show full item record
Abstract
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
 
The goal is to create an application that analyzes the optimizations applied during the translation of an input model into the corresponding generated code. This analysis will be provided to developers in order to show sources of potential automated review failures. In this case, the analysis reports should serve as a guide to a model designer to transform the model to avoid problematic optimizations.
 
Keywords
trasovateľnosť, automaticky generovaný kód, optimalizácie, vývoj založený na modeloch, analýza generovaného kódu, rozbor syntaktického stromu, Python, MATLAB, Stateflow, traceability, automatically generated code, optimizations, model-based developement, syntax tree parsing, Python, MATLAB, Stateflow
Language
čeština (Czech)
Study brunch
Informační technologie
Composition of Committee
doc. Dr. Ing. Dušan Kolář (předseda) doc. Dr. Ing. Otto Fučík (místopředseda) Ing. Ivana Burgetová, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen)
Date of defence
2022-06-17
Process of defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných (např. k provádění optimalizace kódu či rozsah prezentace vlastního přínosu v technické zprávě). Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B - velmi dobře. Otázky u obhajoby: V kap. 6 "Testovanie výslednej aplikácie" zmiňujete jednu optimalizaci, kterou Vaše aplikace neumí detekovat. Je možné se v modelu nějak vyvarovat případů, které povedou při generování kódu k problematické optimalizaci?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/207312
Source
GAVENDA, D. Trasovatelnost optimalizovaného generovaného kódu [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.
Collections
Citace PRO