|
|
Large Language Models for Generating Code Focusing on Embedded Systems
Vadovič, Matej ; Nosko, Svetozár (oponent) ; Smrž, Pavel (vedoucí práce)
The goal of this work was to adapt a pre-trained language model for the purpose of generating code in the field of embedded systems. The work introduces a new dataset for fine-tuning code generation models, consisting of 50,000 pairs of source code and comments focused on embedded systems programming. This dataset is composed of collected source code from the GitHub platform. Two new language models for code generation, based on transformer architecture pre-trained models, were fine-tuned on the data of the new corpus. Model MicroCoder is based on the CodeLLaMA-Instruct 7B model, and during its fine-tuning, the QLoRA technique was used to minimize computational requirements. The second model, MicroCoderFIM, is based on the StarCoderBase 1B model and supports code infilling. The individual models were compared based on BLEU, CodeBLEU, ChrF++, and ROUGE-L metrics. Model MicroCoderFIM achieves the best adaptation results to the new task, with over 120% improvement in all measured metrics. The weights of the models along with the new dataset are freely accessible on a public repository.
|
|
|
Tools Generator for Domain-Specific Languages
Kosík, Daniel ; Regéciová, Dominika (oponent) ; Křivka, Zbyněk (vedoucí práce)
DSL Tools Generator is a tool for simplifying the development of domain-specific languages by generating parts of their implementation (e.g. abstract syntax tree) in C# and tools for using the language in a code editor. Based on an ANTLR4 grammar and a DSL configuration file, it generates a server implementation for the Language Server Protocol and a language support extension for Visual Studio Code that provides syntax highlighting, error reporting, and basic code completion functionality. The developed tool can significantly reduce the time and effort required for building a DSL with editor support.
|
|
|
Generování kódu z textového popisu funkcionality
Kačur, Ján ; Ondřej, Karel (oponent) ; Smrž, Pavel (vedoucí práce)
Cieľom tejto práce bolo navrhnúť a implementovať systém na generovanie kódu z textového popisu funkcionality. Boli vypracované celkovo 2 systémy, prvý z nich slúžil ako kontrolný prototyp, a druhý ako reálny výstup práce. Zameral som sa na použitie nepredtrénovaných modelov s menšími rozmermi. Obidva systémy používali ako jadro model typu Transformer. Druhý systém využil na rozdiel od prvého syntaktický rozklad kódu aj textových popisov. Dáta pre obidva systémy pochádzali z projektu CodeSearchNet, cieľový jazyk pre generovanie bol jazyk Python. Druhý systém dosiahol lepšie číselné výsledky, ako prvý, s presnosťou predpovede slov 85%, zatiaľ čo prvý len 60%. Systém dokázal doplniť správny kód na dokončenie funkcie, s väčšou časovou odozvou. V tejto práci sa venujem takmer výlučne druhému systému.
|
|
|
Generování backendu aplikace z UML modelu
Klikar, Václav ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat nástroj umožňující obousměrnou synchronizaci UML diagramu tříd a backendu aplikace kdykoliv v průběhu tvorby aplikace. Práce s UML modelem je umožněna pomocí standardizovaného XMI formátu. Backend aplikace je vytvořen a spravován prostřednictvím webového rámce Django. Pro čtení a zápis programového kódu Djanga je využit syntaktický analyzátor abstraktních syntaktických stromů.
|
|
|
Generování informačního systému
Voborník, Petr ; Jirák, Ota (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Práce stanovuje požadavky pro implementaci generátoru informačních systémů. Zaobírá se nalezením společných prvků informačních systémů. Dále specifikuje požadavky na zápis konceptuálního modelu. Pokračuje popisem obecného uživatelského pohledu na systémy. Na základě zmíněných analýz jsou vybrány implementační technologie a navrhnuta architektura generovaných systémů. Generované systémy jsou navrženy tak, aby poskytovaly základní operace pro práci s položkami systému. Mimo to jsou diskutovány různé způsoby generování kódu. Je navržen metamodel pro uchování konceptuálního modelu systému a jsou diskutovány jeho možné zápisy. Nakonec jsou popsány problémy, které musí řešit generátor při generování kódu.
|
|
|
SW development and testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (oponent) ; Krejsa, Jiří (vedoucí práce)
The thesis describes Model Based Design process and its application for the design and testing of algorithms. This approach was employed in the development of the Engine Monitoring Module in collaboration with the UNIS, a.s. company. The continuous monitoring of equipment is a current trend in the development of the aerospace industry. The outputs of these algorithms can be used for planning maintenance with respect to operative modes and conditions. Monitoring algorithms are implemented in the Matlab/Simulink environment and are tested on the dSpace platform.
|
|
|
Modelem řízený vývoj Android aplikací
Bělehrádek, Stanislav ; Burget, Radek (oponent) ; Rychlý, Marek (vedoucí práce)
Tato diplomová práce se věnuje návrhu a implementaci nástroje pro tvorbu Android aplikací, který je založený na modelem řízeném vývoji software (Model Driven Software Development). Nejprve je popsán obecně vývoj softwaru, potom konkrétně se zaměřením na MDD a executable UML. V další části je představena platforma Android, způsoby tvorby aplikací na tuto platformu a existující nástroje s podporou MDD. Následně je ukázán návrh nového MDD nástroje pro tvorbu Android aplikací. Navrhovaný nástroj je realizován jako Gradle plugin a samostatné vývojové prostředí využívající tento plugin. Nástroj k modelování aplikací využívá fUML a jazyk ALF. Funkce a možnosti vyvíjeného nástroje jsou demonstrovány při tvorbě vzorové aplikace.
|
|
|
Automatické generování projektu v prostředí TIA portal
Halata, Roman ; Jirgl, Miroslav (oponent) ; Štohl, Radek (vedoucí práce)
Diplomová práce se zabývá automatickým generováním kódu pro PLC od firmy Siemens. První část se zaměřuje na aktuálně dostupné nástroje pro generování kódu a možnosti C# knihovny Siemens TIA Openness. Dále je vytvořen návrh struktury projektu v TIA portal. Nakonec je navržena a vytvořena uživatelská aplikace pro automatické generování kódu v TIA portal v15, vhodná především pro větší projekty s rozdělením na jednotlivé stanice.
|
|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
Generování zdrojových kódů aplikací pomocí návrhových vzorů
Hanák, František ; Malinka, Kamil (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato práce se zabývá generováním zdrojových kódů aplikací pomocí návrhových vzorů. Práce popisuje problematiku specifikace návrhových vzorů a jejich užití při generování kódů aplikací. Podstatná část práce se věnuje popisu návrhových vzorů, jejich dělení, účelu použití, ale i způsobům specifikace vzorů. Detailně popisuje nejčastěji používané formální specifikace návrhových vzorů, jejich možnosti využití při generování kódu a návrh algoritmu pro vyhledání podobných struktur vzorů ve zdrojovém kódu.
|
host ::
RSS.