Easily Fighting Murphy: High-level Application Development in the IoT with Fault Tolerance

September 23th

Abstract

The Internet of Things (IoT) holds great promises as an enabler of a wide spectrum of pervasive applications (e.g., urban monitoring, smart home or emergency scenario). As the range of applications of IoT extends in the fields of industrial and mission-critical, additional requisites relating to robustness and reliability appear. We are faced with systems that are noteworthy for their gathering ability but fail in ensuring their own reliance and proper operation. In this tutorial, we start by first discussing the various aspects of faults, with particular focus on those encountered in Wireless Sensor Networks and Internet of Things. We then discuss techniques for high-level application development in the IoT, coupled with new developments in expressing and ensuring fault tolerance requirements in IoT applications. The theoretical part of the tutorial will be followed by a practical session, where we will use the Srijan macroprogramming toolkit to develop IoT applications, including fault-tolerant components.

Animesh Pathak received his PhD from the University of Southern California in 2008 and is currently “Chargé de recherche” at the Inria ARLES-MiMove team. His research interests relate to distributed systems, middleware, ubiquitous computing systems, sensor networks, and mobile social networking. He is currently leading the work on the Srijan toolkit for high-level application design of pervasive computing applications involving sensor networks. He recently participated in the FP7 FET IP CONNECT and IP CHOReOS research projects, and the NESSoS european network of excellence. He is also the Inria PI for the French national project MURPHY, which explores fault tolerance in sensor networks.