Power Aware System Refinement | Zendy

Johanna Tuominen | Zendy; Tomi Westerlund | Zendy; Juha Plosila | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Power Aware System Refinement

Author(s) -

Johanna Tuominen,

Tomi Westerlund,

Juha Plosila

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.02.022

Subject(s) - refinement calculus , computer science , formalism (music) , expressive power , electric power system , theoretical computer science , refinement , adaptation (eye) , extension (predicate logic) , action (physics) , formal verification , power (physics) , programming language , art , musical , physics , optics , quantum mechanics , visual arts

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research