Actors for Timing Analysis of Distributed Redundant Controllers
Author(s): Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner1, and Alessandro V. Papadopoulos
Abstract
We use two actor-based languages, Timed Rebeca and Lingua Franca, to show modeling, model checking, implementation, and timing analysis of an industry-suggested algorithm for role selection in distributed control systems with redundancy. The algorithm prioritizes consistency over availability in tradeoff situations. We show scenarios that simulate the environment and possible faults and use the Timed Rebeca model checking tool to investigate whether they may cause a failure. We also show the maximum latency that can be tolerated without causing inconsistency. We then use the coordination language Lingua Franca to implement the model. It can also simulate network switches, allowing you to set up test scenarios that include network degradation, such as switch failures, packet losses, and excessive latency. This can be set up as a hardware-in-the-loop simulation, where the actual node implementations interact with simulated switches and the network.
Citation Formats
-
APA
Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner1, and Alessandro V. Papadopoulos. (2025). Actors for Timing Analysis of Distributed Redundant Controllers. In Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Prof. Gul Agha to Celebrate his Scientific Career. doi:10.1007/978-3-032-05291-9_8. -
MLA
Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner1, and Alessandro V. Papadopoulos. "Actors for Timing Analysis of Distributed Redundant Controllers." Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Prof. Gul Agha to Celebrate his Scientific Career, 2025. doi:10.1007/978-3-032-05291-9_8. -
Chicago
Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner1, and Alessandro V. Papadopoulos. "Actors for Timing Analysis of Distributed Redundant Controllers." Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Prof. Gul Agha to Celebrate his Scientific Career, 2025. doi:10.1007/978-3-032-05291-9_8. -
BibTeX
@inproceedings{SirjaniEtAl:25:Redundant, author = {Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner1, and Alessandro V. Papadopoulos}, title = {Actors for Timing Analysis of Distributed Redundant Controllers},
booktitle = {Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Prof. Gul Agha to Celebrate his Scientific Career},
volume = {LNCS 16120},
year = {2025},
doi = {10.1007/978-3-032-05291-9_8},
abstract = {We use two actor-based languages, Timed Rebeca and Lingua Franca, to show modeling, model checking, implementation, and timing analysis of an industry-suggested algorithm for role selection in distributed control systems with redundancy. The algorithm prioritizes consistency over availability in tradeoff situations. We show scenarios that simulate the environment and possible faults and use the Timed Rebeca model checking tool to investigate whether they may cause a failure. We also show the maximum latency that can be tolerated without causing inconsistency. We then use the coordination language Lingua Franca to implement the model. It can also simulate network switches, allowing you to set up test scenarios that include network degradation, such as switch failures, packet losses, and excessive latency. This can be set up as a hardware-in-the-loop simulation, where the actual node implementations interact with simulated switches and the network.},
URL = {https://eecs.berkeley.edu/~eal/publications/SirjaniEtal_Gul_Fest_Final.pdf}}