Rachel Cardell-Oliver

Learn More
FlexiTP is a novel TDMA protocol that offers a synchronized and loose slot structure. Nodes in the network can build, modify, or extend their scheduled number of slots during execution, based on their local information. Nodes wake up for their scheduled slots; otherwise, they switch into power-saving sleep mode. This flexible schedule allows FlexiTP to be(More)
A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented.
IV. Network Management Systems 5 A. Sensor Network Management Framework 5 1. BOSS 5 2. MANNA 6 B. Sensor Network Management Protocols 8 1. RRP 8 2. SNMS 9 3. sNMP 10 4. WinMS 11 C. Management By Delegation 12 1. Agilla 12 2. Mobile Agent-Based Policy Management 12 3. Sectoral Sweeper 12 4. Intelligent Agent-Based Power Management 13 D. Debugging Tools 13 1.(More)
Wireless sensor network technology has the potential to reveal finegrained, dynamic changes in monitored variables of an outdoor landscape. But there are significant problems to be overcome in order to realise this vision in working systems. This paper describes the design and implementation of a reactive, event driven network for environmental monitoring(More)
We propose FlexiMAC, a novel TDMA-based protocol for efficient data gathering in wireless sensor networks that provides end-to-end guarantees on data delivery: throughput, fair access, and robust self-healing, whilst also respecting the severe energy and memory constraints of wireless sensor networks. FlexiMAC achieves this balance through a synchronized(More)
Reducing the number of data packets transmitted in a sensor network is an effective way of saving energy. Data suppression techniques can reduce data transmissions without losing acceptable data quality. At the data layer, suppression techniques can be classified in two ways, based on spatial data correlation and on temporal data correlation. When employing(More)
Wireless sensor network technology promises to reveal fine-grained, dynamic changes in monitored variables of an outdoor landscape. But there are significant problems to be overcome in translating this vision to working systems. This paper describes the design and implementation of a reactive, event driven network for environmental monitoring of soil(More)
Many computing education studies have reported poor learning outcomes in programming courses for novices. Yet methods for measuring students’ ability to generate computer programs remains an open research problem. In this paper we review some limitations of existing approaches for assessing student programs. We then propose a set of valid and reliable(More)
A new framework is presented for sensor network programming with situations. User requirements are expressed in terms of temporal and spatial constraints on the events observed by sensor network nodes. A novel spatial-temporal logic is introduced for this task. We also specify protocols for situation detection that can be executed on sensor nodes to meet(More)