• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Power Aware System Refinement

Johanna Tuominen, Tomi Westerlund, Juha Plosila, Power Aware System Refinement. 4-07, 2007.

Abstract:

We propose a formal, power aware refinement of systems. The proposed
approach lays its foundation to the traditional refinement calculus
of Action Systems and its direct extension, time wise refinement
method. The adaptation provides well-founded mathematical basis
for the systems modeled with the Timed Action Systems
formalism. In the refinement of an abstract system into more
concrete one a designer must that show conditions of both functional and
temporal properties, and furthermore, power related issues are
satisfied.

BibTeX entry:

@TECHREPORT{tTuWePl07a,
  title = {Power Aware System Refinement},
  author = {Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha},
  number = {4-07},
  year = {2007},
  keywords = {refinement, time, power, Timed Action Systems},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Communication Systems (ComSys)

Edit publication