Please use this identifier to cite or link to this item:
|A practical approach to runtime verification of real-time properties for Java programs
Pace, Gordon J.
Computer software -- Development
Real-time data processing
|University of Malta. Faculty of Information and Communication Technology
|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.
|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:
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.