Abstract
Standby efficiency for connected devices is one of the priorities of the G20’s Energy Efficiency Action Plan. We propose transparent programming language mechanisms to enforce that applications remain in the deepest standby modes for the longest periods of time. We extend the programming language Céu with support for interrupt service routines and with a simple power management runtime. Based on these primitives, we also provide device drivers that allow applications to take advantage of standby automatically. Our approach relies on the synchronous semantics of the language which guarantees that reactions to the environment always reach an idle state amenable to standby. In addition, in order to lower the programming barrier of adoption, we show that programs in Céu can keep a sequential syntactic structure, even when applications require non-trivial concurrent behavior.
- A. Adya et al. 2002. Cooperative Task Management Without Manual Stack Management. In Proceedings of ATEC’02. USENIX Association, 289–302. Google Scholar
Digital Library
- Massimo Banzi and Michael Shiloh. 2014. Getting started with Arduino: the open source electronics prototyping platform . Maker Media, Inc. Google Scholar
Digital Library
- Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert De Simone. 2003. The synchronous languages twelve years later. In Proceedings of the IEEE, Vol. 91. 64–83.Google Scholar
Cross Ref
- David Gay, Philip Levis, Robert von Behren, Matt Welsh, Eric Brewer, and David Culler. 2003. The nesC Language: A Holistic Approach to Networked Embedded Systems. In Proceedings of PLDI’03. 1–11. Google Scholar
Digital Library
- Ingo Maier, Tiark Rompf, and Martin Odersky. 2010. Deprecating the observer pattern . Technical Report.Google Scholar
- OECD/IEA. 2014. More Data Less Energy—Making Network Standby More Efficient in Billions of Connected Devices . Technical Report. International Energy Agency.Google Scholar
- Guido Salvaneschi et al. 2014. REScala: Bridging between objectoriented and functional style in reactive applications. In Proceedings of Modularity’13 . ACM, 25–36. Google Scholar
Digital Library
- Francisco Sant’anna, Roberto Ierusalimschy, Noemi Rodriguez, Silvana Rossetto, and Adriano Branco. 2017. The Design and Implementation of the Synchronous Language CÉU. ACM Trans. Embed. Comput. Syst. 16, 4, Article 98 (July 2017), 26 pages. Google Scholar
Digital Library
- Francisco Sant’Anna, Noemi Rodriguez, Roberto Ierusalimschy, Olaf Landsiedel, and Philippas Tsigas. 2013. Safe System-level Concurrency on Resource-Constrained Nodes. In Proceedings of SenSys’13. ACM. Google Scholar
Digital Library
Index Terms
Transparent standby for low-power, resource-constrained embedded systems: a programming language-based approach (short WIP paper)
Recommendations
Transparent standby for low-power, resource-constrained embedded systems: a programming language-based approach (short WIP paper)
LCTES 2018: Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsStandby efficiency for connected devices is one of the priorities of the G20’s Energy Efficiency Action Plan. We propose transparent programming language mechanisms to enforce that applications remain in the deepest standby modes for the longest periods ...
The Design and Implementation of the Synchronous Language CÉU
Special Issue on Secure and Fault-Tolerant Embedded Computing and Regular PapersCéU is a synchronous language targeting soft real-time systems. It is inspired by Esterel and has a simple semantics with fine-grain control over program execution. CéU uses an event-triggered notion of time that enables compile-time checks to detect ...
Distributed implementation of a process-algebra based programming language for embedded systems
This paper deals with software development for a particular class of embedded systems. A timed programming language is presented that retains most of the abstract concepts of a process algebra, yet restricts the problems of constructing actual ...







Comments