A methodology based on formal methods for predicting the impact of dynamic power management

Lecture Notes in Computer Science

Volumn 3465, Issue , 2005, Pages 155-189

  Acquaviva, A ^a   Aldini, A ^a   Bernardo, M ^a   Bogliolo, A ^a   Bonta E ^a   Lattanzi, E ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; ELECTRIC BATTERIES; FORMAL LOGIC; POWER ELECTRONICS; SYSTEMS ANALYSIS;

BATTERY-POWERED DEVICES; DYNAMIC POWER MANAGEMENT; FORMAL METHODS; POWER CONSUMPTION;

MOBILE COMPUTING;

EID: 24944483195     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11419822_5     Document Type: Conference Paper

References (22)

1. A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, and E. Lattanzi, "Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances", in Proc. of the 5th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2004), IEEE-CS Press, pp. 731-740, Firenze (Italy), 2004.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, "Modelling with Generalized Stochastic Petri Nets", John Wiley & Sons, 1995.
3. L. Benini, A. Bogliolo, and G. De Micheli, "A Survey of Design Techniques for System-Level Dynamic Power Management", in IEEE Trans. on VLSI Systems 8:299-316, 2000.
4. L. Benini, A. Bogliolo, G.A. Paleologo, and G. De Micheli, "Policy Optimization for Dynamic Power Management", in IEEE on Computer Aided Design of Integrated Circuits and Systems 18:813-833, 1999.
5. M. Bernardo, "Two Towers 5.0 User Manual", http://www.sti. uniurb.it/bernardo/twotowers/, 2004.
6. M. Bernardo and M. Bravetti, "Performance Measure Sensitive Congruences for Markovian Process Algebras", in Theoretical Computer Science 290:117-160, 2003.
7. M. Bernardo, L. Donatiello, and P. Ciancarini, "Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language", in Performance Evaluation of Complex Systems: Techniques and Tools, LNCS 2459:236-260, 2002.
8. A. Bogliolo, L. Benini, E. Lattanzi, and G. De Micheli, "Specification and Analysis of Power-Managed Systems", in Proc. of the IEEE 92:1308-1346, 2004.
9. R. Cavada, A. Cimatti, E. Olivetti, M. Pistore, and M. Roveri, "NuSMV 2.1 User Manual", http://nusmv.irst.itc.it/, 2002.
10. E.M. Clarke, O. Grumberg, and D.A. Peled, "Model Checking", MIT Press, 1999.
11. W.R. Cleaveland and O. Sokolsky, "Equivalence and Preorder Checking for Finite-State Systems", in Handbook of Process Algebra, Elsevier, pp. 391-424, 2001.
12. W.R. Cleaveland, "On Automatically Explaining Bisimulation Inequivalence", in Proc. of the 2nd Int. Conf. on Computer Aided Verification (CAV 1990), LNCS 531:364-372, New Brunswick (NJ), 1990.
13. R. Focardi and R. Gorrieri, "A Classification of Security Properties", in Journal of Computer Security 3:5-33, 1995.
14. J.A. Goguen and J. Meseguer, "Security Policy and Security Models", in Proc. of the 3rd IEEE Symp. on Security and Privacy (SSP 1982), IEEE-CS Press, pp. 11-20, Oakland (CA), 1982.
15. R.K. Gupta, S. Irani, and S.K. Shukla, "Formal Methods for Dynamic Power Management", in Proc. of the IEEE/ACM Int. Conf. on Computer Aided Design (IC-CAD 2003), ACM Press, pp. 874-882, San Jose (CA), 2003.
16. R.A. Howard, "Dynamic Probabilistic Systems", John Wiley & Sons, 1971.
17. C.-H. Hwang and A. Wu, "A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation", in Proc. of the IEEE/ACM Int. Conf. on Computer Aided Design (ICCAD 1997), ACM Press, pp. 28-32, San Jose (CA), 1997.
18. R. Milner, "Communication and Concurrency", Prentice Hall, 1989.
19. G. Norman, D. Parker, M. Kwiatkowska, S.K. Shukla, and R.K. Gupta, "Formal Analysis and Validation of Continuous-Time Markov Chain Based System Level Power Management Strategies", in Proc. of the 7th IEEE Int. High-Level Design Validation and Test Workshop (HLDVT 2002), IEEE-CS Press, pp. 45-50, Cannes (France), 2002.
20. M. Srivastava, A. Chandrakasan, and R. Brodersen, "Predictive System Shutdown and Other Architectural Techniques for Energy Efficient Programmable Computation", in IEEE Trans. on VLSI Systems 4:42.55, 1996.
21. W.J. Stewart, "Introduction to the Numerical Solution of Markov Chains", Princeton University Press, 1994.
22. P.D. Welch, "The Statistical Analysis of Simulation Results", in Computer Performance Modeling Handbook, Academic Press, pp. 267-329, 1983.