Modeling and Verifying Services of Internet of Things Based on Hybrid System Methodology

Ye Li

2013-01-01

Abstract:The Internet of Things( IoTs) is the combination of physical equipment and information world. It brings the ability of fast development in information world to physical world. And this will push the evolution of the service mode in information and the physical entity. It is necessary to choose a proper theory to model and verify the physical entities in the Internet of Things services. But currently most of exist studies separated the physical equipment and the information system. That makes the theory weakness in describing IoTs service. But the ability of combination the physical and information world is a necessary condition to push IoTs service forward to intelligent and reliable. For Hybrid Systems has been long developed to describe the discrete control signal and continuous behavior of the physical equipment,we choose hybrid system theory to describe the IoTs service. Thus we build a framework of modeling and verifying service of IoTs which includes normal hybrid systems as atom services and a distributed hybrid system as composed service. We use( quantified) differential dynamic logic as the modeling and verifying tool. Based on this framework,we can union the physical equipment,control system and composed service system. Then we can do more deeply on modeling and verifying service of IoTs.