Aspect-oriented monitoring of C programs

Havelund, Klaus; Van Wyk, Eric

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