PDF, 24,8 MB - InnoTrans

F
Fraunhofer-FOKUS:
Verifikation Software-basierter Sicherheitsfunktionen
Traditionelle Testmethoden geraten bei der Überprüfung sicherheitskritischer
Software schnell an ihre Grenzen. Daher haben das Fraunhofer
FOKUS und das französische Carnot-Institut CEA LIST in einem Projekt
Methoden und Software-Werkzeuge bewertet und weiterentwickelt, mit
deren Hilfe sich die fehlerfreie Funktion von Software-Komponenten für
eingebettete Systeme mathematisch beweisen lässt. Dabei wurde die
von CEA LIST entwickelte Frama-C-Werkzeug-Plattform eingesetzt. Sie
ermöglicht es, einen weitgehend automatischen Beweis der zu verifizierenden
Software-Eigenschaften durchzuführen. So lässt sich Zeit und
Geld bei der Qualitätssicherung einsparen. Als Beispielanwendungen hat
Fraunhofer FOKUS Software von Steuergeräten in der Bahntechnik untersucht.
Dazu gehört beispielsweise die in jedem Zug vorhandene Sicherheits-Fahrschaltung
(SiFa). Sie bremst automatisch, wenn der Zugführer
keine Rückmeldung gibt. Die korrekte Funktion solcher Sicherheitssysteme
ist mit den ausgestellten Methoden und Werkzeugen nachweisbar.
Fraunhofer-Institut für Offene Kommunikationssysteme
FOKUS, D-Berlin
Halle 4.1, Stand 225
Tobias Steinhäußer
+49 (0)89-12051308
tobias.steinhaeusser@zv.fraunhofer.de
www.fokus.fraunhofer.de
Kontrolle der Sicherheitssysteme
Fraunhofer-IML:
Innovative Konzepte für die Transportlogistik
Zum ersten Mal präsentiert das Fraunhofer-Institut für Materialfluss und Logistik
IML auf der InnoTrans 2012 seine Sicherheitskonzepte für Bahnlogistikketten.
Die Experten stellen dar, wie sich die Transportlogistik ohne erhöhten
Kontroll- und Überwachungsaufwand gegen die Gefahren von Kriminalität und
Terror schützen lässt. Weiter zeigt das Fraunhofer-IML auf der Messe Innovationen
für die Nutzung des Schienengüterverkehrs sowie multimodaler Transportketten.
Dabei stehen insbesondere Logistikkonzepte für den Hafenhinterlandverkehr
im Mittelpunkt. Beispielsweise kann die Bahn durch innovative
Bündelungs- und Kooperationskonzepte dort auch für kleine Mengen oder auf
kurzen Entfernungen ein sinnvolles und innovatives Element sein. Ebenfalls
stellen die Forscher des IML Konzepte für robuste Transportketten vor, um die
Zuverlässigkeit der Schiene zu erhöhen und die Flexibilität der Transportplanung
zu verbessern. Außerdem haben Interessierte am Messestand in Halle
4.1 die Gelegenheit, sich interaktiv über Projekte und Weiterentwicklungsmöglichkeiten
ihres Logistiksystems unter Nutzung der Bahn zu informieren.
Fraunhofer-Institut für Materialfluss und Logistik IML,
D-Dortmund
Halle 4.1, Stand 225
Tobias Steinhäußer
+49 (0)89-12051308
tobias.steinhaeusser@zv.fraunhofer.de
www.iml.fraunhofer.de
Die Bahn intelligent und sicher in Logistikkonzepte integrieren
531