Alladi Ramakrishnan Hall

Automated verification and synthesis of distributed systems

N. Abdul Majith

INRIA Rennes, France

Towards the automation of Software-Defined Network (SDN) based Internet of Things (IoT) platforms, we are using formal analysis and synthesis techniques to ensure their safe behaviours. SDN, a flexible and low cost networking principle which provides dynamic distributed system applications, IoT is one such kind. There is a strong need for consistent and correct integration of IoT applications in the SDN environment. Using formal compositional verification methods for analyzing the safety of an SDN-IoT environment, we provide a detailed synthesis framework to model the abstract behaviour of IoT devices, SDN manager and automatically generate low level implementation code to be integrated with IoT applications.