Reconfiguration strategies for environmentally powered devices: Theoretical analysis and experimental validation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4050 LNCS, Issue , 2007, Pages 341-360

  Şuşu, Alex E ^a   Magno, Michele ^b   Acquaviva, Andrea ^a,c   Atienza, David ^a,d   De Micheli, Giovanni ^a,c  

^a EPFL   (Switzerland)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF URBINO   (Italy)

^d UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

Energy harvesting; FPGA; Markov chains; Probabilistic model checking; Wireless sensor nodes

Indexed keywords

COMPUTER HARDWARE; DATA PROCESSING; FIELD PROGRAMMABLE GATE ARRAYS (FPGA); MARKOV PROCESSES; STOCHASTIC MODELS;

ENERGY HARVESTING; WIRELESS SENSOR NODES;

WIRELESS SENSOR NETWORKS;

EID: 38549119863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71528-3_21     Document Type: Conference Paper

References (25)

1. FPSLIC (AVR with FPGA) from Atmel, ATMEL Corporation www.atmel.com/ products/FPSLIC/.
2. Rajeev Alur and Thomas A. Henzinger. Reactive modules. Form. Methods Syst. Des., 15(1):7-48, 1999.
3. Guillermo Barrenetxea, Henri Dubois-Ferriere, Roger Meier, and John Selker. A weather station for SensorScope. In Demo Session, In Information Processing in Sensor Networks (IPSN 2006), 2006.
4. Luca Benini, Alessandro Bogliolo, and Giovanni De Micheli. A survey of design techniques for system-level dynamic power management. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 8(3):299-316, June 2000.
5. Andrea Bianco and Luca de Alfaro. Model checking of probabilistic and nondeterministic systems. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 15, 1995.
6. Benjie Chen, Kyle Jamieson, Hari Balakrishnan, and Robert Morris. Span: an energy-efficient coordination algorithm for topology maintenance in ad hoc wireless networks. Wirel. Netw., 8(5):481-494, 2002.
7. Xiuzhen Cheng, Bhagirath Narahari, Rahul Simha, Maggie Xiaoyan Cheng, and Dan Liu. Strong minimum energy topology in wireless sensor networks: Npcompleteness and heuristics. IEEE Transactions on Mobile Computing, 02(3): 248-256, 2003.
8. David Culler, Deborah Estrin, and Mani Srivastava. Guest editors' introduction: Overview of sensor networks. Computer, 37(8):41-49, 2004.
9. Henri Dubois-Ferriere. Sensorscope presentation at NCCR-MICS WG2, 2005.
10. E. N. (Mootaz) Elnozahy, Lorenzo Alvisi, Yi-Min Wang, and David B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv., 34(3):375-408, 2002.
11. Christian C. Enz, Amre El-Hoiydi, Jean-Dominique Decotignie, and Vincent Peiris. Wisenet: An ultralow-power wireless sensor network solution. Computer, 37(8): 62-70, 2004.
12. Jessica Feng, Farinaz Koushanfar, and Miodrag Potkonjak. System-architectures for sensor networks issues, alternatives, and directions. ICCD, 00:226, 2002.
13. Hans Hansson and Bengt Jonsson. A logic for reasoning about time and probability. Formal Apsects of Computing, 6, 1994.
14. Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled. Model checking. MIT Press, Cambridge, MA, USA, 1999.
15. Ties Kluter. URLAP Processor, EPFL LAP Technical Report, 2004.
16. Greg Kogut, Mike Blackburn, and H.R. Everett. Using video sensor networks to command and control unmanned ground vehicles. In AUVSI Unmanned Systems in International Security (USIS), 2003.
17. Marta Kwiatkowska, Gethin Norman, and David Parker. Prism 2.0: A tool for probabilistic model checking. QEST, 00:322-323, 2004.
18. John Lach, David Evans, Jon McCune, and Jason Brandon. Power-efficient adaptable wireless sensor networks. In International Conference on Military and Aerospace Programmable Logic Devices (MAPLD), 2003.
19. Enrico Magli, Massimo Mancin, and Luca Merello. Low-complexity video compression for wireless sensor networks. Proceedings of the International Conference on Multimedia and Expo, ICME 2003, 3:585-588, 2003.
20. Dustin Mclntire, Kei Ho, Bernie Yip, Amarjeet Singh, Winston Wu, and William J. Kaiser. The low power energy aware processing (leap)embedded networked sensor system. In IPSN '06: Proceedings of the fifth international conference on Information processing in sensor networks, pages 449-457, New York, NY, USA, 2006. ACM Press.
21. Joseph A. Paradiso and Thad Starner. Energy scavenging for mobile and wireless electronics. Pervasive Computing, IEEE, 4(1):18-27, 2005.
22. Jan M, Rabaey, M. Josie Ammer, Julio L. da Silva, Danny Patel, and Shad Roundy. Picoradio supports ad hoc ultra-low power wireless networking. Computer, 33(7):42-48, 2000.
23. Kishore Raja, Ioannis Daskalopoulos, Hamadoun Diall, Stephen Hailes, Tom Torfs, Chris Van Hoof, and George Roussos. Sensor Cubes: A modular, ultra-compact, power-aware platform for sensor networks. In International Conference on Information Processing in Sensor Networks (IPSN SPOTS), April 2006.
24. Shad Roundy, Eli S. Leland, Jessy Baker, Eric Carleton, Elizabeth Reilly, Elaine Lai, Brian Otis, Jan M. Rabaey, Paul K. Wright, and V. Sundararajan. Improving power output for vibration-based energy scavengers. Pervasive Computing, IEEE, 4(1):28-36, 2005.
25. Amit Sinha and Anantha Chandrakasan. Dynamic power management in wireless sensor networks. IEEE Des. Test, 18(2):62-74, 2001.