User: Guest  Login
Original title:
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods 
Translated title:
Quellcode-basierte Zeitanalyse eingebetteter Software mit Hilfe funktionaler Verifikationsmethoden 
Year:
2020 
Document type:
Dissertation 
Institution:
Fakultät für Elektrotechnik und Informationstechnik 
Advisor:
Chakraborty, Samarjit (Prof. Dr.) 
Referee:
Chakraborty, Samarjit (Prof. Dr.); Caccamo, Marco (Prof. Dr.); Müller-Gritschneder, Daniel (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
embedded, software, timing analysis, source code, WCET, formal verification 
Translated keywords:
Software, Ausführungszeitanalyse, Quelltext, Formale Verifikation 
TUM classification:
DAT 260d 
Abstract:
This thesis evaluates a source-level approach to estimating the worst-case execution time of software, leveraging recent tools from functional verification. Towards this, we automatically annotate the source code with processor timing models, and apply a combination of Abstract Interpretation and Model Checking to compute a precise estimate that is superior to existing approaches. We further introduce 'Timing Debugging', a novel process which enables the user to inspect the execution time in a d...    »
 
Translated abstract:
Diese Arbeit evaluiert einen Quellcode-basierten Ansatz zur Schätzung der maximalen Ausführungszeit von Software, unter Ausnutzung neuester Methoden aus den Bereich der funktionalen Verifikation. Zu diesem Zweck erweitern wir den Quellcode mit Prozessormodellen und wenden eine Kombination von Abstrakter Interpretation und Model Checking an, um eine Ausführungszeit zu berechnen welche präziser als jene bestehender Lösungen ist. Weiterhin stellen wir "Timing Debugging" vor, ein neuartiges Verfahre...    »
 
Oral examination:
26.05.2020 
File size:
4134603 bytes 
Pages:
242 
Last change:
17.09.2020