Please use this identifier to cite or link to this item:
|Title:||LARVA - safer monitoring of real-time Java programs (tool paper)|
Pace, Gordon J.
Computer software -- Development
Real-time data processing
Computer programs -- Verification
|Publisher:||Institute of Electrical and Electronics Engineers Inc.|
|Citation:||Colombo, C., Pace, G. J., & Schneider, G. (2009). LARVA - safer monitoring of real-time Java programs (tool paper). Third IEEE International Conference on Software Engineering and Formal Methods, Hanoi. 1-5.|
|Abstract:||The use of runtime verification, as a lightweight approach to guarantee properties of systems, has been increasingly employed on real-life software. In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including timed-automata enriched with stopwatches, Lustre, and a subset of the duration calculus. The tool has been successfully used on a number of case-studies, including an industrial system handling financial transactions. LARVA also performs analysis of real-time properties, to calculate, if possible, an upper-bound on the memory and temporal overheads induced by monitoring. Moreover, through property analysis, LARVA assesses the impact of slowing down the system through monitoring, on the satisfaction of the properties.|
|Appears in Collections:||Scholarly Works - FacICTCS|
Files in This Item:
|LARVA_---_Safer_Monitoring_of_Real-Time_Java_Progr.pdf||53.93 kB||Adobe PDF||View/Open|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.