Paper Info
Title
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
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.
Year
DOI
Venue
2012
10.1109/ICCPS.2012.15
ICCPS
Keywords
Field
DocType
pattern-based composition,consistent action,protocols,multi-rate asynchronous system,complexity-reducing architectural pattern,multirate asynchronous system,logical synchronization guarantee,synchronized state transitions,virtual synchronization,virtually synchronized real-time distributed systems,computational complexity,pattern-based analysis,aadl models,architectural pattern,correctness analysis,different instantiations,hierarchical control system,distributed computations,multirate pals system,pattern assumption,design patterns,multi-rate pals system,distributed processing,distributed protocols,synchronisation,consistent input view,complexity reduction,satisfiability,real time systems,computer architecture,state transition,real time,distributed system,asynchronous system,distributed computing,synchronization,design pattern,servomotors
Hierarchical control system,Synchronization,Asynchronous system,Computer science,Correctness,Software design pattern,Reduction (complexity),Theoretical computer science,Real-time computing,Architectural pattern,Distributed computing,Computational complexity theory
Conference
ISSN
ISBN
Citations 
2375-8317
978-1-4673-1537-1
6
PageRank 
References 
Authors
0.55
17
4
Name
Order
Citations
PageRank
Abdullah Al-Nayeem1483.82
L. Sha273761006.47
Darren D. Cofer321420.08
Steven M. Miller48722.89