Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

April 2003

Comments

Postprint version. Published in Lecture Notes in Computer Science, Volume 2619, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2003 (TACAS 2003), pages 409-424.
Publisher URL: http://springerlink.metapress.com/link.asp?id=105633

Abstract

The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating concurrent systems. The proposed extension allows the modeling of probabilistic resource failures, priorities of resource usages, and power consumption by resources within the same formalism. Thus, it is possible to model alternative power-consumption behaviors and analyze tradeoffs in their timing and other characteristics. This paper describes the modeling and analysis techniques, and illustrates them with examples, including a dynamic voltage-scaling algorithm.

Keywords

Process algebra, power-aware systems, probabilistic modeling

Share

COinS
 

Date Posted: 12 April 2005

This document has been peer reviewed.