ERTMSFormalSpecs goes Open Source
Posted: 8 November 2012 | | No comments yet
ERTMS Solutions has released its ERTMSFormalSpecs product in open source, under the European Union Public License…
On the 21st of October 2012 , ERTMS Solutions has released its ERTMSFormalSpecs product (1) in open source, under the European Union Public License (2).
All stakeholders in the ERTMS industry can now use it free of charge as a reliable and formal specification of ERTMS’s subset 26.
ERTMSFormalSpecs provides a domain-specific language, designed to express the ERTMS specification in a concise and verifiable formal representation.
It is understandable by domain specialists while retaining the ability to be translated to executable representations by fully automated means.
Stanislas Pinte, ERTMS Solutions, CEO: “I am very happy to be able to make this announcement today. By releasing our ERTMSFormalSpecs under the EUPL license, we can at the same time make a massive contribution to the OpenETCS project, align our objectives with the OpenETCS consortium and further develop our ERTMSFormalSpecs service business. I am confident that, with our Open Source ERTMSFormalSpecs product, we shall be able to provide added-value services to all ERTMS implementors.”
Klaus-Rudiger Hase, DB Netz AG, Manager ETCS onboard systems and Project Leader OpenETCS: “I am very happy to see the positive side-effects of the OpenETCS Open Process and Open Proofs approach. Indeed, OpenETCS is enabling a shift in the ERTMS industry, from a license-based business model to a service-based business model. That shift is fostering competition and open standards, which are very beneficial for the end users: the railway undertakings, and, ultimately, the railway passengers. ERTMS Solutions is the first player in the ERTMS industry to initiate such a move toward Open Source by contributing 100% of their ERTMSFormalSpecs product to the Open Source community, and I hope more companies shall follow suit.”
(1) Download ERTMSFormalSpecs source code and documentation https://github.com/stanpinte/ERTMSFormalSpecs
(2) EUPL license http://joinup.ec.europa.eu/software/page/eupl
(3) OpenETCS project http://openetcs.org/
(4) Braking curves in ERTMSFormalSpecs http://www.ertmssolutions.com/files/UsingERTMSFormalSpecsToModelBrakingCurves.pdf
(5) ERTMSFormalSpecs services information [email protected]
Stay Connected with Global Railway Review — Subscribe for Free!
Get exclusive access to the latest rail industry insights from Global Railway Review — all tailored to your interests.
✅ Expert-Led Webinars – Gain insights from global industry leaders
✅ Weekly News & Reports – Rail project updates, thought leadership, and exclusive interviews
✅ Partner Innovations – Discover cutting-edge rail technologies
✅ Print/Digital Magazine – Enjoy two in-depth issues per year, packed with expert content
Choose the updates that matter most to you. Sign up now to stay informed, inspired, and connected — all for free!
Thank you for being part of our community. Let’s keep shaping the future of rail together!
