! “Machine-to-Machine (M2M) communications is the communication between two or more entities that do not necessarily need any direct human intervention. M2M services intend to automate decision and communication processes. ”- ETSI oneM2M! IoT as “A global infrastructure for the information society

the non-exclusive right to publish the Work electronically and in a non-commercial purpose make it accessible on the Internet. The Author warrants that he/she is the author to the Work, and warrants that the Work does not contain text, pictures or other material that violates copyright law

doi:10.3233/978-1-61499-098-7-103

Bug found in FPU. Intel offers to replace faulty chips. Estimated loss: 475M US$ Esploded 37secs after launch. Cause: uncaught overflow ex-ception. Software “glitch ” found in anti-lock braking system. 185,000 cars recalled. Why verify? “Testing can only show the presence of errors, not their absence. ” [Edgar Dijkstra]

I herewith certify that all material in this dissertation which is not my own work has been properly acknowledged.

Digitising statistics handling through

Abstract not found

in partial ful2llment of the requirements for the degree of

Abstract: Mobile ad hoc networks (MANETs) and wireless sensor networks (WSNs) are two recently-developed technologies that uniquely function without xed infrastructure support, and sense at scales, resolutions, and durations previously not possible. While both offer great potential in many applications, developing software for these types of networks is extremely dffcult, preventing their wide-spread use. Three primary challenges are (1) the high level of dynamics within the network in terms of changing wireless links and node hardware con gurations, (2) the wide variety of hardware present in these networks, and (3) the extremely limited computational and energy resources available. Until now, the burden of handling these issues was put on the software application developer. This dissertation presents three novel programming models and middleware systems that address these challenges: Limone, Agilla, and Servilla. Limone reliably handles high levels of dynamics within MANETs. It does this through lightweight coordination primitives that make minimal assumptions about network connectivity. Agilla enables self-adaptive WSN applications via the integration of mobile agent and tuple space programming models, which is critical given the continuously changing network. It is the rst system to successfully demonstrate the feasibility of using mobile agents and tuple spaces within

is used. We introduce a low-power pseudo-random frequency-hopping MAC protocol which is specifically characterized as a duty cycled asynchronous sender-initiated LPL style protocol. We illustrate two flavors of the protocol; one that does not use any dedicated channel and another which allows dedicated