Towards Sustainable Development of Energy-Aware Systems

Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public be aware of the energy limitations of these devices and to stay in control of energy consumption. In this paper, the authors propose a formal specification method that takes energy into account. They propose two development approaches that can use these specifications to develop energy-aware systems in a sustainable manner.

[1]  G. Uma Maheswari,et al.  Fuzzy QoS Based OLSR Network , 2011, Int. J. Interdiscip. Telecommun. Netw..

[2]  Andrea Goldsmith,et al.  Wireless Communications , 2005, 2021 15th International Conference on Advanced Technologies, Systems and Services in Telecommunications (TELSIKS).

[3]  Sébastien Lafond,et al.  Energy consumption analysis for two embedded Java virtual machines , 2007, J. Syst. Archit..

[4]  Wim Vanderbauwhede,et al.  Performance Analysis of On-Chip Communication Structures under Device Variability , 2010, Int. J. Embed. Real Time Commun. Syst..

[5]  Luigia Petre,et al.  Energy-Aware Middleware , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[6]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[7]  Srivaths Ravi,et al.  Analyzing the energy consumption of security protocols , 2003, ISLPED '03.

[8]  Thierry Lecomte,et al.  Safe and Reliable Metro Platform Screen Doors Control/Command Systems , 2008, FM.

[9]  Carla Schlatter Ellis,et al.  Memory controller policies for DRAM power management , 2001, ISLPED '01.

[10]  Michael R. Bartolacci,et al.  Interdisciplinary and Multidimensional Perspectives in Telecommunications and Networking: Emerging Findings , 2011 .

[11]  Ralph-Johan Back,et al.  Continuous Action Systems as a Model for Hybrid Systems , 2001, Nord. J. Comput..

[12]  Kaisa Sere,et al.  A Language for Modeling Network Availability , 2006, ICFEM.

[13]  Ralph-Johan Back,et al.  Refinement Calculus: A Systematic Introduction , 1998 .

[14]  Kaisa Sere,et al.  Superposition refinement of reactive systems , 2005, Formal Aspects of Computing.

[15]  Hossein Gharaee,et al.  Performance and Complexity Evaluation of OTR-UWB Receiver , 2009, Int. J. Interdiscip. Telecommun. Netw..

[16]  Xabiel G. Pañeda,et al.  A Methodology for Performance, Content Analysis, and Configuration of Audio/Video-on-Demand Services , 2007, Int. J. Bus. Data Commun. Netw..

[17]  Rami Melhem,et al.  The effects of energy management on reliability in real-time embedded systems , 2004, ICCAD 2004.

[18]  Israel Koren,et al.  Towards energy-aware software-based fault tolerance in real-time systems , 2002, ISLPED '02.

[19]  Kaisa Sere,et al.  A topological approach to distributed computing , 1999, Electron. Notes Theor. Comput. Sci..

[20]  Lu Yan,et al.  A formalism for context-aware mobile computing , 2004, Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks.

[21]  Farid N. Najm,et al.  A survey of power estimation techniques in VLSI circuits , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[22]  Jeffry T. Russell,et al.  Software power estimation and optimization for high performance, 32-bit embedded processors , 1998, Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273).

[23]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.

[24]  Christine Julien,et al.  A Formal Treatment of Context-Awareness , 2004, FASE.

[25]  Paul E. Landman,et al.  High-level power estimation , 1996, Proceedings of 1996 International Symposium on Low Power Electronics and Design.

[26]  Egon Börger,et al.  Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.

[27]  Sándor Imre,et al.  Simple Lightweight Authentication Protocol: Security and Performance Considerations , 2010, Int. J. Bus. Data Commun. Netw..

[28]  Anil Seth,et al.  Algorithms for energy optimization using processor instructions , 2001, CASES '01.

[29]  Samir Chatterjee,et al.  International Journal of Business Data Communications and Networking , 2010 .

[30]  Wathiq Mansoor,et al.  Distributed Resources Management in Wireless LANs , 2006, Int. J. Bus. Data Commun. Netw..

[31]  Soon Ae Chun,et al.  Sensors and Crowdsourcing for Environmental Awareness and Emergency Planning , 2012 .

[32]  S. Lafond,et al.  Receiver Coding Gain in DVB-H Terminals Using Application Layer FEC Codes , 2008, 2008 The Third International Conference on Digital Telecommunications (icdt 2008).

[33]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[34]  Sarma B. K. Vrudhula,et al.  Energy management for battery-powered embedded systems , 2003, TECS.

[35]  Kaisa Sere,et al.  An Approach to Object-Orientation in Action Systems , 1998, MPC.