Entwurf eines energiegewahren Treibermodells für eingebettete Betriebssysteme,

Abstract

In eingebetteten Betriebssystemen ist die Kenntnis der genauen (momentanen) Leistungsaufnahme einzelner Peripheriekomponenten zumeißt unbekannt, sodass diese Informationen nicht in Verhaltensentscheidungen zur Laufzeit einfließen. Zudem fehlt für die Analyse der Systemsoftware hinsichtlich ihres Energieverhaltens ein Zusammenhang zwischen Peripheriezugriffen und dem damit verbundenem Verbrauch. Um diese Lücke zu schließen, wird in dieser Arbeit die Treiberschicht eines eingebetteten Betriebssystems dahingehend umgestaltet, dass der Energieverbrauch von Peripheriegeräten in jedem Betriebszustand abgefragt werden kann und Treiberzugriffe mit entsprechenden Kosten annotiert werden. Hierzu wird das Modell der Priced Timed Automata (PTA) herangezogen und vollständig in die Treiberimplementierung integriert. Der Ansatz wird anhand von representativen Komponenten hinsichtlich seiner Exaktheit und seines Ressourcenverbrauchs evaluiert, sowie eine Methodik zur vereinfachten Treiberentwicklung nach diesem Modell vorgestellt