Runtime enforcement monitors: Composition, synthesis, and enforcement abilities

DOI10.1007/s10703-011-0114-4zbMath1219.68089OpenAlexW2028720147MaRDI QIDQ548696

Yliès Falcone, Jean-Claude Fernandez, Jean-Luc Richier, Laurent Mounier

Publication date: 30 June 2011

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-011-0114-4

zbMATH Keywords

compositionruntime enforcementmonitormonitor synthesissafety-progress classification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

Runtime enforcement of hyperproperties ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Predictive runtime enforcement ⋮ Runtime enforcement with reordering, healing, and suppression ⋮ On first-order runtime enforcement of branching-time properties ⋮ Enforcement and validation (at runtime) of various notions of opacity ⋮ Compositional runtime enforcement revisited ⋮ Real-time policy enforcement with metric first-order temporal logic ⋮ Runtime enforcement of timed properties using games ⋮ Unnamed Item ⋮ Runtime enforcement of timed properties revisited ⋮ A process calculus approach to detection and mitigation of PLC malware

Uses Software

• Valgrind
• BCEL

Cites Work

• Defining liveness
• A brief account of runtime verification
• Proving the Correctness of Multiprocess Programs

This page was built for publication: Runtime enforcement monitors: Composition, synthesis, and enforcement abilities