Extensible Debuggers for Extensible Languages

Pavletic, Domenik; Raza, Syed Aoun; Voelter, Markus; Kolb, Bernd; Kehrer, Timo

doi:10.1007/s40568-013-0044-y

Cited by 6 publications

(4 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…mbeddr's debugger supports step and watch on the level of the extensions [36]. While it is possible to exchange debugger backends to support on-device debugging, extensionlevel debugging is mostly used for hardware-independent test cases running on the PC, using a gdb backend.…”

Section: Additional Embedded Software Challengesmentioning

confidence: 99%

Using C language extensions for developing embedded software: a case study

Voelter¹,

Deursen

Kolb³

et al. 2015

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applicatio

Self Cite

View full text Add to dashboard Cite

We report on an industrial case study on developing the embedded software for a smart meter using the C programming language and domain-specific extensions of C such as components, physical units, state machines, registers and interrupts. We find that the extensions help significantly with managing the complexity of the software. They improve testability mainly by supporting hardware-independent testing, as illustrated by low integration efforts. The extensions also do not incur significant overhead regarding memory consumption and performance. Our case study relies on mbeddr, an extensible version of C. mbeddr, in turn, builds on the MPS language workbench which supports modular extension of languages and IDEs.

show abstract

Section: Additional Embedded Software Challengesmentioning

confidence: 99%

Using C language extensions for developing embedded software: a case study

Voelter¹,

Deursen

Kolb³

et al. 2015

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applicatio

Self Cite

View full text Add to dashboard Cite

show abstract

“…This section outlines the encoding of the LF operational semantics in terms of the four artifacts introduced in section II-B. The entire encoding can be obtained from GitHub 4 .…”

Section: B Encoding In Gemocmentioning

confidence: 99%

“…There also exists related work in the field of embedded DSLs, where the DSL is defined as syntactic sugar for the host DSL and the execution/analysis relies on the execution capabilities of the host language [4], [5], [34], [35]. In these approaches, the debugger has to do extra work to make the results understandable to the user of the DSL.…”

Section: Related Workmentioning

confidence: 99%

“…To enable a more sophisticated debugging functionality in LF, one could look at existing approaches that are developed for other domain-specific languages (DSLs) that establish a mapping between the DSL and the implementation language [4], [5]. However, since LF is polyglot, the substantial task of creating such a mapping would have to be repeated for each individual target language.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Debugging and Verification Tools for Lingua Franca in Gemoc Studio

Deantoni

Cambeiro

Bateni

et al. 2021

2021 Forum on Specification &Amp; Design Languages (FDL)

View full text Add to dashboard Cite

LINGUA FRANCA (LF) is a polyglot coordination language designed for the composition of concurrent, timesensitive, and potentially distributed reactive components called reactors. The LF coordination layer facilitates the use of target languages (e.g., C, C++, Python, TypeScript) to realize the program logic, where each target language requires a separate runtime implementation that must correctly implement the reactor semantics. Verifying the correctness of runtime implementations is not a trivial task, and is currently done on the basis of regression testing. To provide a more formal verification tool for existing and future target runtimes, as well as to help verify properties of LF programs, we recruit the use of GEMOC Studio-an Eclipse-based workbench for the development, integration, and use of heterogeneous executable modeling languages. We present an operational model for LF, realized in GEMOC Studio, that is primed to interact with a rich set of analysis and verification tools. Our instrumentation provides the ability to navigate the execution of LF programs using an omniscient debugger with graphical model animation; to check assertions in particular execution runs, or exhaustively, using a model checker; and to validate or debug traces obtained from arbitrary LF runtime environments.

show abstract