Power Aware System Refinement

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.

Current Challenges in Embedded Communication Systems

“…With appropriate extensions (Schneider, 2000;Tuominen et al, 2008;Tartanoglu et al, 2003), formal methods of parallel systems are capable of modeling and verifying not only functional (logical) system properties but also extra-functional properties such as timing, quality-of-service (QoS), energy, and dependability. All of the mentioned extra-functional properties are important from both hardware and software perspective, and they pose most intriguing challenge for the class of formal methods discussed here.…”