Welcome to BADALING.

Recently, Internet of Things (IoT) has proliferated, leading to the development and deployment of several types of IoT networks at the edge that connect to the back-end cloud to provide advanced features for several emerging applications, such as logistics and smart cities. Such IoT networks consist of diverse types of elements, e.g., sensors, actuators, gateways, controllers and networking routers. They have diverse characteristics and they need to be composed and configured to be operated under different constraints imposed by the applications and underlying infrastructures. Via IoT networks, we can construct a close-loop by which we can perceive physical processes, react against incidents, and even control the development of the processes. Such tight interactions of computation and physical processes are fundamental in Cyber-Physical Systems (CPS). To achieve a resilient CPS, we are facing 5 challenges to be addressed: dependability, consistency, reliability, cyber-physical mismatch, and cyber–physical coupling security.

The goal of this project is to research and develop basic abstractions and their corresponding techniques for developing advanced models of IoT networks for resilient CPS. We will consider CPS in a broad sense: a CPS includes elements of IoT, edge and clouds. Such advanced models are configurable and constrained by different types of interactions , such as, passive and proactive sensing or near-realtime close control feedbacks between cyber and physical processes, and quality attributes, such as performance, response time, privacy constraints, near real-time interactions, to name just a few. In this project we will focus on the following topics:


  • Past members
  • Prototype



    Initially, BADALING was partially supported by EURASIA-PACIFIC UNINET. More information will be provided.