Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24154
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Schneider, Gerardo | - |
dc.date.accessioned | 2017-11-23T13:29:39Z | - |
dc.date.available | 2017-11-23T13:29:39Z | - |
dc.date.issued | 2009 | - |
dc.identifier.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. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/24154 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Aspect-oriented programming | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Real-time data processing | en_GB |
dc.subject | Computer programs -- Verification | en_GB |
dc.title | LARVA - safer monitoring of real-time Java programs (tool paper) | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | Third IEEE International Conference on Software Engineering and Formal Methods | en_GB |
dc.bibliographicCitation.conferenceplace | Hanoi, Vietnam, 23-27/11/2009 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1109/SEFM.2009.13 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
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.