Pattern-based composition and analysis of virtually synchronized real-time distributed systems

Abdullah Al-Nayeem, Lui Raymond Sha, Darren D. Cofer, Steven M. Miller

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

Abstract

Designing and verifying distributed protocols in a multi-rate asynchronous system is, in general, extremely difficult when the distributed computations require consistent input views, consistent actions and synchronized state transitions. In this paper, we address this problem and introduce a formal, complexity-reducing architectural pattern, called Multi-Rate PALS system, to support virtual synchronization in multi-rate distributed computations. The pattern supports a component to be virtually synchronized with other components in different instantiations of this pattern. We present an application of a hierarchical control system to show that the composition of these instantiations can be used to achieve desired system-level properties, such as distributed consistency and distributed coordination. We verify the logical synchronization guarantee of this pattern, which holds as long as the pattern assumptions are satisfied. We also discuss the correctness analysis necessary to validate these assumptions and provide a tool support to perform this analysis automatically on the AADL models.

Original languageEnglish (US)
Title of host publicationProceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Pages65-74
Number of pages10
DOIs
StatePublished - May 31 2012
Event2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 - Beijing, China
Duration: Apr 17 2012Apr 19 2012

Publication series

NameProceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

Other

Other2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Country/TerritoryChina
CityBeijing
Period4/17/124/19/12

Keywords

  • Design patterns
  • complexity reduction
  • virtual synchronization

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Pattern-based composition and analysis of virtually synchronized real-time distributed systems'. Together they form a unique fingerprint.

Cite this