Industrial application of domain specific languages combined with formal techniques
conference paper
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 crosscheck 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.
TNO Identifier
546191
ISBN
9781450340519
Publisher
Association for Computing Machinery
Article nr.
a2
Source title
1st International Workshop on Real World Domain Specific Languages, RWDSL 2016, 12 March 2016
Files
To receive the publication files, please send an e-mail request to TNO Repository.