Open AccessA Novel Reliability Assurance Method for Cyberphysical System Components Substitution
Author(s) -
Peng Wang,
Yang Xiang,
Shaohua Zhang
Publication year - 2012
Publication title -
international journal of distributed sensor networks
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.324
H-Index - 53
eISSN - 1550-1477
pISSN - 1550-1329
DOI - 10.1155/2012/242654
Subject(s) - substitution (logic) , troubleshooting , computer science , compatibility (geochemistry) , reliability (semiconductor) , service (business) , reliability engineering , substitution method , programming language , engineering , telecommunications , power (physics) , physics , economy , quantum mechanics , chemical engineering , economics , operating system
Reliability of cyberphysical system (CPS) components substitution is an important issue for CPS troubleshooting and system upgrading. In this paper, decision problem of components substitution is regarded as decision problem of services substitution through a service-oriented architecture of CPS. Further, a reliability assurance method for CPS service substitution is proposed, which comprises two parts. The first one is a qualitative judgment method for CPS service substitution according to the relationship between service compatibility and substitution based on time-space π -calculus with time and space operators. The other one is consisted of substitution processes from above judgment results based on service management theory. Finally, a case study is performed to show how to apply this method to ensure CPS components reliable substitution. The experimental result shows that this method is reasonable and feasible. © 2012 Peng Wang et al.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom