JPL Technical Report Server

Aspect-oriented monitoring of C programs

Show simple item record

dc.contributor.author Havelund, Klaus
dc.contributor.author Van Wyk, Eric
dc.date.accessioned 2011-06-21T14:23:10Z
dc.date.available 2011-06-21T14:23:10Z
dc.date.issued 2008-04-01
dc.identifier.citation 3rd Domain-Specific Aspect Languages Workshop, Brussels, Belgium, April 01, 2008 en_US
dc.identifier.clearanceno 08-1503
dc.identifier.uri http://hdl.handle.net/2014/41750
dc.description.abstract The paper presents current work on extending ASPECTC with state machines, resulting in a framework for aspect-oriented monitoring of C programs. Such a framework can be used for testing purposes, or it can be part of a fault protection strategy. The long term goal is to explore the synergy between the fields of runtime verification, focused on program monitoring, and aspect-oriented programming, focused on more general program development issues. The work is inspired by the observation that most work in this direction has been done for JAVA, partly due to the lack of easily accessible extensible compiler frameworks for C. The work is performed using the SILVER extensible attribute grammar compiler framework, in which C has been defined as a host language. Our work consists of extending C with ASPECTC, and subsequently to extend ASPECTC with state machines. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2008. en_US
dc.subject runtime verifications en_US
dc.subject state machines en_US
dc.subject aspect oriented programming en_US
dc.title Aspect-oriented monitoring of C programs en_US
dc.type Preprint en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account