From MSL to dezyne : an industrial application of QVTo

At Philips Image Guided Therapy (IGT), we have developed a Domain Specific Language (DSL) that describes the behaviour of one of the subsystems of our interventional X-ray system. With the current implementation of our DSL we are able to generate C++ code that is integrated in our product software. As a next evolutionary step for our DSL, we would like to benefit from the features the Dezyne toolset offers, like C++ code generation and model checking. If all model checks pass, we know that the generated C++ code is free of certain issues. We present a model to model transformation developed in QVTo, that transforms our own DSL called the Movement Specification Language (MSL) to another DSL called Dezyne. To avoid confidentiality issues, we use a Lego robot example to explain the MSL.

---

Opracowanie rekordu ze środków MEiN, umowa nr SONP/SP/546092/2022 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2022-2023).