This paper presents a multi-mode debugging framework for Emfrp-based embedded applications that supports debugging at the level of Emfrp abstractions while also allowing inspection of platform-specific C/C++ I/O code.
Abstract
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.
The application of Large Language Models (LLMs) to embedded firmware development presents unique challenges: domain-specific register-level programming, stringent resource constraints, and the absence of structured validation mechanisms. Existing approaches using direct LLM-assisted coding suffer from hallucinated libr...
Zhen-Zhong Wang· 2026 2nd International Confe...· 0 citations
A debugging workflow that combines dynamic analysis with directed unit tests is introduced, and ACF, an infrastructure for automating this workflow is presented, indicating that ACF can help developers to isolate specific inputs causing an error, thus simplifying the process of locating faulty statements.
Roman Vašut, P. Parízek· Proceedings of the 14th Work...· 0 citations
This paper presents Cordell Programming Language (CPL), a compact C-like systems language that retains C's direct access to memory, layout, and machine interfaces while experimenting with a smaller grammar and selected conveniences from newer languages. Also this paper studies whether C-like are more convenient to use...
Formal specification techniques have been introduced to address the ambiguities inherent in natural-language hardware specifications. One such approach is the Universal Specification Format (USF), which provides a machine-readable, formal reference for Register-Transfer Level (RTL) verification. However, verifying agai...
Robert Kunzelmann, Raphael Kunz, Stephanie Ecker et al.· Journal of Signal Processing...· 0 citations
This paper presents a structured, reproducible methodology for the design and FPGA-based implementation of a synchronous digital clock on the open-source Alhambra II platform using IceStudio as the development environment. The proposed approach systematically integrates finite state machine specification, state transit...
Danna Paola Lozada Padilla, Carlos Daniel Zamora Pérez, Romina María Rodriguez Garcia et al.· International Journal of Com...· 0 citations
Conventional undergraduate computer architecture curricula typically prioritize microarchitectural theory validated solely through logic simulation, often omitting the complex engineering layers required for physical hardware deployment and high-level language execution. This work addresses this disparity by presenting...
Pedro Pereira Cecilio Ventura, Lucas Fernando de Souza Lima, Ilana Chaia Finger et al.· Journal of Integrated Circui...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
