Resumen

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.

• Materias:Modelado Sensores inalámbricos Parámetros de control Metamodelos Multimedia metamodelo Sistema de control
• Subjects:Modeling Wireless sensors Control parameters Metamodels Multimedia metamodel Control system
• Palabras claves:Biblioteca envolvente de modelado a nivel de transacciones SystemC, técnica de instrumentación binaria dinámica, módulos SystemC de nivel superior, detector de partículas energéticas, unidad de control de instrumentos, ruta de transacciones TLM2, software de arranque de la placa, modificaciones del código fuente, ganchos de tablas virtuales, técnica
• Keywords:SystemC transaction level modelling wrapping library, dynamic binary instrumentation technique, top level SystemC modules, Energetic Particle Detector, Instrument Control Unit, TLM2 transaction path, board boot software, source code modifications, virtual table hooks, technique