This repository hosts a tool to generate formalized ReqIF files from the ETCS Specification "Subset-026" available as Microsoft Word. Preconverted ReqIF files may be found in this supplemental repository.
The tool itself is licenced under the EUPL V.1.1. It makes use of
- Apache POI which is licenced under Apache Licence 2.0
- The Stanford NLP Parser licenced under GPLv2
This software was written in the frame of the ITEA2 project openETCS. Besides the included Javadoc, there is extensive documentation available through an accompanying Diploma Thesis:
On the domain-specific formalization of requirement specifications - A case study of ETCS
This paper is available online (persistent deep link | Metadata).
