Runtime enforcement with reordering, healing, and suppression

DOI10.1007/978-3-030-92124-8_3MaRDI QIDQ6041274zbMATH OpenFDO

Authors Yliès Falcone, Gwen Salaün

Publication date 26 May 2023

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-92124-8_3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On runtime enforcement via suppressions
• On bidirectional runtime enforcement
• Compositional runtime enforcement revisited
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Predictive runtime enforcement
• Runtime enforcement of hyperproperties
• Runtime enforcement of timed properties revisited

Cites work

• A brief account of runtime verification
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Counterexample guided synthesis of monitors for realizability enforcement
• Organising LTL monitors over distributed systems with a global clock
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime Verification over Out-of-order Streams
• Which security policies are enforceable by runtime monitors? A survey

Cited in

(2)

• Runtime enforcement using knowledge bases
• Runtime enforcement with event reordering

This page was built for publication: Runtime enforcement with reordering, healing, and suppression

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041274)