Runtime enforcement of timed properties revisited

DOI10.1007/S10703-014-0215-YzbMATH Open1314.68102OpenAlexW1973223152MaRDI QIDQ487258FDOQ487258

Thierry Jéron, H. Marchand, Srinivas Pinisetty, Yliès Falcone, Omer Nguena Timo, Antoine Rollet

Publication date: 19 January 2015

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

Full work available at URL: https://hal.inria.fr/hal-01088136/file/fmsd2.pdf

Recommendations

• Enforcement of (timed) properties with uncontrollable events
• Optimal enforcement of (timed) properties with uncontrollable events
• Runtime enforcement of timed properties using games
• Compositional runtime enforcement revisited
• Predictive runtime enforcement

zbMATH Keywords

timed automataruntime verificationsoftware engineeringruntime enforcementtimed properties

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Uppaal in a nutshell
• A theory of timed automata
• From MITL to Timed Automata
• From Mtl to Deterministic Timed Automata
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Runtime enforcement of timed properties revisited
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Safe runtime verification of real-time properties
• Algorithms for monitoring real-time properties
• Enforceable Security Policies Revisited
• Parametric Trace Slicing and Monitoring
• Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
• Theoretical Aspects of Computing - ICTAC 2004

Cited In (12)

• Bounded-memory runtime enforcement with probabilistic and performance analysis
• Decentralized LTL enforcement
• Gate automata-driven run-time enforcement
• Runtime enforcement of timed properties revisited
• Runtime enforcement with reordering, healing, and suppression
• Compositional runtime enforcement revisited
• Monitoring timed properties (revisited)
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• On first-order runtime enforcement of branching-time properties
• Predictive runtime enforcement
• Runtime enforcement of timed properties using games
• Optimal enforcement of (timed) properties with uncontrollable events

Uses Software

• Uppaal
• LARVA
• AMT

This page was built for publication: Runtime enforcement of timed properties revisited

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