Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201026696> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3201026696 endingPage "26" @default.
- W3201026696 startingPage "1" @default.
- W3201026696 abstract "TTA and PALS are two prominent formal design patterns—with different strengths and weaknesses—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." @default.
- W3201026696 created "2021-09-27" @default.
- W3201026696 creator A5078403066 @default.
- W3201026696 creator A5085748879 @default.
- W3201026696 date "2021-09-17" @default.
- W3201026696 modified "2023-09-30" @default.
- W3201026696 title "MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems" @default.
- W3201026696 cites W1971253924 @default.
- W3201026696 cites W1971575936 @default.
- W3201026696 cites W1989819369 @default.
- W3201026696 cites W1998280772 @default.
- W3201026696 cites W2033453156 @default.
- W3201026696 cites W2043994158 @default.
- W3201026696 cites W2077349223 @default.
- W3201026696 cites W2108308294 @default.
- W3201026696 cites W2119699246 @default.
- W3201026696 cites W2137787952 @default.
- W3201026696 cites W2144933658 @default.
- W3201026696 cites W2149519129 @default.
- W3201026696 cites W2154561484 @default.
- W3201026696 cites W2156919819 @default.
- W3201026696 cites W2157120264 @default.
- W3201026696 cites W2167606397 @default.
- W3201026696 cites W2340083835 @default.
- W3201026696 cites W2499596435 @default.
- W3201026696 cites W2618616513 @default.
- W3201026696 cites W3122775348 @default.
- W3201026696 cites W3201520513 @default.
- W3201026696 doi "https://doi.org/10.1145/3477036" @default.
- W3201026696 hasPublicationYear "2021" @default.
- W3201026696 type Work @default.
- W3201026696 sameAs 3201026696 @default.
- W3201026696 citedByCount "3" @default.
- W3201026696 countsByYear W32010266962022 @default.
- W3201026696 countsByYear W32010266962023 @default.
- W3201026696 crossrefType "journal-article" @default.
- W3201026696 hasAuthorship W3201026696A5078403066 @default.
- W3201026696 hasAuthorship W3201026696A5085748879 @default.
- W3201026696 hasConcept C111472728 @default.
- W3201026696 hasConcept C111498074 @default.
- W3201026696 hasConcept C111919701 @default.
- W3201026696 hasConcept C120314980 @default.
- W3201026696 hasConcept C138885662 @default.
- W3201026696 hasConcept C149635348 @default.
- W3201026696 hasConcept C179768478 @default.
- W3201026696 hasConcept C199360897 @default.
- W3201026696 hasConcept C41008148 @default.
- W3201026696 hasConcept C63882131 @default.
- W3201026696 hasConcept C66727535 @default.
- W3201026696 hasConcept C75606506 @default.
- W3201026696 hasConcept C80444323 @default.
- W3201026696 hasConceptScore W3201026696C111472728 @default.
- W3201026696 hasConceptScore W3201026696C111498074 @default.
- W3201026696 hasConceptScore W3201026696C111919701 @default.
- W3201026696 hasConceptScore W3201026696C120314980 @default.
- W3201026696 hasConceptScore W3201026696C138885662 @default.
- W3201026696 hasConceptScore W3201026696C149635348 @default.
- W3201026696 hasConceptScore W3201026696C179768478 @default.
- W3201026696 hasConceptScore W3201026696C199360897 @default.
- W3201026696 hasConceptScore W3201026696C41008148 @default.
- W3201026696 hasConceptScore W3201026696C63882131 @default.
- W3201026696 hasConceptScore W3201026696C66727535 @default.
- W3201026696 hasConceptScore W3201026696C75606506 @default.
- W3201026696 hasConceptScore W3201026696C80444323 @default.
- W3201026696 hasFunder F4320322120 @default.
- W3201026696 hasIssue "5s" @default.
- W3201026696 hasLocation W32010266961 @default.
- W3201026696 hasOpenAccess W3201026696 @default.
- W3201026696 hasPrimaryLocation W32010266961 @default.
- W3201026696 hasRelatedWork W1524361563 @default.
- W3201026696 hasRelatedWork W1547140629 @default.
- W3201026696 hasRelatedWork W1965181236 @default.
- W3201026696 hasRelatedWork W2117798332 @default.
- W3201026696 hasRelatedWork W2959187671 @default.
- W3201026696 hasRelatedWork W3005871351 @default.
- W3201026696 hasRelatedWork W3091728393 @default.
- W3201026696 hasRelatedWork W3201026696 @default.
- W3201026696 hasRelatedWork W4297692541 @default.
- W3201026696 hasRelatedWork W56325626 @default.
- W3201026696 hasVolume "20" @default.
- W3201026696 isParatext "false" @default.
- W3201026696 isRetracted "false" @default.
- W3201026696 magId "3201026696" @default.
- W3201026696 workType "article" @default.