2010 | OriginalPaper | Buchkapitel
Clara: Partially Evaluating Runtime Monitors at Compile Time
Tutorial Supplement
verfasst von : Eric Bodden, Patrick Lam
Erschienen in: Runtime Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Clara
is a novel static-analysis framework for partially evaluating finite-state runtime monitors at compile time.
Clara
uses static typestate analyses to automatically convert any AspectJ monitoring aspect into a residual runtime monitor that only monitors events triggered by program locations that the analyses failed to prove safe. If the static analysis succeeds on all locations, this gives strong static guarantees. If not, the efficient residual runtime monitor is guaranteed to capture property violations at runtime. Researchers can use
Clara
with most runtime-monitoring tools that implement monitors as AspectJ aspects.
In this tutorial supplement, we provide references to related reading material that will allow the reader to obtain in-depth knowledge about the context in which
Clara
can be applied and about the techniques that underlie the
Clara
framework.