Abstract

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 in mixed-criticality or …