Bc. Martin Baňas

Master's thesis

Optimization of Complex Abstract Syntax Tree Processing

Optimization of Complex Abstract Syntax Tree Processing
Abstract:
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 …more
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 …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 21. 5. 2024

Thesis defence

  • Date of defence: 20. 6. 2024
  • Supervisor: doc. RNDr. Vojtěch Řehák, Ph.D.
  • Reader: RNDr. Martin Jonáš, Ph.D.

Citation record

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Master programme / field:
Software Engineering / Design and development of software systems

Theses on a related topic

  • No theses on a related topic available.