HarvOS: Efficient code instrumentation for transiently-powered embedded sensing

Proceedings - 2017 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2017

Volumn , Issue , 2017, Pages 209-219

  Bhati, Naveed Anwar ^a   Motola, Luca ^a,b  

^a POLITECNICO DI MILANO   (Italy)

^b SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

Checkpointing; Embedded systems; Sensor networks; Transiently powered computing

Indexed keywords

DATA FLOW ANALYSIS; FLOW GRAPHS; SENSOR NETWORKS;

CHECK POINTING; CODE INSTRUMENTATION; CONTROL FLOW GRAPHS; DESIGN RATIONALE; EMBEDDED SENSING; PROGRAM EXECUTION; REMAINING ENERGIES; TRANSIENTLY-POWERED COMPUTING;

EMBEDDED SYSTEMS;

EID: 85019035930     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/3055031.3055082     Document Type: Conference Paper

References (22)

1. 2016. AES C Implementation for Mbed platform. goo.gl/PBjhoF. (2016).
2. 2016. FIR Filter C Implementation for Mbed platform. goo.gl/yFyUyX. (2016). Accessed: 10-13-2016.
3. 2016. Kalman Filter C Implementation for Mbed platform. goo.gl/ikzYFt. (2016). Accessed: 30-9-2016.
4. 2016. mBed OS energy profiler. goo.gl/dghhd4. (2016). Accessed: 11-10-2016.
5. Michael Andersen and others. 2016. System design for a synergistic, low power mote/BLE embedded platform. In IPSN.
6. Alberto Arreola and others. 2015. Approaches to Transient Computing for Energy Harvesting Systems: A Qantitative Evaluation. In ENSSYS.
7. Domenico Balsamo and others. 2015. Hibernus: Sustaining computation during intermitent supply for energy-harvesting systems. IEEE Embedded Systems Leters 7, 1 (2015).
8. Naveed Anwar Bhati and others. 2016. Energy Harvesting and Wireless Transfer in Sensor Network Applications: Concepts and Experiences. ACM TOSN 12 (2016). Issue 3.
9. Naveed Anwar Bhati and Luca Motola. 2016. Efficient state retention for transiently-powered embedded sensing. In EWSN.
10. Bernhard Buchli and others. 2013. Batery state-of-charge approximation for energy harvesting embedded systems. In EWSN.
11. Jack Davidson and Sanjay Jinturkar. 1995. Improving Instruction level Parallelism by Loop Unrolling and Dynamic Memory Disambiguation. In MICRO.
12. Prabal Duta and others. 2008. Energy metering for free: Augmenting switching regulators for real-time monitoring. In IPSN.
13. Josiah Hester, Lanny Sitanayah, and Jacob Sorber. 2015. Tragedy of the Coulombs: Federating Energy Storage for Tiny, Intermitently-Powered Sensors. In SENSYS.
14. Martin Hofmann and Steffen Jost. 2003. Static prediction of heap space usage for first-order functional programs. In POPL.
15. Martin Hofmann and Steffen Jost. 2006. Type-based amortised heap-space analysis. In ESOP.
16. Hrishikesh Jayakumar and others. 2014. QickRecall: A low overhead HW/SW approach for enabling computations across power cycles in transiently powered computers. In VLSI Design.
17. Vincent Liu and others. 2013. Ambient Backscater: Wireless Communication out of Thin Air. In SIGCOMM.
18. Brandon Lucia and Benjamin Ransford. 2015. A Simpler, Safer Programming and Execution Model for Intermitent Systems. In PLDI.
19. Saman Naderiparizi and others. 2016. μMonitor: In-situ Energy Monitoring with Microwat Power Consumption. In RFID.
20. Benjamin Ransford and others. 2011. MementOS: System Support for Long-running Computation on RFID-scale Devices. In ASPLOS.
21. Philipp Sommer and others. 2016. Information Bang for the Energy Buck: Towards Energy-and Mobility-Aware Tracking. In EWSN.
22. Jing Yang and others. 2007. Clairvoyant: A comprehensive source-level debugger for wireless sensor networks. In SENSYS.