Skip to Main content Skip to Navigation
Conference papers

WIP: Domain Specific Debugging by using RUNSTAR

Ryana Karaki 1, 2 Ludovic Marti 1, 2 Julien Deantoni 2, 1, 3
2 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The following work in progress aims to assist language designers by giving them the ability to specify the domain decoration of concrete program representations while debugging, thanks to the RUNSTAR domain-specific language. Two addons are developed alongside in the GEMOC Studio, exploring the possibilities offered by the Xtext and KLighD frameworks.
Complete list of metadata

https://hal.inria.fr/hal-03375006
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, October 12, 2021 - 2:25:25 PM
Last modification on : Wednesday, October 13, 2021 - 3:35:49 AM

File

DSL_debugging_by_non_intrusive...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03375006, version 1

Collections

Citation

Ryana Karaki, Ludovic Marti, Julien Deantoni. WIP: Domain Specific Debugging by using RUNSTAR. Work in Progress of the 2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France. ⟨hal-03375006⟩

Share

Metrics

Record views

50

Files downloads

36