TY - GEN
T1 - A reduced complexity design pattern for distributed hierarchical command and control system
AU - Yun, Heechul
AU - Wu, Po Liang
AU - Rahmaniheris, Maryam
AU - Kim, Cheolgi
AU - Sha, Lui
PY - 2010
Y1 - 2010
N2 - Cyber Physical Systems (CPS) get a lot of attention due to the strong demand for the integration of physical devices and computing systems. There are many design aspects involved in CPS, such as efficiency, real-time, reliability and security. One of the major issues is system integration and verification. In many safety critical systems verification plays an essential role in system design. However, the high complexity for the composition of diverse systems is a major challenge for system verification. In this paper, we focus on command and control systems for search and rescue missions and propose a systematic design pattern called Interruptible RPC to compose complex systems while keeping the verification costs low. This has been made possible due to the reduced state space of the systems designed using our pattern. Therefore, the system models can be efficiently verified using available verification tools. In our experiments, the search and rescue system based on Interruptible RPC pattern had fewer states than the asynchronous one by several orders of magnitude.
AB - Cyber Physical Systems (CPS) get a lot of attention due to the strong demand for the integration of physical devices and computing systems. There are many design aspects involved in CPS, such as efficiency, real-time, reliability and security. One of the major issues is system integration and verification. In many safety critical systems verification plays an essential role in system design. However, the high complexity for the composition of diverse systems is a major challenge for system verification. In this paper, we focus on command and control systems for search and rescue missions and propose a systematic design pattern called Interruptible RPC to compose complex systems while keeping the verification costs low. This has been made possible due to the reduced state space of the systems designed using our pattern. Therefore, the system models can be efficiently verified using available verification tools. In our experiments, the search and rescue system based on Interruptible RPC pattern had fewer states than the asynchronous one by several orders of magnitude.
KW - command and control system
KW - complexity
KW - remote procedure call
UR - http://www.scopus.com/inward/record.url?scp=77954607532&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77954607532&partnerID=8YFLogxK
U2 - 10.1145/1795194.1795201
DO - 10.1145/1795194.1795201
M3 - Conference contribution
AN - SCOPUS:77954607532
SN - 9781450300667
T3 - Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10
SP - 42
EP - 49
BT - Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10
T2 - 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010
Y2 - 13 April 2010 through 15 April 2010
ER -