Prototyp profilovacího nástroje pro embedded software

Vondrovic, Petr

Prototyp profilovacího nástroje pro embedded software

dc.contributor.advisor	Lipka Richard, Ing. Ph.D.	cs
dc.contributor.author	Vondrovic, Petr	cs
dc.contributor.referee	Dudáček Karel, Dr. Ing.	cs
dc.date.accepted	2025-06-16
dc.date.accessioned	2026-02-20T16:04:36Z
dc.date.available	2024-09-09
dc.date.available	2026-02-20T16:04:36Z
dc.date.issued	2025-05-09
dc.date.submitted	2025-05-09
dc.description.abstract	Profilování embedded softwaru je klíčové pro optimalizaci výkonu a spotřeby, avšak složité kvůli omezeným zdrojům a dostupnosti cílového hardwaru. Tato práce navrhuje a realizuje prototyp nástroje pro emulované vykonávání fragmentů řídicího kódu. Úvodní rešerše mapuje techniky profilování a analýzu WCET/WCEC. Text dále porovnává nástroje pro konkolické testování a emulaci. Výsledné řešení kombinuje konkolické testování, traceování a analýzu v prostředí Visual Studio Code. Nástroj umožňuje efektivní profilování vybraných částí embedded softwaru bez nutnosti nasazení na cílové zařízení a může sloužit jako základ pro další rozvoj v oblasti testování a analýzy embedded systémů.	cs
dc.description.abstract-translated	Profiling embedded software is essential for optimizing performance and energy consumption, yet it is challenging due to limited resources and the inaccessibility of target hardware. This thesis proposes and implements a prototype tool for emulated execution of isolated control code fragments. The initial chapters provide an overview of profiling techniques and WCET/WCEC analysis. The text also compares tools for concolic testing and emulation. The resulting solution combines concolic testing, tracing, and analysis within the Visual Studio Code environment. The tool enables effective profiling of selected parts of embedded software without requiring deployment to the target device and can serve as a foundation for further development in the field of embedded systems testing and analysis.	en
dc.description.department	Katedra informatiky a výpočetní techniky	cs
dc.description.result	Obhájeno	cs
dc.format	100 s (154 464 znaků)
dc.identifier	99644
dc.identifier.uri	http://hdl.handle.net/11025/65894
dc.language.iso	cs
dc.publisher	Západočeská univerzita v Plzni	cs
dc.rights	Plný text práce je přístupný bez omezení	cs
dc.rights.access	openAccess	cs
dc.subject	embedded systémy	cs
dc.subject	profilování	cs
dc.subject	emulace	cs
dc.subject	konkolické testování	cs
dc.subject	QEMU	cs
dc.subject	KLEE	cs
dc.subject	traceování	cs
dc.subject.translated	embedded systems	en
dc.subject.translated	profiling	en
dc.subject.translated	emulation	en
dc.subject.translated	concolic testing	en
dc.subject.translated	QEMU	en
dc.subject.translated	KLEE	en
dc.subject.translated	tracing	en
dc.thesis.degree-grantor	Západočeská univerzita v Plzni. Fakulta aplikovaných věd	cs
dc.thesis.degree-level	Navazující	cs
dc.thesis.degree-name	Ing.	cs
dc.thesis.degree-program	Softwarové a informační systémy	cs
dc.title	Prototyp profilovacího nástroje pro embedded software	cs
dc.title.alternative	Prototype of profiling tool for embedded software	en
dc.type	diplomová práce	cs
local.files.count	6	*
local.files.size	102027230	*
local.has.files	yes	*
local.relation.IS	https://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=99644