Introspection mechanisms for runtime verification in a system-level design environment

Metzger, M.; Anane, Amine; Rousseau, Frédéric; Vachon, Julie; Aboulhamid, E.M.

doi:10.1016/j.mejo.2008.04.010

Cited by 4 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They first identified the need of code introspection for debugging and verification purposes but, for them, it came at no cost since C# (from which .NET was derived) natively supports reflection. A more complete study about their implementation can be seen in [28], where the authors claim that ESys.NET can achieve introspection without modification on the model and on simulator, thus enabling runtime model interaction.…”

Section: Related Workmentioning

confidence: 99%

Computational reflection and its application to platform verification

Albertini

Rigo

Araújo

2012

Des Autom Embed Syst

View full text Add to dashboard Cite

The complexity of modern hardware design has created the need for higher levels of abstraction, where system modeling is used to integrate modules into complex Systemon-Chip (SoCs) platforms. SystemC, and its TLM (Transaction Level Modeling) extensions, have been used for this purpose mainly because of their fast prototyping and simulation features, which allow for early design space exploration. This paper proposes an approach to explore and interact with SystemC models by means of an introspection technique known as Computational Reflection. We use reflection to implement a white-box introspection mechanism called ReflexBox. We show that ReflexBox is a fast, non-intrusive technique that can be used to dynamically gather and inject stimuli into any SystemC module, without the need to use a proprietary SystemC implementation, change the SystemC library, instrument or even inspect the module source code. Our approach can be used to support many different verification tasks like platform debugging, performance evaluation and communication analysis. To show ReflexBox effectiveness we used it in three platforms case studies to address tasks like register inspection, performance analysis and signal replaying for testbench reuse. In all cases we assumed no source code availability and measured the impact on the overall platform performance.

show abstract

Section: Related Workmentioning

confidence: 99%