Please use this identifier to cite or link to this item:
Title: Safe runtime verification of real-time properties
Other Titles: Formal modeling and analysis of timed systems. FORMATS 2009. Lecture notes in computer science
Authors: Colombo, Christian
Pace, Gordon J.
Schneider, Gerardo
Keywords: Aspect-oriented programming
Computer software -- Development
Real-time data processing
Issue Date: 2009
Publisher: Springer, Berlin, Heidelberg
Citation: Colombo, C., Pace, G. J., & Schneider, G. (2009). Safe runtime verification of real-time properties. In J. Ouaknine, & F.W. Vaandrager (Eds.), Formal modeling and analysis of timed systems. FORMATS 2009. Lecture notes in computer science (pp. 1-15). Berlin, Heidelberg: Springer.
Abstract: Introducing a monitor on a system typically changes the system’s behaviour by slowing the system down and increasing memory consumption. This may possibly result in creating new bugs, or possibly even ‘fixing’ bugs, only to reappear as the monitor is removed. Properties written in a real-time logic, such as duration calculus, can be particularly sensitive to such changes induced through monitoring. The same problem occurs in other scenarios such as when a system is ported to a faster machine. In this paper, we identify a class of real-time properties, in duration calculus, which are monotonic under the slowing down (speeding up) of the underlying system. We apply this approach to the real-time runtime monitoring tool Larva, where we use duration calculus as a monitoring property specification language, so we automatically identify properties which can be shown to be monotonic with respect to system re-timing.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Safe_Runtime_Verification_of_Real-Time_Properties.pdf162.14 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.