Our article "InterAspect: Aspect-Oriented Instrumentation with GCC appears," appearing in the Formal Methods in System Design (FMSD) special issue on runtime verification, discusses how we extended the InterAspect API with a new tracecut framework. The article is available online from SpringerLink

and from our publications section (PDF).

Release 1.1 of InterAspect, our Open Source GCC plug-in framework, includes new tracecut features for designing complete runtime monitors, in addition to several other new features. The new version is available from the InterAspect web site.

We presented "Runtime Verification with State Estimation" (RVSE) at Runtime Verification 2011, where it was awarded Best Paper. RVSE is a technique that estimates the probability that a temporal property is satisfied by a run of a program when there are gaps in the observed execution due to event sampling. The conference paper is available in our publications section (PDF).

Our article "Software Monitoring with Controllable Overhead," published in Software Tools for Technology Transfer, details our advances in applying control theory to enforce overhead bounds on runtime monitors. The full article is available from our publications section (PDF), and from SpringerLink.

The InterAspect framework, which we presented at Runtime Verification 2010, is now released as an Open Source project under the GPLv3. InterAspect is a framework for developing GCC plug-ins that perform runtime instrumentations, specifed in terms of Aspect-Oriented Programming. The source is availabe at the InterAspect website.

Stony Brook-JPL collaboration essential in formulating design and specification of the AOP API for the GCC compiler collection. Basing this API on the GCC plug-in architecture has enabled us to develop a flexible AOP framework in which custom code (advice) can be attached to each joinapoint (instrumentation site)

In the past 7 months, we have been busy implementing a variety of controllers (integrative and proportional, hierarchical and global) that ensure the overhead due to monitoring does not exceed a user-specified target; extensive benchmarking using the SPEC benchmark suite

Our AOP API will provide the software instrumentation component for a software visualization project by the JPL MSL Flight Software team.

Through extensive experimentation, we have succeeded in reducing the unavoidable base overhead associated with SMCO from 18-20% to a very acceptable 1-4%