Open Access System for Information Sharing

Login Library

 

Article
Cited 1 time in webofscience Cited 1 time in scopus
Metadata Downloads

MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems SCIE SCOPUS

Title
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
Authors
Bae, KyungminOlveczky, Peter Csaba
Date Issued
2021-10
Publisher
ASSOC COMPUTING MACHINERY
Abstract
TTA and PALS are two prominent formal design patterns-with different strengths andweaknesses-for virtually synchronous distributed cyber-physical systems (CPSs). They greatly simplify the design and verification of such systems by allowing us to design and verify their underlying synchronous designs. In this paper we introduce and verify MSYNC as a formal design (and verification) pattern/synchronizer for hierarchical multirate CPSs that generalizes, and combines the advantages of, both TTA and (single-rate and multirate) PALS. We also define an extension of TTA to multirate CPSs as a special case. We show that MSYNC outperforms both TTA and PALS in terms of allowing shorter periods, and illustrate the MSYNC design and verification approach with a case study on a fault-tolerant distributed control system for turning an airplane.
URI
https://oasis.postech.ac.kr/handle/2014.oak/107592
DOI
10.1145/3477036
ISSN
1539-9087
Article Type
Article
Citation
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, vol. 20, no. 5, 2021-10
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

배경민BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse