|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (oponent) ; Fiedor, Jan (vedoucí práce)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
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é.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
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é.
|
host ::
RSS.