ILP-based path analysis on abstract pipeline state graphs [Elektronische Ressource] / von Ingmar Jendrik Stein

SSAATRIASVRDissertationZur Erlangung des GradesDoktor der Ingenieurwissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakultät Ider Universität des SaarlandesILP-based Path Analysis on AbstractPipeline State Graphsvon Diplom-InformatikerIngmar Jendrik Steinaus SaarbrückenSaarbrücken 2010IEEVNISNIUSTag des Kolloquiums: 28. Mai 2010Dekan: Prof. Dr. Joachim WeickertVorsitzender: Prof. Dr. Raimund SeidelGutachter: Prof. Dr. Dr. h. c. mult. Reinhard WilhelmProf. Dr. Sebastian HackAkademischer Mitarbeiter: Dr.-Ing. Philipp LucasImpressumCopyright © 2010 by Ingmar SteinHerstellung und Verlag: epubli GmbH, Berlin, http://www.epubli.dePrinted in GermanyISBN: 978-3-86931-538-6Bibliografische Information der Deutschen NationalbibliothekDie Deutsche Nationalbibliothek verzeichnet diese Publikation in derDeutschen Nationalbibliografie; detaillierte bibliografische Daten sind imInternet über http://dnb.d-nb.de abrufbar.AbstractThis thesis presents a novel approach to path analysis which is an integralpart of the WCET analysis. Up to now, there have been two different methodsfor this step, each with its respective advantages and disadvantages. Thenew ILP-based path analysis on abstract pipeline state graphs supersedesthe existing ones and combines the positive aspects of both but does notintroduce new limitations.