EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks

Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics of the power consumption along with energy production using harvesters. We introduce Energy Harvesting Routing Analysis (EHRA) as a formal modelling framework to study...

Full description

Saved in:
Bibliographic Details
Published inSpecification, Algebra, and Software Vol. 8373; pp. 520 - 540
Main Authors Phan, Anh-Dung, Hansen, Michael R., Madsen, Jan
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2014
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Computational State
Medium Access Control
Sensor Network
Sensor Node
Wireless Sensor Network
Online AccessGet full text
ISBN3642546234
9783642546235
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-54624-2_26

Cover

Abstract Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics of the power consumption along with energy production using harvesters. We introduce Energy Harvesting Routing Analysis (EHRA) as a formal modelling framework to study wireless sensor networks (WSN) with energy-harvesting capabilities. The purpose of the framework is to analyze WSNs at a high level of abstraction, that is, before the protocols are implemented and before the WSN is deployed. The conceptual basis of EHRA comprises the environment, the medium, computational and physical components, and it captures a broad range of energy-harvestingaware routing protocols. The generic concepts of protocols are captured by a many-sorted signature, and concrete routing protocols are specified by corresponding many-sorted algebras. A first analysis tool for EHRA is developed as a simulator implemented using the functional programming language F#. This simulator is used to analyze global properties of WSNs such as network fragmentation, routing trends, and energy profiles for the nodes. Three routing protocols, with a progression in the energy-harvesting awareness, are analyzed on a network that is placed in a heterogeneous environment
AbstractList Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics of the power consumption along with energy production using harvesters. We introduce Energy Harvesting Routing Analysis (EHRA) as a formal modelling framework to study wireless sensor networks (WSN) with energy-harvesting capabilities. The purpose of the framework is to analyze WSNs at a high level of abstraction, that is, before the protocols are implemented and before the WSN is deployed. The conceptual basis of EHRA comprises the environment, the medium, computational and physical components, and it captures a broad range of energy-harvestingaware routing protocols. The generic concepts of protocols are captured by a many-sorted signature, and concrete routing protocols are specified by corresponding many-sorted algebras. A first analysis tool for EHRA is developed as a simulator implemented using the functional programming language F#. This simulator is used to analyze global properties of WSNs such as network fragmentation, routing trends, and energy profiles for the nodes. Three routing protocols, with a progression in the energy-harvesting awareness, are analyzed on a network that is placed in a heterogeneous environment
Author Madsen, Jan
Phan, Anh-Dung
Hansen, Michael R.
Author_xml – sequence: 1
  givenname: Anh-Dung
  surname: Phan
  fullname: Phan, Anh-Dung
  email: padu@dtu.dk
  organization: DTU Compute, Technical University of Denmark, Denmark
– sequence: 2
  givenname: Michael R.
  surname: Hansen
  fullname: Hansen, Michael R.
  email: mire@dtu.dk
  organization: DTU Compute, Technical University of Denmark, Denmark
– sequence: 3
  givenname: Jan
  surname: Madsen
  fullname: Madsen, Jan
  email: jama@dtu.dk
  organization: DTU Compute, Technical University of Denmark, Denmark
BookMark eNpFkNlKBDEQReOK4_IHPvQPRCuprL4NMjqCKLjgY8ik09o6pNukVebv7VHBp4JbnEvV2SfbqUuRkGMGJwxAn1ptKFIlOJVCcUG542qD7OOY_AR8k0yYYowiCrv1v0CxTSaAwKnVAnfJxGi0koNme-SolFcAYMxoiWZCbmbzu-lZdd_H0DZt8EPbpcqnupomv1yVtlRdU81SzM8rOvf5M5ahTc_VU5vjMpZS3cdUulzdxOGry2_lkOw0flni0d88II8Xs4fzOb2-vbw6n17TnkmjaG05GG1liAtvRLNgTSPHCKM0FtAobaGuuVIQgpTKgqi15T4EaARXwS_wgPDf3tLn8Z6Y3aLr3opj4Nbq3KjOoRt9uB9Tbq1uhMQv1Ofu_WP8xMU1FWIasl-GF98PMReHYFFydCilGx3hN7ssbhQ
ContentType Book Chapter
Copyright Springer-Verlag Berlin Heidelberg 2014
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2014
DBID FFUUA
DEWEY 005.1
DOI 10.1007/978-3-642-54624-2_26
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 3642546242
9783642546242
EISSN 1611-3349
Editor Iida, Shusaku
Ogata, Kazuhiro
Meseguer, José
Editor_xml – sequence: 1
  fullname: Iida, Shusaku
– sequence: 2
  fullname: Ogata, Kazuhiro
– sequence: 3
  fullname: Meseguer, José
EndPage 540
ExternalDocumentID EBC3093523_355_538
GroupedDBID 0D6
0DA
2HV
38.
A0U
A3-
AABBV
AAPCR
ABBVZ
ABFTD
ABMNI
ACKEY
ACTXJ
AEDXK
AEJLV
AEKFX
AETDV
AEZAY
AHJUR
ALMA_UNASSIGNED_HOLDINGS
ANZUN
AZZ
BBABE
BZAQK
CZZ
FFUUA
I4C
IEZ
MA.
SBO
TPJZQ
TSXQS
Z83
Z88
-DT
-GH
-~X
1SB
29L
2HA
5QI
875
AASHB
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p1586-d9208795ceba84fb1ff59203e5890386790dd2660cc556904d792acc0f426cab3
ISBN 3642546234
9783642546235
ISSN 0302-9743
IngestDate Tue Jul 29 20:07:44 EDT 2025
Thu May 29 16:25:50 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p1586-d9208795ceba84fb1ff59203e5890386790dd2660cc556904d792acc0f426cab3
OCLC 873952071
PQID EBC3093523_355_538
PageCount 21
ParticipantIDs springer_books_10_1007_978_3_642_54624_2_26
proquest_ebookcentralchapters_3093523_355_538
PublicationCentury 2000
PublicationDate 2014
PublicationDateYYYYMMDD 2014-01-01
PublicationDate_xml – year: 2014
  text: 2014
PublicationDecade 2010
PublicationPlace Germany
PublicationPlace_xml – name: Germany
– name: Berlin, Heidelberg
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSubtitle Essays Dedicated to Kokichi Futatsugi
PublicationTitle Specification, Algebra, and Software
PublicationYear 2014
Publisher Springer Berlin / Heidelberg
Springer Berlin Heidelberg
Publisher_xml – name: Springer Berlin / Heidelberg
– name: Springer Berlin Heidelberg
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Nierstrasz, Oscar
Steffen, Bernhard
Kittler, Josef
Vardi, Moshe Y.
Weikum, Gerhard
Sudan, Madhu
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, UK
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, UK
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: Oscar
  surname: Nierstrasz
  fullname: Nierstrasz, Oscar
  organization: University of Bern, Bern, Switzerland
– sequence: 9
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology, Madras, India
– sequence: 10
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: University of Dortmund, Dortmund, Germany
– sequence: 11
  givenname: Madhu
  surname: Sudan
  fullname: Sudan, Madhu
  organization: Massachusetts Institute of Technology, USA
– sequence: 12
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 13
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 14
  givenname: Moshe Y.
  surname: Vardi
  fullname: Vardi, Moshe Y.
  organization: Rice University, Houston, USA
– sequence: 15
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max-Planck Institute of Computer Science, Saarbrücken, Germany
SSID ssj0001187538
ssj0002792
Score 1.9657956
Snippet Although energy consumption of wireless sensor network has been studied extensively, we are far behind in understanding the dynamics of the power consumption...
SourceID springer
proquest
SourceType Publisher
StartPage 520
SubjectTerms Computational State
Medium Access Control
Sensor Network
Sensor Node
Wireless Sensor Network
Title EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=3093523&ppg=538
http://link.springer.com/10.1007/978-3-642-54624-2_26
Volume 8373
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T-QwELZgaRDFHS_xuEMu6JBRNrYTh45DOa1WsAUv0VmJY9OgXQSLkPj1N-PE7Cak4RorsuzIms-yZsb-viHkODXKRklRspSbjAlbSZYlyjELAbMrisymnpV2NUlGd2L8IB8WBRY9u2RenpqPXl7J_6AKfYArsmS_geznT6EDvgFfaAFhaDvObzvNWnM4sHK8a1JuNVflEW-BF-8x3fy9eGltinx07RPqrbl-9LI4Se75gAzLBqEGx_TRv5F9wjPxBqLemacJ44OuVs5gKDo5g5AzPGkktVAgvU9Wy1M8BCrmx7WmSDgyIarlvefv8pMLmMlwqmCxjnvkrmUt69KRu87_XPjL2ZhrcIU0DFolq6mSA7J2no8v7xcJtCGGWgr5OmGNtdDj0pqXuJJ9a2pFFZ2LcO9f3P4kG8g5oUgGgVVukhU73SI_QsUN2hzA22SCAJ7RFnwU4KMBPjpz9At8NMBHa_hogG-H3P3Nby9GrKmIwZ6HUiWsyuIIq8MbWxZKuHLonIQubqXKIo7aiVFVgcsVGSNlkkWiSrO4MCZy4IiZouS7ZDCdTe0eoaYQzqQCol3OhVGyLMFulsvKSVFZFe0TFmyj_b1981jY1JZ41R2U9slJMKDG4a86CGKD5TXXYHntLa_R8gff_PshWV_s419kMH95s7_BG5yXR82--AcjtVjd
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Specification%2C+Algebra%2C+and+Software&rft.atitle=EHRA%3A+Specification+and+Analysis+of+Energy-Harvesting+Wireless+Sensor+Networks&rft.date=2014-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783642546235&rft.volume=8373&rft_id=info:doi/10.1007%2F978-3-642-54624-2_26&rft.externalDBID=538&rft.externalDocID=EBC3093523_355_538
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F3093523-l.jpg