Simple and proximate time model framework of cyber-physical systems

With the rapid development technologies of computing, communication and intelligent control, the emergence of Cyber-Physical systems (CPS) is becoming increasingly popular these days. Many CPS applications that are used in safety and mission critical scenarios, such as healthcare system in nature should be verified to meet the requirements of safe and operational before their deployment. Therefore, the modeling and analysis play an important part of the safety and mission critical system of systems (SoS) development in CPS. In this paper, a simple and proximate time model (SPTimo) framework is proposed for non-real-time critical CPS applications to meet the requirements of modeling and analysis with minimum cost and time. The feasibility of the time modeling method for iHouse that is based on the SPTimo framework and UPPAAL tool is validated and discussed