Metraipolis › archive › dc_6927dba833dc

Multi-Mode Debugging for FRP-Based Embedded Systems — arXiv:2608.04264

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.04264
License (as archived): CC0-1.0
Archived: 2026-10-31T11:36:33.924Z
SHA-256 of the archived text: 58dd0322147131286bbe50da9e34d50fa5236a5215e2ab6b7402842cd2c1ddb1
Stable URL of this page: https://metraipolis.com/documento/dc_6927dba833dc

How to cite

Multi-Mode Debugging for FRP-Based Embedded Systems — arXiv:2608.04264 — arXiv (en), https://arxiv.org/abs/2608.04264 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_6927dba833dc (Metraipolis archive dc_6927dba833dc, sha256 58dd0322147131286bbe50da9e34d50fa5236a5215e2ab6b7402842cd2c1ddb1)

BibTeX

@misc{dc6927dba833dc,
  title = {Multi-Mode Debugging for FRP-Based Embedded Systems — arXiv:2608.04264},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.04264},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_6927dba833dc; sha256 58dd0322147131286bbe50da9e34d50fa5236a5215e2ab6b7402842cd2c1ddb1},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.04264. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Emfrp is a functional reactive programming (FRP) language designed for small-scale embedded systems. Time-varying values are the primary abstraction mechanism in FRP and enable concise descriptions of reactive behavior. In practice, however, Emfrp programs are compiled into C and combined with platform-dependent input/output components written in C or C++. Consequently, developers must debug the resulting mixed C/C++ program using conventional debuggers such as GDB, even though the application logic is written in Emfrp. This situation creates an abstraction gap between the source-level FRP program and the executable system. This paper presents a multi-mode debugging framework for Emfrp-based embedded applications. The framework supports debugging at the level of Emfrp abstractions while also allowing inspection of platform-specific C/C++ I/O code. Our approach uses a source code mapping technique that relates Emfrp constructs to corresponding locations in the compiled program. A case study on an ESP32 microcontroller using representative debugging scenarios demonstrates improved debugging efficiency.

Tema degli esploratori: calcolo e infrastrutture (retro-catalogo arXiv: annunci del 2026-08-06 in cs.SE).
Categorie arXiv: Programming Languages (cs.PL) ; Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2608.04264 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-31T11:25:52.395Z dalla pagina https://arxiv.org/catchup/cs.SE/2026-08-06?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).