Safe and precise WCET determination by abstract interpretation of pipeline models [Elektronische Ressource] / von Stephan Thesing

Safe and Precise WCETDetermination by AbstractInterpretation of Pipeline ModelsDissertationzur Erlangung des Grades eines Doktors derIngenieurwissenschaften (Dr.-Ing.) derNaturwissenschaftlich-Technischen Fakultaten¤ derUniversitat¤ des SaarlandesvonDiplom-InformatikerStephan ThesingSaarbruck¤ enJuli 2004Tag des Kolloquiums: 18.11.2004Dekan: Prof. Dr. Jor¤ g Eschmeier, Universitat¤ des SaarlandesPrufungsausschuss:¤Vorsitzender Prof. Dr. Holger Hermanns, Universitat¤ des SaarlandesGutachter: Prof. Dr. Reinhard Wilhelm, Universitat¤ desProf. Dr. Werner Damm, Universitat¤ OldenburgAkad. Mitarbeiter: Dr. Christian Lindig, Universitat¤ des SaarlandesiErklarung¤Hiermit versichere ich an Eides statt, dass ich die vorliegende Arbeit selbststandig¤und ohne Benutzung anderer als der angegebenen Hilfmittel angefertigt habe. Dieaus anderen Quellen oder indirekt ubernommenen¤ Daten und Konzepte sind unterAngabe der Quelle gekennzeichnet.Die Arbeit wurde bisher wieder im In- noch im Ausland in gleicher oder ahnlicher¤Form in einem Verfahren zur Erlangung eines akademischen Grades vorgelegt.Saarbruck¤ en, deniiShort AbstractFailure of computer software in a hard real-time system leads to severe conse-quences and must be avoided by proving the correctness of the system’s software.A prerequisite for this is the determination of an upper bound for the worst-caseexecution times (WCET) of the tasks in the system.