A new pseudo-Boolean satisfiability based approach to power mode schedulability analysis

Ray, Sayak ; Dasgupta, Pallab ; Chakrabarti, P. P. (2007) A new pseudo-Boolean satisfiability based approach to power mode schedulability analysis In: 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07), 6-10 January 2007.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/document/4092029/

Related URL: http://dx.doi.org/10.1109/VLSID.2007.16


It is important to know for a collection of tasks running in hand-held devices, if there is any way to schedule power modes to them which maintains every temporal and power constraints. The peak power that the battery in the system can deliver at any moment plays crucial role in deciding schedulability. We propose a pseudo-Boolean satisfiability (PB-SAT) based approach for solving this schedulability problem of power modes for a collection of tasks. We show that in majority of useful cases, the problem can be encoded using linear constraints only and thus becomes an instance of PB-SAT problem. We also show how we can find out a mode allocation using PB-SAT approach that ensures minimum power consumption, but never violates any temporal constraint. We also propose a binary search based approach with PB-SAT as its core, how we can find out the bare minimum value of the battery peak power that allows a power mode allocation to the tasks without violating its temporal constraints. Results show that the approach gives acceptable results in many cases.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
ID Code:101678
Deposited On:09 Mar 2018 10:17
Last Modified:09 Mar 2018 10:17

Repository Staff Only: item control page