American V-King Scientific Publishing
The strong coupling of software and physical processes in the emerging field motivates the development of new methods to respond to dependability in both the cyber and physical domains. Two kinds of definitions of Cyber-Physical System (CPS) from the view of resource, service and process is proposed at first. In addition, the dependable model of cyber-physical home control system is presented by taking advantage of Generalized Stochastic Petri Net (GSPN). Based on the model running and analyzing, the dependency relationships in resource, service and process are analyzed and the dependability parameters (reliability, availability, MTTF, etc.) of system which people pay attention to are presented finally.