Zpětná extrakce Stateflow diagramu z kódu v jazyce C

Simple item page
but.committeeprof. Dr. Ing. Jan Černocký (předseda) doc. Ing. Lukáš Burget, Ph.D. (člen) doc. Mgr. Lukáš Holík, Ph.D. (člen) doc. RNDr. Pavel Smrž, Ph.D. (člen) doc. Ing. Vítězslav Beran, Ph.D. (člen) Ing. František Grézl, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B.cs
but.jazykslovenština (Slovak)
but.programInformační technologie a umělá inteligencecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorFiedor, Jansk
dc.contributor.authorGavenda, Danielsk
dc.contributor.refereeSmrčka, Alešsk
dc.date.created2024cs
dc.description.abstractSimulink diagramy majú široké využitie v priemysle, kde sa používajú na špecifikáciu riadiacich systémov. Konkrétnym blokom, ktorý sa v nich používa je Stateflow (stavový) diagram. Špecifikované systémy sú často kritické z hľadiska bezpečnosti, preto je otázka správnosti implementácie týchto systémov dôležitá. V tejto práci sa zameriame na návrh, popis a vytvorenie nástroja na spätnú rekonštrukciu Stateflow diagramu z optimalizovaného kódu v jazyku C za účelom preukázania funkčnej ekvivalencie medzi modelom a jemu odpovedajúcim kódom. Ďalej je vytvorená sada modelov reprezentujúcich modely so Stateflow diagramami a z nich vygenerované kódy pomocou viacerých optimalizácií. Na tejto sade bude vytvorený nástroj otestovaný, tiež je možné túto využiť pre evaluáciu iných analýz Stateflow a/alebo C kódu.sk
dc.description.abstractSimulink 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.en
dc.description.markBcs
dc.identifier.citationGAVENDA, D. Zpětná extrakce Stateflow diagramu z kódu v jazyce C [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.cs
dc.identifier.other156463cs
dc.identifier.urihttp://hdl.handle.net/11012/248571
dc.language.isoskcs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectSimulinksk
dc.subjectStateflowsk
dc.subjectoptimalizáciesk
dc.subjectvalidácia prekladusk
dc.subjectkonečné stavové automatysk
dc.subjectautomatické generovanie kódusk
dc.subjectspätná rekonštrukciask
dc.subjectHoneywellsk
dc.subjectSimulinken
dc.subjectStateflowen
dc.subjectoptimizationsen
dc.subjecttranslation validationen
dc.subjectfinite state automataen
dc.subjectautomatic code generationen
dc.subjectreverse reconstructionen
dc.subjectHoneywellen
dc.titleZpětná extrakce Stateflow diagramu z kódu v jazyce Csk
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2024-06-17cs
dcterms.modified2024-06-17-13:27:18cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid156463en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:38:05en
sync.item.modts2025.01.17 14:56:27en
thesis.disciplineStrojové učenícs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.23 MB
Format:
Adobe Portable Document Format
Description:
file final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
4.97 MB
Format:
Unknown data format
Description:
file appendix-1.zip
Download
Thumbnail Image
Name:
review_156463.html
Size:
12.28 KB
Format:
Hypertext Markup Language
Description:
file review_156463.html
Download
Collections
2024