Entwurf eines energiegewahren Treibermodells für eingebettete Betriebssysteme,
Loading...
Date
2014-12
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
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