Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation | Zendy

Antônio da Silva | Zendy; Pablo Parra | Zendy; Óscar R. Polo | Zendy; Sebastián Sánchez | Zendy

Open Access

Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation

Author(s) -

Antônio da Silva,

Pablo Parra,

Óscar R. Polo,

Sebastián Sánchez

Publication year - 2014

Publication title -

modelling and simulation in engineering

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.264

H-Index - 20

eISSN - 1687-5591

pISSN - 1687-5605

DOI - 10.1155/2014/105051

Subject(s) - systemc , transaction level modeling , computer science , embedded system , instrumentation (computer programming) , embedded software , software , operating system

This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary instrumentation technique to inline wrappers in the TLM2 transaction path. This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique has been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the Solar Orbiter’s Energetic Particle Detector

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research