Bakalářská práce

Modular and Scalable Architecture for Automata Tutor

Artem Chornohub
Anotace

Tato bakalářská práce se zaměřuje na modernizaci architektury systému Automata Tutor, online vzdělávacího nástroje určeného pro výuku teorie automatů a formálních jazyků. Současný systém není navržen tak, aby podporoval rostoucí počet uživatelů, a jeho backend je založen na zastaralých technologiích. Tyto nedostatky omezují škálovatelnost a udržovatelnost platformy. Na základě analýzy stávající architektury …více

Abstract

This thesis focuses on modernizing the architecture of Automata Tutor, an online educational tool used for teaching automata theory and formal languages. The current system is not designed to support increasing number of users, and its backend relies on outdated technologies. These limitations restrict the platform's scalability and maintainability. After analyzing the current architecture and software …více

Klíčová slova
Automata Tutor system architecture software modernization containerization Kubernetes scalability
Zadání práce
The thesis explores software architectural techniques for modernizing Automata Tutor, focusing on gradually replacing its legacy backend with the modern .NET 8 web framework. Kubernetes will be evaluated as a potential architecture-level modernization solution to ensure high availability of the system during the transition. Additionally, suggested strategies will be investigated for scalability, flexibility, maintainability, and load balancing to support the system's long-term evolution. The thesis will deliver also an implementation of the solution, integrated into the Automata Tutor tool, and its evaluation, documentation and deployment on the production instance at FI MU.
Administrativní informace
Práce zkontrolována:
22. 1. 2026 14:32, prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., učo 139914
Plný text práce
1,2 MB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
5. 2. 2026
Práce byla úspěšně obhájena

Vedoucí

prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., učo 139914
KTP FI MU

Oponent

Mgr. Anna Řechtáčková
stud FI MU

Konzultant

Marta Grobelna
Technical University of Munich

Literatura

  • D'ANTONI, Loris; Martin HELFRICH; Jan KŘETÍNSKÝ; Emanuel RAMNEANTU a Maximilian WEININGER. Automata Tutor v3. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Springer, 2020, s. 3-14. ISBN 9783030532901. Dostupné z: https://doi.org/10.1007/978-3-030-53291-8_1.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Programování a vývoj aplikací

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.