The project FormbaR, “Formalisierung von betrieblichen und anderen Regelwerken”, is developed by DB Netz AG, the Software Engineering Group and the Institute of Railway Engineering at the Technische Universität Darmstadt within the AG Signalling/DB RailLab, part of the Innovationsallianz between Deutschen Bahn AG and the Technische Universität Darmstadt.
The project aims to provide a uniform model of operational and technical rulebooks for railroad operations. The model will allow automatic analysis with formal methods for properties like deadlock-freedom and throughput, but also be simulatable.
Furthermore the model must be automatically accessible with a description of a concrete situation in case of deviation from the normal operation.
ABS Workshop 2018 hosted by FormbaR- The 2nd International Workshop on the ABS Modeling Language and Tools will be held from 28.05.2018 to 30.05.2018 at the Department of Computer Science, Technische [...] Paper Accepted at RSSRail’17- The paper “Deductive Verification of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the International Conference Reliability, Safety and Security of Railway Systems [...] Paper Accepted at FTSCS’16- The paper “Uniform Modeling of Railway Operations” by Eduard Kamburjan and Reiner Hähnle was accepted by the Fifth International Workshop on Formal Techniques for Safety-Critical Systems [...] FormbaR presented at KeY Symposium- The FormbaR project was presented at the 15th KeY Symposium (http://www.key-project.org/keysymposium16) as an example for the usage of formal methods. Paper Accepted at ISoLA’16- The paper “Towards Incremental Validation of Railway Systems” by Reiner Hähnle and Radu Muschevici was accepted by the 7th International Symposium On Leveraging Applications of [...] Project Kick-Off- The official project kick-off takes place on Friday, June 17th, 2016. We update this post with more details shortly.