The Sensor Network Workbench: Towards Functional Specification, Verification and Deployment of Constrained Distributed Systems

As the commoditization of sensing, actuation and communication hardware increases, so does the potential for dynamically tasked sense and respond networked systems (i.e., Sensor Networks or SNs) to replace existing disjoint and inflexible special-purpose deployments (closed-circuit security video, anti-theft sensors, etc.). While various solutions have emerged to many individual SN-centric challenges (e.g., power management, communication protocols, role assignment), perhaps the largest remaining obstacle to widespread SN deployment is that those who wish to deploy, utilize, and maintain a programmable Sensor Network lack the programming and systems expertise to do so. The contributions of this thesis centers on the design, development and deployment of the SN Workbench (snBench). snBench embodies an accessible, modular programming platform coupled with a flexible and extensible run-time system that, together, support the entire life-cycle of distributed sensory services. As it is impossible to find a one-size-fits-all programming interface, this work advocates the use of tiered layers of abstraction that enable a variety of high-level, domain specific languages to be compiled to a common (thin-waist) tasking language; this common tasking language is statically verified and can be subsequently re-translated, if needed, for execution on a wide variety of hardware platforms. snBench provides: (1) a common sensory tasking language (Instruction Set Architecture) powerful enough to express complex SN services, yet simple enough to be executed by highly constrained resources with soft, real-time constraints, (2) a prototype high-level language (and corresponding compiler) to illustrate the utility of the common tasking language and the tiered programming approach in this domain, (3) an execution environment and a run-time support infrastructure that abstract a collection of heterogeneous resources into a single virtual Sensor Network, tasked via this common tasking language, and (4) novel formal methods (i.e., static analysis techniques) that verify safety properties and infer implicit resource constraints to facilitate resource allocation for new services. This thesis presents these components in detail, as well as two specific case-studies: the use of snBench to integrate physical and wireless network security, and the use of snBench as the foundation for semester-long student projects in a graduate-level Software Engineering course

Highly reliable, low-latency communication in low-power wireless networks

Low-power wireless networks consist of spatially distributed, resource-constrained devices – also referred to as nodes – that are typically equipped with integrated or external sensors and actuators. Nodes communicate with each other using wireless transceivers, and thus, relay data – e. g., collected sensor values or commands for actuators – cooperatively through the network. This way, low-power wireless networks can support a plethora of different applications, including, e. g., monitoring the air quality in urban areas or controlling the heating, ventilation and cooling of large buildings. The use of wireless communication in such monitoring and actuating applications allows for a higher flexibility and ease of deployment – and thus, overall lower costs – compared to wired solutions. However, wireless communication is notoriously error-prone. Message losses happen often and unpredictably, making it challenging to support applications requiring both high reliability and low latency. Highly reliable, low-latency communication – along with high energy-efficiency – are, however, key requirements to support several important application scenarios and most notably the open-/closed-loop control functions found in e. g., industry and factory automation applications. Communication protocols that rely on synchronous transmissions have been shown to be able to overcome this limitation. These protocols depart from traditional single-link transmissions and do not attempt to avoid concurrent transmissions from different nodes to prevent collisions. On the contrary, they make nodes send the same message at the same time over several paths. Phenomena like constructive interference and capture then ensure that messages are received correctly with high probability. While many approaches relying on synchronous transmissions have been presented in the literature, two important aspects received only little consideration: (i) reliable operation in harsh environments and (ii) support for event-based data traffic. This thesis addresses these two open challenges and proposes novel communication protocols to overcome them

Data and the city – accessibility and openness. a cybersalon paper on open data

This paper showcases examples of bottom–up open data and smart city applications and identifies lessons for future such efforts. Examples include Changify, a neighbourhood-based platform for residents, businesses, and companies; Open Sensors, which provides APIs to help businesses, startups, and individuals develop applications for the Internet of Things; and Cybersalon’s Hackney Treasures. a location-based mobile app that uses Wikipedia entries geolocated in Hackney borough to map notable local residents. Other experiments with sensors and open data by Cybersalon members include Ilze Black and Nanda Khaorapapong's The Breather, a "breathing" balloon that uses high-end, sophisticated sensors to make air quality visible; and James Moulding's AirPublic, which measures pollution levels. Based on Cybersalon's experience to date, getting data to the people is difficult, circuitous, and slow, requiring an intricate process of leadership, public relations, and perseverance. Although there are myriad tools and initiatives, there is no one solution for the actual transfer of that data

The discourse of efficient speciality: Ambiguities of active participation in space with personalized location-based analytics

Ph.DDOCTOR OF PHILOSOPH

Improvisatory home heating: the gap between intended and actual use of radiators and TRVs

Ongoing modification and change is core to how domestic and built environments function. Thus occupants domestication and development of home heating practices around low-carbon technologies is likely to exceed what building engineering sciences have the ability to plan ahead for. Yet, environmental policies and low -carbon industry approaches to sustainable energy consumption are characterised by a high degree of technological determinism. Disciplinary approaches to sustainable energy consumption tend to separate home heating into stable, routine interaction with control points, environmental factors and socio-demographic drivers. Framing low-carbon technical change in isolation from domestic environments often leads to a gap between intended and actual use of technologies. By focusing on TRVs (thermostatic radiators valve) and radiators, this thesis takes an interdisciplinary turn to jointly examine the social and environmental elements of households energy use. A turn to sensory ethnography and practice-place relationships offers a way to better understand how people use energy for space heating in relation to the buildings they live in and how improvisatory uses of technologies emerge from flows of material, domestic, sensory and physical contingencies of the home. Combining home video tours with building energy monitoring in eight homes, the thesis demonstrates that home heating is a place-event of the home because heating systems and energy consumption are woven into the fabric of everyday life. Environmental elements show that the social and technical are inseparable in energy used for space heating and individual elements imply that the domestication of technologies is highly unpredictable. The thesis synthesises findings into a taxonomy table of irregular radiator and TRV use. On the one hand, irregularities indicate that improvisatory uses of technologies are productive sources of sustainable change because they can be potential sites for co-design. On the other hand, the interwoven character of the social and technical in households energy use critically challenges how environmental policy, low-carbon industry and disciplinary approaches frame intervention into sustainable energy consumption. The thesis argues for the value of logic of intervention and sustainable change that is collaborative, system-focused and gradually uncovers interrelationships