Das Projekt Formbar, „Formalisierung von betrieblichen und anderen Regelwerken“, wird derzeit zusammen mit der DB Netz AG vom Fachgebiet Software Engineering und dem Institut für Bahnsysteme und Bahntechnik an der TU Darmstadt, im Rahmen der AG Signalling des DB RailLabs der Innovationsallianz zwischen der Deutschen Bahn AG und der Technischen Universität Darmstadt, bearbeitet.
Das Projektziel ist die einheitliche Modellierung von betrieblich technischen Regelwerken und den in diesen Regelwerken festgehaltenen Betriebsverfahren, welche zukünftig die automatische Beschreibung/Abfrage einer Betriebssituation bei Abweichungen vom Regelbetrieb ermöglichen soll.
Das Modell soll automatische Analysen mit formalen Methoden für Eigenschaften wie Deadlock-Freiheit oder Zuglaufzeit ermöglichen, aber auch simulierbar sein.