Bear­beitet von H. Honz.

Mas­ter’s The­sis

Ab­stract

Die vor­liegende Mas­ter­ar­beit er­weit­ert ein Ver­fahren zur regel­basierten Erken­nung von in­ak­tiven Kom­po­nen­ten im Kon­text der En­twick­lung von Einge­bet­teten Sys­te­men. Bei der En­twick­lung Einge­bet­teter Sys­teme ist die Op­ti­mierung des Stromver­brauchs von großer Be­deu­tung. Das genan­nte Ver­fahren wurde en­twick­elt, um die zur Op­ti­mierung des Stromver­brauchs ver­wen­dete Tech­nik na­mens Power Gat­ing zu ermöglichen.

Das Ziel der Ar­beit ist es, die Per­for­manz der Soft­ware, welche das Ver­fahren um­setzt, zu erhöhen und so auch große Hard­wa­reentwürfe op­ti­mieren zu können. Umge­setzt wird dies in zwei Schrit­ten: Der erste Schritt ist das Aus­tauschen der Daten­struk­tur (der binären Entschei­dungs­di­a­gramme), mit der ex­ter­nen JDD-Bib­lio­thek, da diese mehr Per­for­manz ver­spricht. Der zweite Schritt ist die Er­weiterung der binären mit den funk­tionalen Entschei­dungsbäumen, um durch ver­schiedene Di­a­gramm­typen eine Beschle­u­ni­gung zu er­hal­ten.

Die JDD-Bib­lio­thek eignet sich nicht als Er­satz der vorhan­de­nen Im­ple­men­tierung. Grund hierfür war, dass mit der JDD-Bib­lio­thek immer vollständige Di­a­gramme er­stellt wer­den müssen, was ein groÿer Nachteil ist. Bei der vorhan­de­nen Im­ple­men­ta­tion der binären Entschei­dungs­di­a­gramme ist dies nicht der Fall. Die Im­ple­men­tierung der funk­tionalen Entschei­dungs­di­a­gramme erzeugt hauptsächlich bei arith­metis­chen Funk­tio­nen kleinere Di­a­gramme. Bei Steuerungs­funk­tio­nen waren die binären Entschei­dungs­di­a­gramme meist vorteil­hafter. Aus­geführte Tests machten einen Ver­gle­ich der Größe von BDDs und FDDs möglich. Weit­ere Verbesserun­gen bi­eten mögliche Er­weiterun­gen, wie beispiel­sweise an­dere Arten der Entschei­dungs­di­a­gramme.

Con­tact

Bring­mann, Oliver

Pe­ter­son, Dustin