A Systematic Framework for Designing IoT-Enabled Systems

The IoT-enabled systems (IoTES) have significantly revolutioned the computing pardigm that sharply affects future technologies development. However, the design of IoTES sytems still involves various challenges. a) they are inherently complicated, residing in varying environment with multiple devices and networks, resulting in huge design diffculty. b) they lack effective approaches and tools to guarantee the design performance of IoTES at complicated environment. c) the design period hardly meets time-to-market needs, which are diffcult to satisfy the users’ demands . To address these challenges, in this article, we present a systematic design framework for IoTES which can refine the system specification defined by formal lanuage into underlying architecture at given platform and constraints leveraging a unified representation model. The system specfiication firstly be transformed into task decision set by task ontology and task library. Subsequently, the task set is precisely deposited into architecture platform at given platform library and space model constraints, the design flow can include object emplacement, system synthesis and preference synthesis. The final output of design consists of object location (location of phyiscal objects and cyber objects ), system configuration (netowork configuration and hardware platform selection) and user satisfaction to generated design solutions. Also, we demonstrate design framework with a smart meeting room case.