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

CONTENIDO PARA USUARIOS REGISTRADOS

Inicia sesión para disfrutar este recurso. Si aún no estás afiliado a BibloRed, haz clic en el botón.

Descripción: Este artículo presenta el diseño de una librería de modelado de transacciones SystemC que puede utilizarse para la afirmación de propiedades del sistema, el cumplimiento de protocolos o la inyección de fallos. La librería utiliza ganchos de tablas virtuales C como técnica de instrumentación binaria dinámica para inline wrappers en la ruta de transacciones TLM2. Esta técnica puede aplicarse después de la fase de elaboración y no necesita ni modificaciones del código fuente ni recompilación de los módulos SystemC de nivel superior. La técnica propuesta se ha aplicado con éxito a la verificación de la robustez del software de arranque a bordo de la Unidad de Control de Instrumentos del Detector de Partículas Energéticas del Solar Orbiter.
Citación recomendada (normas APA)
: Hindawi Publishing Corporation, "Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation", -:Revista VirtualPRO,, 2014. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/3887079/), el día 2025-08-28.

Información adicional