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.
News
Paper Accepted at F-IDE’19 - The paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” by Eduard Kamburjan and Jonas Stromberg was accepted by the [...]
FormbaR presented at the Symposium of the European Association for Research in Transportation (hEART’18) - As part of the FormbaR project, Sebastian Schön presented a poster at the 7th Symposium of the European Association for Research in Transportation.
FormbaR presented at the 2nd Scientific Railway Signalling Symposium (SRSS’18) - As part of the FormbaR project, Sebastian Schön presented a survey on the usage of formal methods in Transport Engineering at the 2nd Scientific Railway [...]
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 [...]
FormbaR presented at the Scientific Railway Signalling Symposium - The FormbaR project was presented at the Scientific Railway Signalling Symposium (http://www.verkehr.tu-darmstadt.de/bs/srss/index.de.jsp), a symposium for railway experts from academia and industry from the German-speaking countries.
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.