Safe Runtime Verification of Real-Time Properties
From MaRDI portal
Publication:3648826
DOI10.1007/978-3-642-04368-0_10zbMath1262.68111OpenAlexW1757929668MaRDI QIDQ3648826
Gordon J. Pace, Gerardo Schneider, Christian Colombo
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
Related Items
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ A brief account of runtime verification ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Runtime verification of embedded real-time systems ⋮ Runtime enforcement of timed properties revisited
Cites Work
- Unnamed Item
- Stutter-invariant temporal properties are expressible without the next-time operator
- A calculus of durations
- Transformational design of real-time systems. I: From requirements to program specifications
- Dynamical properties of timed automata
- The benefits of relaxing punctuality
- Monitoring of Real-Time Properties
