Industrial Application of Formal Models Generated from Domain Specific Languages

Jozef Hooman

Appeared in: Theory and Practice of Formal Methods - de Boer Festschrift, LNCS 9660, pages 277–293, Springer International Publishing, 2016.

ABSTRACT

Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the initial modelling effort. Since DSLs can be used to capture essential domain information at a high level of abstraction, this supports formal verification early in the development process. We discuss our experiences with this approach in a number of real industrial development projects.