Runtime enforcement of timed properties revisited

DOI10.1007/S10703-014-0215-YMaRDI QIDQ487258zbMATH OpenOpenAlexFDO

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

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

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)

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

Cites work

• A theory of timed automata
• Algorithms for monitoring real-time properties
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Enforceable Security Policies Revisited
• From MITL to Timed Automata
• From \textsc{mtl} to deterministic timed automata
• Parametric Trace Slicing and Monitoring
• Quantified event automata: towards expressive and efficient runtime monitors
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of timed properties revisited
• Safe runtime verification of real-time properties
• Theoretical Aspects of Computing - ICTAC 2004
• Uppaal in a nutshell

Cited in

(15)

• 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
• Monitoring timed properties (revisited)
• Compositional runtime enforcement revisited
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Runtime enforcement of hyperproperties
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Enforcement of (timed) properties with uncontrollable events
• 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

Describes a project that uses

Uses Software

• AMT
• LARVA
• Uppaal

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)