Geschäftsfelder
Fraunhofer FIRST / Wirtschaft
Bahntechnik
© Matthias Heyde/ Fraunhofer FIRST
Die in der Bahntechnik geltenden Sicherheitsstandards führen bei neuen Entwicklungen, z. B. von Signalanlagen, meist zu langwierigen Entwurfsphasen. Die Beratung von Fraunhofer FIRST setzt in diesen frühen Phasen an und begleitet Bahntechnikhersteller von der Arbeit an den Hard- und Software-Architekturen bis hin zur industriellen Anwendung. Dabei wird die Konformität zum Zertifizierungsprozess gemäß EN 50128 berücksichtigt. Für die Prüfung der korrekten Funktionalität nutzen die Forscher von Fraunhofer FIRST neben traditionellen Testmethoden auch mathematische Verifikationsverfahren, mit denen sich beweisen lässt, dass sicherheitskritische Software für industrielle Bahnanwendungen einwandfrei funktioniert.
Unsere Angebote
Modellbasierte Entwicklung und Tests
Fraunhofer FIRST unterstützt seine Kunden bei der Qualitätssicherung während des kompletten Entwicklungsprozesses mit Hilfe von modellbasierter Entwicklung.
Formale Verifikation für sicherheitskritische Software
Fraunhofer FIRST berät Unternehmen bei der Erstellung formaler Spezifikationen und beim Einsatz von Werkzeugen für einen automatisierten Verifikationsprozess.