A reduced complexity design pattern for distributed hierarchical command and control system

Heechul Yun, Po Liang Wu, Maryam Rahmaniheris, Cheolgi Kim, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10
Pages42-49
Number of pages8
DOIs
StatePublished - 2010
Event1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010 - Stockholm, Sweden
Duration: Apr 13 2010Apr 15 2010

Publication series

NameProceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10

Other

Other1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010
Country/TerritorySweden
CityStockholm
Period4/13/104/15/10

Keywords

  • command and control system
  • complexity
  • remote procedure call

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'A reduced complexity design pattern for distributed hierarchical command and control system'. Together they form a unique fingerprint.

Cite this