Energy-aware system design with SDL

Authors:
Reinhard Gotzhein;Marc Krämer;Lothar Litz;Alain Chamaken
Affiliations:
Networked Systems Group, University of Kaiserslautern, Germany;Networked Systems Group, University of Kaiserslautern, Germany;Institute of Automatic Control, University of Kaiserslautern, Germany;Institute of Automatic Control, University of Kaiserslautern, Germany
Venue:
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Year:
2009

Citing 10
Cited 1

Wireless sensor networks: a survey

Computer Networks: The International Journal of Computer and Telecommunications Networking
Energy-aware design of embedded memories: A survey of technologies, architectures, and optimization techniques

ACM Transactions on Embedded Computing Systems (TECS)
The formal semantics of SDL-2000: status and perspectives

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Battery Modeling for Energy-Aware System Design

Computer
Power-Aware Scheduling for Periodic Real-Time Tasks

IEEE Transactions on Computers
Ad Hoc Wireless Networks

Ad Hoc Wireless Networks
Energy simulation of embedded XScale systems with XEEMU

Journal of Embedded Computing - PATMOS 2007 selected papers on low power electronics
Model-Driven development with SDL – process, tools, and experiences

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Efficient voltage scheduling and energy-aware co-synthesis for real-time embedded systems

ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
ConTraST – a configurable SDL transpiler and runtime environment

SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles

Formal simulation model to optimize building sustainability

Advances in Engineering Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Energy consumption is a major concern during the development of wireless networks consisting of battery-powered nodes. In this paper, we study possibilities of specifying energy aspects in the system design phase, with SDL as design language. In particular, we strive for suitable abstractions, by establishing a design view that is largely platform-independent. We achieve this objective by identifying and realizing energy mode signaling and energy scheduling as two complementary approaches to incorporate energy aspects into SDL. We provide details on how to apply these approaches in order to control the energy consumption of CPU and transceiver, and how to implement them on the Imote2 platform. A case study illustrates the use of both approaches in a wireless networked control system.