Until now, our ERTMSFormalSpecs workbench has been used to model and animate ERTMS specifications for onboard units. Mainly as a braking curves comparison tool.
A new idea popped-up in the framework of Rail-Mil Computers’ CBTC project in Poland. What if we could use ERTMSFormalSpecs as an essential tool for CBTC braking curves determination?
Rail-Mil Computers is working on a CBTC class automatic train control system, based on unique bi-directional wireless data transmission and inter-operational ETCS components. The objective of this project is to increase the efficiency and safety level in the agglomeration rail transport in the framework of Smart Growth Operational Program 2014-2020.
Our collaboration for these CBTC developments consisted in:
- The explanation of the algorithm and all the parameters to be taken into account for the implementation of ERTMSFormalSpecs braking curves in the SCADE suite model-based development environment for critical embedded software by Rail-Mil
- The delivery of scripts for SCADE implementation by comparing its results with the results of ERTMSFormalSpecs
To do so, we had to add new functionalities to the original ERTMSFormalSpecs:
- Integrate Rail-Mil Computers’ input script and transforms into an ERTMSFormalSpecs scenario
- Play each scenario with ERTMSFormalSpecs and generate the output scripts needed to test their Scade implementation by comparing their results with the results from ERTMSFormalSpecs.
For this, Rail-Mil initialized their software with a script and extracted the results of the calculations in the form of other scripts:
- In input:
- In output:
Should you have any questions regarding this project, please contact firstname.lastname@example.org
Rail-Mil Computers Sp. z o.o. Sp.k. is a Polish company operating mainly in the field of electronics and industrial automation. They focus on offering complete, innovative and world-class solutions for railway and military sectors based on hardware of our own production or purchased from reputable foreign partners.