Safe runtime verification of real-time properties

DOI10.1007/978-3-642-04368-0_10MaRDI QIDQ3648826zbMATH OpenOpenAlexFDO

Authors Christian Colombo, Gordon J. Pace, Gerardo Schneider

Publication date 1 December 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://www.um.edu.mt/library/oar//handle/123456789/24166

Mathematics Subject Classification ID

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

Recommendations

• Monitoring of Real-Time Properties
• Time-triggered runtime verification
• Runtime verification of embedded real-time systems
• Monitoring metric first-order temporal properties
• Runtime verification of temporal properties over out-of-order data streams

Cites work

• A calculus of durations
• Dynamical properties of timed automata
• scientific article; zbMATH DE number 995939 (Why is no real title available?)
• Monitoring of Real-Time Properties
• Stutter-invariant temporal properties are expressible without the next-time operator
• The benefits of relaxing punctuality
• Transformational design of real-time systems. I: From requirements to program specifications

Cited in

(10)

• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Time-triggered runtime verification
• A brief account of runtime verification
• scientific article; zbMATH DE number 1744961 (Why is no real title available?)
• Optimal enforcement of (timed) properties with uncontrollable events
• Runtime verification of embedded real-time systems
• Runtime enforcement of timed properties revisited
• Refining the Safety-Liveness Classification of Temporal Properties According to Realizability
• Runtime Verification: Passing on the Baton
• Online monitoring of metric temporal logic using sequential networks

This page was built for publication: Safe runtime verification of real-time properties

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