search menu icon-carat-right cmu-wordmark

Certifiable Distributed Runtime Assurance

This poster describes the use of enforcers to assure the safety of distributed cyber-physical systems.

Software Engineering Institute



In this work, researchers addressed assurance challenges in the context of distributed real-time systems (DRTS) by creating tools and techniques to

  • express enforceable policies in multiple domains, including logical and timing correctness
  • verify correctness of an enforcer implementation against its policy
  • combine multiple enforcers and resolve any inconsistencies between their behavior
  • verify that enforcers across multiple nodes of DRTS implement a global safety policy
  • deploy enforcers so that they cannot be circumvented by a well-defined attacker (i.e., has control of at least one monitored component)
  • verify that the enforcers react on time to prevent physical consequences (e.g., aircraft crash)