Departmental Papers (CIS)
Date of this Version
August 2002
Document Type
Journal Article
Recommended Citation
Insup Lee, Anna Philippou, and Oleg Sokolsky, "Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems", . August 2002.
Abstract
The paper describes a unified formal framework for designing and reasoning about power-constrained, real-time systems. The framework is based on process algebra, a formalism which 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 evaluate alternative power-consumption behaviors and tradeoffs under different real-time schedulers, resource limitations, resource failure probabilities, etc. This paper describes the modeling and analysis techniques, and illustrates them with examples, including a dynamic voltage-scaling algorithm.
Keywords
Power-aware systems, resource modeling, process algebra
Date Posted: 11 September 2005
This document has been peer reviewed.
Comments
This paper is a postprint of a paper submitted to and accepted for publication in Computing and Control Engineering Journal, Volume 13, Issue 4, pages 180-188, and is subject to IEE Copyright. The copy of record is available at IEE Digital Library.