A Novel Reliability Assurance Method for Cyberphysical System Components Substitution
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. Fu...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2012-11-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1155/2012/242654 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832546740966785024 |
|---|---|
| author | Peng Wang Yang Xiang Shaohua Zhang |
| author_facet | Peng Wang Yang Xiang Shaohua Zhang |
| author_sort | Peng Wang |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-7b3289f5ff214efa9029b880255b5582 |
| institution | Kabale University |
| issn | 1550-1477 |
| language | English |
| publishDate | 2012-11-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj-art-7b3289f5ff214efa9029b880255b55822025-02-03T06:47:19ZengWileyInternational Journal of Distributed Sensor Networks1550-14772012-11-01810.1155/2012/242654A Novel Reliability Assurance Method for Cyberphysical System Components SubstitutionPeng Wang0Yang Xiang1Shaohua Zhang2 Shanghai Development Center of Computer Software Technology, Shanghai 201112, China College of Electronics and Information Engineering, Tongji University, Shanghai 201804, China Shanghai Development Center of Computer Software Technology, Shanghai 201112, ChinaReliability 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.https://doi.org/10.1155/2012/242654 |
| spellingShingle | Peng Wang Yang Xiang Shaohua Zhang A Novel Reliability Assurance Method for Cyberphysical System Components Substitution International Journal of Distributed Sensor Networks |
| title | A Novel Reliability Assurance Method for Cyberphysical System Components Substitution |
| title_full | A Novel Reliability Assurance Method for Cyberphysical System Components Substitution |
| title_fullStr | A Novel Reliability Assurance Method for Cyberphysical System Components Substitution |
| title_full_unstemmed | A Novel Reliability Assurance Method for Cyberphysical System Components Substitution |
| title_short | A Novel Reliability Assurance Method for Cyberphysical System Components Substitution |
| title_sort | novel reliability assurance method for cyberphysical system components substitution |
| url | https://doi.org/10.1155/2012/242654 |
| work_keys_str_mv | AT pengwang anovelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution AT yangxiang anovelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution AT shaohuazhang anovelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution AT pengwang novelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution AT yangxiang novelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution AT shaohuazhang novelreliabilityassurancemethodforcyberphysicalsystemcomponentssubstitution |