TY - GEN
T1 - Pattern-based composition and analysis of virtually synchronized real-time distributed systems
AU - Al-Nayeem, Abdullah
AU - Sha, Lui Raymond
AU - Cofer, Darren D.
AU - Miller, Steven M.
PY - 2012/5/31
Y1 - 2012/5/31
N2 - 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.
AB - 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.
KW - Design patterns
KW - complexity reduction
KW - virtual synchronization
UR - http://www.scopus.com/inward/record.url?scp=84861507919&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84861507919&partnerID=8YFLogxK
U2 - 10.1109/ICCPS.2012.15
DO - 10.1109/ICCPS.2012.15
M3 - Conference contribution
AN - SCOPUS:84861507919
SN - 9780769546957
T3 - Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
SP - 65
EP - 74
BT - Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
T2 - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Y2 - 17 April 2012 through 19 April 2012
ER -