Formal Methods for Dynamic Power Management

• Published in: International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 p. 874
• Main Authors: Gupta, Rajesh K., Irani, Sandy, Shukla, Sandeep K.
• Format: Conference Proceeding
• Language: English
• Published: Washington, DC, USA IEEE Computer Society 09.11.2003
• Series: ACM Conferences
• Subjects: Computer systems organization > Embedded and cyber-physical systems > Embedded systems; Hardware > Hardware validation; Software and its engineering > Software creation and management > Software verification and validation > Formal software verification; Software and its engineering > Software organization and properties > Software functional properties > Formal methods; Software and its engineering > Software organization and properties > Software system structures > Embedded software; Software and its engineering > Software organization and properties > Software system structures > Real-time systems software
• ISBN: 9781581137620; 1581137621
• ISSN: 1092-3152
• DOI: 10.5555/996070.1009990

Dynamic Power Management or DPM refers to the problem ofjudicious application of various low power techniques based onruntime conditions in an embedded system to minimize the totalenergy consumption.To be effective, often such decisions takeinto account the operating conditions and the system-level designgoals.DPM has been a subject of intense research in thepast decade driven by the need for low power in modern embeddeddevices.We present an overview of the formal methods thathave been explored in solving the system-level DPM problem.We show how formal reasoning frameworks can potentially unifyapparently disparate DPM techniques.