research-article

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

Authors:

Maryam Rahmaniheris,

Lui ShaAuthors Info & Claims

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

Pages 42 - 49

https://doi.org/10.1145/1795194.1795201

Published: 13 April 2010 Publication History

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.

References

[1]

E. A. Lee, "Cyber physical systems: Design challenges," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-8, Jan 2008. {Online}. Available: http://www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-8.html

[2]

Stankovic, J. A., Lee, Insup, Mok, Aloysius, Rajkumar, and Raj, "Opportunities and obligations for physical computing systems," Computer, vol. 38, no. 11, pp. 23--31, 2005.

Digital Library

[3]

"COSPAS-SARSAT Search and Rescue System." {Online}. Available: http://www.nasa.gov/centers/goddard/pdf/105930main_cospas.pdf

[4]

J. Bengtsson and W. Yi, "Timed automata: Semantics, algorithms and tools," Lecture Notes in Computer Science, vol. 3098, pp. 87--124, 2004.

[5]

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, All About Maude -- A High-Performance Logical Framework, ser. Lecture Notes in Computer Science. Springer, 2007, vol. 4350.

Digital Library

[6]

E. Clarke, O. Grumberg, and D. Peled, Model checking. Springer, 1999.

Digital Library

[7]

N. Lynch, Distributed algorithms. Morgan Kaufmann, 1996.

Digital Library

[8]

J. E. Moss, Nested transactions: an approach to reliable distributed computing. Cambridge, MA, USA: Massachusetts Institute of Technology, 1985.

Digital Library

[9]

J. W. S. Liu, W.-K. Shih, K.-J. Lin, B. R., and J.-Y. Chung, "Imprecise computations," Proceedings of the IEEE, vol. 82, pp. 83--94, 1994.

[10]

S. Lui, "Using simplicity to control complexity," IEEE Software, vol. 18, no. 4, pp. 20--28, 2001.

Digital Library

[11]

A. L. Ananda, B. H. Tay, and E. K. Koh, "A survey of asynchronous remote procedure calls," SIGOPS Oper. Syst. Rev., vol. 26, no. 2, pp. 92--109, 1992.

Digital Library

[12]

Microsoft, Asynchronous RPC (Windows). {Online}. Available: http://msdn.microsoft.com/en-us/library/aa373550%28VS.85%29.aspx

[13]

E. B. Johnsen and O. Owe, "An asynchronous communication model for distributed concurrent objects," in SEFM '04: Proceedings of the Software Engineering and Formal Methods, Second International Conference. Washington, DC, USA: IEEE Computer Society, 2004, pp. 188--197.

Digital Library

[14]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: Elements of reusable object-oriented design. Addison-Wesley Reading, MA, 1995.

Digital Library

[15]

F. Buschmann, Pattern-oriented software architecture: a system of patterns. Wiley, 2002.

Digital Library

[16]

P. Avgeriou and U. Zdun, "Architectural patterns revisited--a pattern language," in 10th European Conference on Pattern Languages of Programs (EuroPlop 2005). Citeseer, 2005, pp. 1--39.

[17]

B. Douglass, Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 2002.

Digital Library

[18]

A. Al-Nayeem, M. Sun, X. Qiu, L. Sha, S. Miller, and D. Cofer, "A formal architecture pattern for real-time distributed systems," in Proceedings of the 2009 30th IEEE Real-Time Systems Symposium. IEEE Computer Society, 2009, pp. 161--170.

Digital Library

Cited By

Wang HZhao HZhang JMa DLi JWei J(2020)Survey on Unmanned Aerial Vehicle Networks: A Cyber Physical System PerspectiveIEEE Communications Surveys & Tutorials10.1109/COMST.2019.296220722:2(1027-1070)Online publication date: Oct-2021
https://doi.org/10.1109/COMST.2019.2962207
Ou AJiang YWu PSha LBerlin R(2017)Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance SystemsJournal of Medical Systems10.1007/s10916-016-0614-241:1(1-12)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s10916-016-0614-2
Wu PKang WAl-Nayeem ASha LBerlin RGoldman JLu CKumar PStoleru R(2013)A low complexity coordination architecture for networked supervisory medical systemsProceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems10.1145/2502524.2502537(89-98)Online publication date: 8-Apr-2013
https://dl.acm.org/doi/10.1145/2502524.2502537
Show More Cited By

Recommendations

The complexity of model checking concurrent programs against CTLK specifications
AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying programs by means of two model checkers for multi-agent systems: MCMAS and ...
Complexity verification using guided theorem enumeration
POPL '17: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

Determining if a given program satisfies a given bound on the amount of resources that it may use is a fundamental problem with critical practical applications. Conventional automatic verifiers for safety properties cannot be applied to address this ...
On the complexity of modular model checking
LICS '95: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

In modular verification the specification of a module consists of two parts. One part describes the guaranteed behavior of the module. The other part describes the assumed behavior of the environment with which the module is interacting. This is called ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

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

April 2010

208 pages

ISBN:9781450300667

DOI:10.1145/1795194

Conference Chairs:
Janos Sztipanovits,
Raj Rajkumar

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

IEEE-CS\TCRT: TC on Real-Time Systems
SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICCPS '10

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '10: ACM/IEEE 1st International Conference on Cyber-Physical Systems

April 13 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 25 of 91 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
349
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wang HZhao HZhang JMa DLi JWei J(2020)Survey on Unmanned Aerial Vehicle Networks: A Cyber Physical System PerspectiveIEEE Communications Surveys & Tutorials10.1109/COMST.2019.296220722:2(1027-1070)Online publication date: Oct-2021
https://doi.org/10.1109/COMST.2019.2962207
Ou AJiang YWu PSha LBerlin R(2017)Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance SystemsJournal of Medical Systems10.1007/s10916-016-0614-241:1(1-12)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s10916-016-0614-2
Wu PKang WAl-Nayeem ASha LBerlin RGoldman JLu CKumar PStoleru R(2013)A low complexity coordination architecture for networked supervisory medical systemsProceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems10.1145/2502524.2502537(89-98)Online publication date: 8-Apr-2013
https://dl.acm.org/doi/10.1145/2502524.2502537
Liangpeng Guo Vincentelli APinto A(2013)A complexity metric for concurrent finite state machine based embedded software2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2013.6601491(189-195)Online publication date: Jun-2013
https://doi.org/10.1109/SIES.2013.6601491

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten