Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation
| Autor: | Antonio da Silva, Pablo Parra, Óscar R. Polo, Sebastián Sánchez |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | Modelling and Simulation in Engineering, Vol 2014 (2014) |
| Druh dokumentu: | article |
| ISSN: | 1687-5591 1687-5605 |
| DOI: | 10.1155/2014/105051 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|