Please use this identifier to cite or link to this item:
Title: A practical approach to runtime verification of real-time properties for Java programs
Authors: Colombo, Christian
Pace, Gordon J.
Schneider, Gerardo
Keywords: Aspect-oriented programming
Computer software -- Development
Real-time data processing
Computer security
Issue Date: 2008
Publisher: University of Malta. Faculty of Information and Communication Technology
Citation: Colombo, C., Pace, G. J., & Schneider, G. (2008). A practical approach to runtime verification of real-time properties for Java programs. University of Malta Workshop in ICT (WICT'08), Msida. 1-6.
Abstract: Given the intractability of exhaustively verifying soft-ware, the use of runtime-verification to verify single execution paths at runtime, is becoming increasingly popular in industrial settings. In this paper we present dynamic communicating automata with timers and events to describe properties of systems, implemented in LARVA, an event-based runtime verification tool for monitoring temporal and contextual properties of Java programs. We give the mathematical framework behind LARVAand show how real time logics can be trans-lated into LARVAproviding additional benefits to the runtime monitoring framework. These benefits include guarantees on the memory upperbound required for the monitoring system and guarantees on the effect of varying the execution speed of the system with regards to real-time properties. Index Terms runtime verification, real-time properties, duration cal-culus 1.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
A_Practical_Approach_to_Runtime_Verification_of_Re.pdf164.91 kBAdobe PDFView/Open

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