NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Aspect-Oriented Monitoring of C ProgramsThe 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.
Document ID
20110013196
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Havelund, Klaus
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
VanWyk, Eric
(Minnesota Univ. Minneapolis, MN, United States)
Date Acquired
August 25, 2013
Publication Date
April 1, 2008
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 3rd Domain-Specific Aspect Languages Workshop
Location: Brussels
Country: Belgium
Start Date: April 1, 2008
Distribution Limits
Public
Copyright
Other
Keywords
runtime verifications
aspect oriented programming
state machines

Available Downloads

There are no available downloads for this record.
No Preview Available