Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing

• URL: http://arxiv.org/abs/2509.01318v1
• Date: Mon, 01 Sep 2025 10:03:11 GMT
• Title: Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
• Authors: Chiara Ghinami, Jonas Winzer, Nils Bosbach, Lennart M. Reimann, Lukas Jünger, Simon Wörner, Rainer Leupers,
• Abstract summary: SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability.<n>We present a framework that allows the integration of American-Fuzzy-Lop-based fuzzers and SystemC-based simulators.
• Score: 1.4764499873402919
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability, reducing the time-to-market and improving software reliability. Recently, fuzzing has become a popular method for automated software testing due to its ability to quickly identify corner-case errors. However, its application to embedded software is still limited. Simulator tools can help bridge this gap by providing a more powerful and controlled execution environment for testing. Existing solutions, however, often tightly couple fuzzers with built-in simulators that lack support for hardware peripherals and of- fer limited flexibility, restricting their ability to test embedded software. To address these limitations, we present a framework that allows the integration of American-Fuzzy-Lop-based fuzzers and SystemC-based simulators. The framework provides a harness to decouple the adopted fuzzer and simulator. In addition, it intercepts peripheral accesses and queries the fuzzer for values, effectively linking peripheral behavior to the fuzzer. This solution enables flexible interchangeability of peripher- als within the simulation environment and supports the interfacing of different SystemC-based virtual prototypes. The flexibility of the pro- posed solution is demonstrated by integrating the harness with different simulators and by testing various softwares.

Related papers

• Toward Automated Virtual Electronic Control Unit (ECU) Twins for Shift-Left Automotive Software Testing [0.0]
  Automotive software increasingly outpaces hardware availability, forcing late integration and expensive hardware-in-the-loop (HiL) bottlenecks.<n>InnoRegioChallenge investigated whether a virtual test and integration environment can reproduce electronic control unit (ECU) behavior early enough to run real software binaries before physical hardware exists.<n>We report a prototype that generates instruction-accurate processor models in SystemC/TLM2.0 using an agentic, feedback-driven workflow.
  arXiv  Detail & Related papers  (2026-02-20T11:03:46Z)
• RAPID: Reconfigurable, Adaptive Platform for Iterative Design [3.8103821995386356]
  RAPID is a tool-free, modular hardware architecture that unifies handheld data collection and robot deployment.<n>Physical Mask exposes modality presence as an explicit runtime signal.<n>System-centric experiments show that RAPID reduces the setup time for multi-modal configurations by two orders of magnitude.
  arXiv  Detail & Related papers  (2026-02-06T12:28:46Z)
• Plug-and-Play Benchmarking of Reinforcement Learning Algorithms for Large-Scale Flow Control [61.155940786140455]
  Reinforcement learning (RL) has shown promising results in active flow control (AFC)<n>Current AFC benchmarks rely on external computational fluid dynamics (CFD) solvers, are not fully differentiable, and provide limited 3D and multi-agent support.<n>We introduce FluidGym, the first standalone, fully differentiable benchmark suite for RL in AFC.
  arXiv  Detail & Related papers  (2026-01-21T14:13:44Z)
• EasySteer: A Unified Framework for High-Performance and Extensible LLM Steering [55.56674028743782]
  Large language model (LLM) steering has emerged as a promising paradigm for controlling model behavior at inference time.<n>We present EasySteer, a unified framework for high-performance, LLM steering built on vLLM.
  arXiv  Detail & Related papers  (2025-09-29T17:59:07Z)
• FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version) [18.25411318855939]
  We propose FlexEmu, a flexible MCU peripheral emulation framework.<n>We have successfully applied FlexEmu to model 12 kinds of MCU peripherals.<n>Our evaluation on 90 firmware samples across 15 different MCU platforms shows that the automatically generated emulators can faithfully replicate hardware behaviors.
  arXiv  Detail & Related papers  (2025-09-09T11:38:30Z)
• FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping [0.1747623282473278]
  To develop software without requiring access to physical hardware, full-system simulators are commonly used.<n>SystemC lacks native FMI support, which limits the integration into broader co-simulation environments.<n>This paper presents a novel framework to control and interact with SystemC-based VPs using the FMI.
  arXiv  Detail & Related papers  (2025-07-24T12:11:47Z)
• MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework [0.4972323953932129]
  MultiCoSim is a Python-based simulation framework that enables users to define, compose, and configure simulation components.<n>CPS inherently integrate hardware, software, and physical processes.<n>Existing simulation tools often rely on rigid configurations, lack automation support, and present obstacles to portability and modularity.
  arXiv  Detail & Related papers  (2025-06-12T16:31:39Z)
• Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time [57.30651532625017]
  We present a novel hybrid method that integrates numerical simulation, neural physics, and generative control.<n>Our system demonstrates robust performance across diverse 2D/3D scenarios, material types, and obstacle interactions.<n>We promise to release both models and data upon acceptance.
  arXiv  Detail & Related papers  (2025-05-25T01:27:18Z)
• Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software [4.14360329494344]
  This paper presents the design, development, and application of a novel space simulation environment.<n>The environment combines the flexibility, determinism, and observability of software-only simulation with the fidelity and depth normally attained only by real-time hardware-in-the-loop testing.
  arXiv  Detail & Related papers  (2025-05-18T17:32:40Z)
• Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
  We present TSLGen, a novel end-to-end framework for generating an SIMD abstraction library. We show that our framework is comparable to existing libraries, and we achieve the same performance results.
  arXiv  Detail & Related papers  (2024-07-26T13:25:38Z)
• StableToolBench: Towards Stable Large-Scale Benchmarking on Tool Learning of Large Language Models [74.88844320554284]
  We introduce StableToolBench, a benchmark evolving from ToolBench.<n>The virtual API server contains a caching system and API simulators which are complementary to alleviate the change in API status.<n>The stable evaluation system designs solvable pass and win rates using GPT-4 as the automatic evaluator to eliminate the randomness during evaluation.
  arXiv  Detail & Related papers  (2024-03-12T14:57:40Z)
• In Situ Framework for Coupling Simulation and Machine Learning with Application to CFD [51.04126395480625]
  Recent years have seen many successful applications of machine learning (ML) to facilitate fluid dynamic computations. As simulations grow, generating new training datasets for traditional offline learning creates I/O and storage bottlenecks. This work offers a solution by simplifying this coupling and enabling in situ training and inference on heterogeneous clusters.
  arXiv  Detail & Related papers  (2023-06-22T14:07:54Z)
• FL_PyTorch: optimization research simulator for federated learning [1.6114012813668934]
  Federated Learning (FL) has emerged as a promising technique for edge devices to collaboratively learn a shared machine learning model. FL_PyTorch is a suite of open-source software written in python that builds on top of one the most popular research Deep Learning (DL) framework PyTorch.
  arXiv  Detail & Related papers  (2022-02-07T12:18:28Z)
• Sim-to-Real Transfer in Multi-agent Reinforcement Networking for Federated Edge Computing [11.3251009653699]
  Federated Learning (FL) over wireless multi-hop edge computing networks is a cost-effective distributed on-device deep learning paradigm. This paper presents FedEdge simulator, a high-fidelity Linux-based simulator, which enables fast prototyping, sim-to-real code, and knowledge transfer for multi-hop FL systems.
  arXiv  Detail & Related papers  (2021-10-18T00:21:07Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.