Wir spezialisieren uns auf Branchen, die sicherheitskritische Systeme entwickeln.  Wir haben Kunden in den Bereichen Transport (Schiene) und Fahrzeugtechnik.

Transport (Schiene)

Schon heute werden in einigen Bereichen im Bahnsektor formale Methoden eingesetzt, insbesondere für die Zugsteuerung und Türsysteme. Unser Werkzeug ProB wird unter anderem bereits von Konzernen wie Siemens und Alstorm eingesetzt.

"The work done with ProB is a great success. Thanks to the automatization and ProB, the wayside data validation is quicker, easier and complete."

Jérôme Falampin, Siemens SAS

Wir bieten verschiedene Dienstleistungen rund um unser Werkzeug ProB an.  Dazu gehören Wartungsverträge, die Integration von ProB in bestehende Prozesse und Werkzeugketten, sowie die Anpassung von ProB an Ihre Bedürfnisse.

Fahrzeugtechnik

Die deutsche Automobilindustrie hat das Requirements Interchange Format (RIF/ReqIF), entwickelt, welches das Potential hat, den Datenaustausch zwischen OEM und Zulieferer nachhaltig zu revolutionieren.  Formal Mind hilft Ihnen, einen ReqIF-basierten Datenaustausch in Ihre bestehenden Systeme und Prozesse zu integrieren.  Wir nutzen dabei die von uns entwickelte open-source Plattform ProR.

Wir bieten verschiedene Dienstleistungen rund um unser Werkzeug ProR an.  Dazu gehören Wartungsverträge, die Integration von ProR in bestehende Prozesse und Werkzeugketten, sowie die Anpassung von ProR an Ihre Bedürfnisse.

Andere Branchen

Unsere Technologien sind nicht an eine Branche gebunden - wir haben sie lediglich in den gerade erwähnten Branchen anwenden können.  Unsere Technologien sind überall dort anwendbar, wo hohe Kosten - oder sogar Menschenleben - auf dem Spiel stehen, wenn etwas schief geht.  Dazu gehören Bereiche wie:

• Luftfahrt
• Medizintechnik
• Finanzsysteme
• Energie
• Telekommunikation

Wissenschaft

Wir sind eine universitäre Ausgründung und stehen im engen Kontakt mit Wissenschaftlern weltweit, die im Bereich formale Methoden oder Anforderungsmangement forschen.  Wir agieren als Dienstleister in Forschungsprojekten und suchen Partner für öffentliche Programme wie ZIM-KOOP oder Eurostars.