Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
J Lee, K Bae, PC Ölveczky, S Kim, M Kang - International Journal on …, 2022 - Springer
This paper presents the HybridSynchAADL modeling language and formal analysis tool for
virtually synchronous cyber-physical systems with complex control programs, continuous …
virtually synchronous cyber-physical systems with complex control programs, continuous …
[HTML][HTML] Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
J Lee, S Kim, K Bae, PC Ölveczky - … , CAV 2021, Virtual Event, July 20–23 …, 2021 - Springer
Abstract We present the Hybrid Synch AADL HYBRIDSYNCH AADL modeling language and
formal analysis tool for virtually synchronous cyber-physical systems with complex control …
formal analysis tool for virtually synchronous cyber-physical systems with complex control …
MSYNC: a generalized formal design pattern for virtually synchronous multirate cyber-physical systems
K Bae, PC Ölveczky - ACM Transactions on Embedded Computing …, 2021 - dl.acm.org
TTA and PALS are two prominent formal design patterns—with different strengths and
weaknesses—for virtually synchronous distributed cyber-physical systems (CPSs). They …
weaknesses—for virtually synchronous distributed cyber-physical systems (CPSs). They …
A synchronous approach to quasi-periodic systems
G Baudart - 2017 - theses.hal.science
In this thesis we study embedded controllers implemented as sets of unsynchronized
periodic processes. Each process activates quasi-periodically, that is, periodically with …
periodic processes. Each process activates quasi-periodically, that is, periodically with …
A timeless model for the verification of quasi-periodic distributed systems
M Dabaghchian, Z Rakamarić - Proceedings of the 17th ACM-IEEE …, 2019 - dl.acm.org
A cyber-physical system often consists of distributed multi-rate periodic processes that
communicate using message passing; each process owns a local clock not synchronized …
communicate using message passing; each process owns a local clock not synchronized …
[PDF][PDF] HYBRIDSYNCHAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
PC Olveczky - academia.edu
We present the HybridSynchAADL modeling language and formal analysis tool for virtually
synchronous cyber-physical systems with complex control programs, continuous behaviors …
synchronous cyber-physical systems with complex control programs, continuous behaviors …
[PDF][PDF] Toward Liveness Verification of Quasi-Periodic Distributed Systems Using a Timeless Model
M Dabaghchian, Z Rakamarić - fmcad.forsyte.at
Toward Liveness Verification of Quasi-Periodic Distributed Systems Using a Timeless Model
Page 1 M. Dabaghchian*, Z. Rakamarić *maryam@cs.utah.edu Verification Using Model …
Page 1 M. Dabaghchian*, Z. Rakamarić *maryam@cs.utah.edu Verification Using Model …
[PDF][PDF] Préparée à l'École normale supérieure
B Guillaume - guillaume.baudart.eu
In this thesis we study embedded controllers implemented as sets of unsynchronized
periodic processes. Each process activates quasi-periodically, that is, periodically with …
periodic processes. Each process activates quasi-periodically, that is, periodically with …