Industrial Application of Domain Specific Languages Combined with Formal Techniques

Mathijs Schuts and Jozef Hooman

Proc. Workshop on Real World Domain Specific Languages (RWDSL), The International Symposium on Code Generation and Optimization (CGO), pages 2:1-2:8, 2016.


Two Domain Specific Languages (DSLs) have been developed to improve the development of a power control component of interventional X-ray systems of Philips. Configuration files and test cases are generated from instances of these DSLs. To increase the confidence in these instances and the generators, formal models have been generated to analyse DSL instances and to cross-check the results of the generators. A DSL instance serves as a single source from which the implementation and the formal analysis models are generated. In this way, it is easy to maintain the formal support in case of changes and for new product releases. We report about our experiences with this approach in a real development project at Philips.