Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
This work provides a solution for improving the uptake of formal methods in industry, specifically for verifying railway scheme plans, but it appears incremental as it builds on existing formal methods research.
The paper tackles the challenge of integrating formal methods into industrial practices by introducing a methodology for developing domain specific languages for modeling and verification, and demonstrates its successful application in the railway domain to address issues like faithful modeling and scalability.
The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of formal methods into industrial practices. This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry. It illustrates the successful application of this methodology within the railway domain. The presented methodology addresses issues surrounding faithful modelling, scalability of verification and accessibility to modelling and verification processes for practitioners within the domain.