| Zugriffsnummer | 49220 |
| Dokumenttyp | Konferenzartikel |
| Peer Review | mit Peer Review |
| Sprache | Englisch |
| Titel | Power optimisation for a verifiably secure separation kernel |
| Autor(in); Institution |
Kammeyer, Alexander; 9.4, Metrologie für die Digitale Transformation, PTB-Berlin
Nordholz, Jan; 9.4, Metrologie für die Digitale Transformation, PTB-Berlin
|
| Quelle/Jahr | 2023 2nd Asia Conference on Electrical, Power and Computer Engineering (EPCE):(2023), 164 - 171 |
| ISBN | 979-8-3503-1082-5 (print) ; 979-8-3503-1081-8 (online) |
| DOI | |
| Verlag | IEEE |
| Konferenzangaben | 2nd Asia Conference on Electrical, Power and Computer Engineering, Xiamen, 21-23, April, 2023, China |
| Freie Schlagworte | hypervisor ; DVFS ; energy ; realtime control ; power optimization |
| Zusammenfassung | For embedded devices more than any other, nonfunctional software properties such as timeliness, safety, and power consumption play a pivotal role. However, these devices are running increasingly complex software stacks including virtualization in order to be usable inixedcriticality or mixed-certifiability scenarios. We demonstrate how a fully static hypervisor can be retrofitted with a power management module which enables it to react to fluctuations in VM execution load. Our results show a significant reduction in energy consumption, while we maintain the static properties of the codebase which are required for the hypervisor’s formal proof system. |
