Skip to Main content Skip to Navigation
New interface
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
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, October 12, 2021 - 2:25:25 PM
Last modification on : Thursday, August 4, 2022 - 4:59:30 PM
Long-term archiving on: : Thursday, January 13, 2022 - 8:22:02 PM


  • HAL Id : hal-03375006, version 1



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⟩



Record views


Files downloads