Diplomová práce

Optimization of Complex Abstract Syntax Tree Processing

Bc. Martin Baňas
Anotace

Táto diplomová práca skúma komponent systému Source Code Verifier (SCV), nástroja, ktorý spoločnosť Honeywell používa na zaistenie správnosti vývojových procesov overovaním prekladu zo Simulink blokových diagramov na spustiteľný C/C++ kód. Tento komponent identifikuje potenciálne problémy v preklade pomocou preddefinovaných výrazov na nájdenie problémových vzorov v Simulink modeloch. Tento komponent …více

Abstract

This thesis examines a component of a Source Code Verifier (SCV), a tool Honeywell uses to ensure the correctness of development processes by verifying the translation from block-based Simulink diagrams to executable C/C++ code. This component identifies potential translation issues using predefined expressions to find problematic patterns in Simulink models. However, the performance of this component …více

Klíčová slova
MATLAB Simulink SCV optimization Honeywell
Zadání práce
Automated verification of Matlab models is suffering from significant time and space resource demands when considering large-scale software projects. This work is to optimize data processing. The main goal:
  • Performance improvement of data processing
The partial goals are as follows:
  • Understand concepts behind the Matlab and Simulink.
  • Analyze data processing to identify possible improvements.
  • Design the new data structure.
  • Establish a process to produce the new format and process it.
Administrativní informace
Práce zkontrolována:
22. 5. 2024 18:34, doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
Plný text práce
645,8 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
20. 6. 2024
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
KTP FI MU

Oponent

RNDr. Martin Jonáš, Ph.D., učo 359542
KTP FI MU

Konzultant

Roman Dohnal
Honeywell spol. s.r.o.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Návrh a vývoj softwarových systémů

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.