- This event has passed.
Colloquium – Borzoo Bonakdarpour
July 21 @ 9:50 am - 11:00 am
July 21, 2017
Host: Ganesh Gopalakrishnan
Distributed Fault-tolerant runtime monitoring
Runtime verification is a lightweight method for monitoring the formal specification of a system during its execution. In this talk, I will show that employing the existing formal logics semantics for runtime verification result in inconsistent distributed monitoring for some formulas. To tackle this problem, we introduced a family of logics, that refines LTL by incorporating 2k +4 truth values, for each k >= 0. These truth values can be effectively used by local monitors to reach a consistent global set of verdicts for each given formula, provided k is sufficiently large. I will also introduce an algorithm for monitor construction enabling fault-tolerant distributed monitoring based on the aggregation of the individual verdicts by each monitor.
Borzoo Bonakdarpour is currently an assistant professor at the Department of Computing and Software at McMaster University, Canada. His research interests include runtime monitoring of distributed systems and security/privacy policies, power-aware algorithms, and program synthesis. His work in these areas have received multiple best paper awards and nominations from highly prestigious conferences. His tools SYCRAFT and ASSESS are capable of synthesizing fault-tolerant and self-stabilizing distributed protocols. He chaired the Technical Program Committee of the SSS’16 and RV’14 conferences. His Ph.D. dissertation, “Automated Revision of Distributed and Real-Time Programs”, was nominated for the 2010 ACM Doctoral Dissertation Award.