• 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. Electronic Notes in Theoretical Computer Science 201C, 223–253, 2008.

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:

@ARTICLE{jTuWePl08a,
  title = {Power Aware System Refinement},
  author = {Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {201C},
  pages = {223–253},
  year = {2008},
}

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

Publication Forum rating of this publication: level 1

Edit publication