Files in this item

FilesDescriptionFormat

application/pdf

application/pdfjin-meredith-rosu-2012-tr.pdf (275kB)
(no description provided)PDF

Description

Title:Scalable Parametric Runtime Monitoring
Author(s):Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore
Subject(s):Runtime Monitoring
Scalability
Abstract:Runtime monitoring is an effective means to improve the reliability of systems. In recent years, parametric monitoring, which is highly suitable for object-oriented systems, has gained significant traction. Previous work on the performance of parametric runtime monitoring has focused on the performance of monitoring only one specification at a time. A realistic system, however, has numerous properties that need to be monitored simultaneously. This paper introduces scalable techniques to improve the performance of one of the fastest parametric monitoring systems, JavaMOP, in the presence of multiple simultaneous properties, resulting in average runtime overheads that are less than the summation of the overheads of the properties run in isolation. An extensive evaluation shows that these techniques, which were derived following a thorough investigation and analysis of the current bottlenecks in JavaMOP, improve its runtime performance in the presence of multiple properties by up to two times and the memory usage by 34%
Issue Date:2012-04-24
Genre:Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/30757
Publication Status:published or submitted for publication
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2012-04-24


This item appears in the following Collection(s)

Item Statistics