Bolt: A Stateful Processor Interconnect

The wireless sensor network community is currently undergoing a platform paradigm shift, moving away from classical single-processor motes toward heterogeneous multi-processor architectures. These emerging platforms promise efficient concurrent processing with energy-proportional system performance. The use of shared interconnects and shared memory for inter-processor communication, however, causes interference in the time, power, and clock domains, which prevents designers from fully harnessing these benefits. We thus designed Bolt, the first ultra-low-power processor interconnect for the compositional construction of heterogeneous wireless embedded platforms. This paper presents the architectural blueprint for interconnecting two independent processors, while enabling asynchronous inter-processor communication with predictable run-time behavior. We detail a prototype implementation of Bolt, and apply formal methods to analytically derive bounds on the execution time of its message passing operations. Experiments with a custom-built dual-processor platform show that our Bolt prototype incurs a negligible power overhead relative to state-of-the-art platforms, offers predictable message passing with empirical bounds that match the analytical ones to within a few clock cycles, and achieves a high throughput of up to 3.3 Mbps.

[1]  Jan Beutel,et al.  Next-generation prototyping of sensor networks , 2004, SenSys '04.

[2]  Paulo Tabuada,et al.  An introduction to event-triggered and self-triggered control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[3]  Lothar Thiele,et al.  Low-power wireless bus , 2012, SenSys '12.

[4]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[5]  Axel Jantsch,et al.  Models of Computation for Networks on Chip , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).

[6]  Jan Reineke,et al.  Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Axel Jantsch,et al.  Networks on chip , 2003 .

[8]  J. Portilla,et al.  A Reconfigurable Fpga-Based Architecture for Modular Nodes in Wireless Sensor Networks , 2007, 2007 3rd Southern Conference on Programmable Logic.

[9]  H. Dubois-Ferriere,et al.  TinyNode: a comprehensive platform for wireless sensor network applications , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[10]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[11]  Kees G. W. Goossens,et al.  CoMPSoC: A template for composable and predictable multi-processor system on chips , 2009, TODE.

[12]  Sang Hyuk Son,et al.  EnviroTrack: towards an environmental computing paradigm for distributed sensor networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[13]  Elfed Lewis,et al.  A comparative review of wireless sensor network mote technologies , 2009, 2009 IEEE Sensors.

[14]  Hari Balakrishnan,et al.  6th ACM/IEEE International Conference on on Mobile Computing and Networking (ACM MOBICOM ’00) The Cricket Location-Support System , 2022 .

[15]  Anthony Rowe,et al.  FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[16]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[17]  Cormac J. Sreenan,et al.  The development of a novel minaturized modular platform for wireless sensor networks , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[18]  David E. Culler,et al.  Telos: enabling ultra-low power wireless research , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[19]  Paul J.M. Havinga,et al.  Design of a low-power testbed for Wireless Sensor Networks and verification , 2003 .

[20]  Andreas Terzis,et al.  Design and evaluation of a versatile and efficient receiver-initiated link layer for low-power wireless , 2010, SenSys '10.

[21]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[22]  David E. Culler,et al.  Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.

[23]  R. Kling,et al.  IMOTE2: Serious Computation at the Edge , 2008, 2008 International Wireless Communications and Mobile Computing Conference.

[24]  Lothar Thiele,et al.  Efficient network flooding and time synchronization with Glossy , 2011, Proceedings of the 10th ACM/IEEE International Conference on Information Processing in Sensor Networks.

[25]  Deborah Estrin,et al.  A wireless sensor network For structural monitoring , 2004, SenSys '04.

[26]  Tarek F. Abdelzaher,et al.  Energy-optimal Batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[27]  David E. Culler,et al.  Design of a wireless sensor network platform for detecting rare, random, and ephemeral events , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[28]  Christel Baier,et al.  Principles of model checking , 2008 .

[29]  Kiyoshi Oguri,et al.  Asynchronous Circuit Design , 2001 .

[30]  Henrik Theiling,et al.  Multicore in Real-Time Systems – Temporal Isolation Challenges due to Shared Resources , 2013, DATE 2013.

[31]  Kim G. Larsen,et al.  The Impressive Power of Stopwatches , 2000, CONCUR.

[32]  David E. Culler,et al.  System Design Trade-Offs in a Next-Generation Embedded Wireless Platform , 2014 .

[33]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[34]  Thomas A. Henzinger,et al.  The Discipline of Embedded Systems Design , 2007, Computer.

[35]  Björn Andersson,et al.  Bounding memory interference delay in COTS-based multi-core systems , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[36]  Randy H. Katz,et al.  Next century challenges: mobile networking for “Smart Dust” , 1999, MobiCom.

[37]  Insup Lee,et al.  Opportunities and Obligations for Physical Computing Systems , 2005, Computer.

[38]  Eduardo de la Torre,et al.  A Modular Architecture for Nodes in Wireless Sensor Networks , 2006, J. Univers. Comput. Sci..

[39]  Joseph Sifakis Rigorous system design , 2014, PODC '14.

[40]  Kevin Klues,et al.  Opal: A Multiradio Platform for High Throughput Wireless Sensor Networks , 2011, IEEE Embedded Systems Letters.

[41]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[42]  Lui Sha,et al.  The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures , 2007, RTSS 2007.

[43]  Amre El-Hoiydi,et al.  WiseMAC: An Ultra Low Power MAC Protocol for Multi-hop Wireless Sensor Networks , 2004, ALGOSENSORS.

[44]  Paramvir Bahl,et al.  Wake on wireless: an event driven energy saving strategy for battery operated devices , 2002, MobiCom '02.

[45]  David Blaauw,et al.  MBus: A 17.5 pJ/bit/chip portable interconnect bus for millimeter-scale sensor systems with 8 nW standby power , 2014, Proceedings of the IEEE 2014 Custom Integrated Circuits Conference.

[46]  Joseph A. Paradiso,et al.  A compact modular wireless sensor platform , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..

[47]  David E. Culler,et al.  Epic: An Open Mote Platform for Application-Driven Design , 2008, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008).