WIP: Domain Specific Debugging by using RUNSTAR

Ryana Karaki (1, 2) , Ludovic Marti (1, 2) , Julien Deantoni (2, 1, 3)

1 UniCA - Université Côte d'Azur
2 KAIROS - Logical Time for Formal Embedded System Design
3 Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués

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.

Domaines: Systèmes embarqués; Génie logiciel [cs.SE]

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