Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Für mehr Sicherheit auf der Schiene

07.02.2008
Bremer Doktorarbeit untersucht, wie sich Kollisionen von Straßenbahnen oder Zügen vermeiden lassen.

Mobiltelefonen, Unterhaltungselektronik, Autos, Luft- und Raumfahrt oder in Eisenbahnsteuerungssystemen: Elektronische Schaltungen und Systeme werden heutzutage in immer mehr Bereichen des täglichen Lebens eingesetzt.

Das Versagen solcher Systeme kann Folgen haben, die von kleineren Unannehmlichkeiten bis hin zu schwerwiegenden Unfällen reichen können. Besonders in den Bereichen, in denen das Leben von Menschen gefährdet ist, sind die Sicherheitsanforderungen sehr hoch. "Einfaches Testen", wie es derzeit gängige Praxis in industriellen Bereichen ist, reicht nicht mehr aus.

Zu Fragen der Bahnsicherheit, insbesondere dem Prüfen von Bahnsteuerungssystemen arbeiten Bremer Informatiker und Spezialisten von Siemens in den beiden Graduiertenkollegs GESy (Doktorandenkolleg Eingebettete Systeme) der Universität Bremen und RA:GS! (Graduiertenkolleg Rail Automation Graduate School, Braunschweig) von Siemens zusammen.

Das gemeinsame Ziel: Erarbeiten von Entwicklungs- und Prüfungsmethoden für die Bahnsteuerungscomputer von morgen. Jetzt wurde die erste GESy-Promotion erfolgreich abgeschlossen. Betreut vom Bremer Informatikprofessor Rolf Drechsler beschäftigte sich Sebastian Kindler in seiner Doktorarbeit "Automatisierte Validation und Verifikation von bahnspezifischen Komponenten und Systemen" mit der Kollisionsfreiheit auf Schienen.

Der junge Bremer Informatiker untersucht die Verwendung formaler Methoden zur Prüfung von Komponenten und Systemen aus dem Bahnumfeld. Als zugrundeliegende formale Methode zur Verifikation wurde mit dem "Bounded Model Checking" eine Spezialform der Eigenschaftsprüfung angewandt. Insbesondere wurde die Korrektheit eines Steuerungssystems für Straßenbahnen und einer sehr wichtige Komponente aus der Eisenbahnstellwerkstechnik mit diesem Verfahren formal nachgewiesen. Was bedeutet das? Für das Steuerungssystem beispielsweise wurde die sicherheitskritische Eigenschaft der Kollisionsfreiheit bewiesen. Kollisionsfreiheit bedeutet hier, dass Straßenbahnen (und damit potenziell auch Züge), die sich in einem Schienennetzwerk aufhalten, durch Signale und Weichen so gesteuert werden, dass sie niemals mit anderen Straßenbahnen innerhalb des Netzwerkes zusammen stoßen.

Eine Garantie vor Zusammenstößen ist aber nur dann gegeben, wenn zusätzlich die Korrektheit von Weichen, Signalen (zur tatsächlichen Steuerung der Bahnen) und von Sensoren (um festzustellen, wo sich die entsprechende Bahn im Gleisnetzwerk aufhält) nachgewiesen wurde. Exemplarisch wurde in der Arbeit ein Achszähler verifiziert, der von der Siemens AG (Transportation Systems) hergestellt wird. Achszähler werden in elektronischen Stellwerken für Eisenbahnen, unter anderem auch bei der Deutschen Bahn AG, eingesetzt, um automatisch feststellen zu können, wo genau sich ein Zug derzeit befindet. Dabei werden die Achsen eines Zuges gezählt und die Richtung des Zuges wird aufgenommen. Dadurch kann dann festgestellt werden, wie viele Achsen sich in einem bestimmten Gleisabschnitt befinden und ob dieser Abschnitt frei oder besetzt ist. Um die Korrektheit dieser Komponente zu beweisen, wurde eine Menge von Eigenschaften erstellt, deren Gültigkeit dann mittels "Bounded Model Checking" nachgewiesen wurde.

Weitere Informationen:

Universität Bremen
Doktorandenkolleg Eingebettete Systeme (GESy)
Dr. Sebastian Kinder
E-Mail: kinder@informatik.uni-bremen.de
Tel. 0421 218 63943
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Tel.: 0421-218 63932
E-Mail: drechsle@informatik.uni-bremen.de
URL dieser Pressemitteilung: http://idw-online.de/pages/de/news246003

Eberhard Scholz | idw
Weitere Informationen:
http://www.uni-bremen.de

Weitere Berichte zu: Kollisionsfreiheit Schiene Straßenbahn

Weitere Nachrichten aus der Kategorie Verkehr Logistik:

nachricht Der Truck der Zukunft
19.09.2018 | Technische Universität München

nachricht Bahnverkehr wird smart – innovativer Batteriezug ab 2019 im Testbetrieb
12.09.2018 | Technische Universität Berlin

Alle Nachrichten aus der Kategorie: Verkehr Logistik >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Auf dem Weg zu maßgeschneiderten Naturstoffen

Biotechnologen entschlüsseln Struktur und Funktion von Docking Domänen bei der Biosynthese von Peptid-Wirkstoffen

Mikroorganismen bauen Naturstoffe oft wie am Fließband zusammen. Dabei spielen bestimmte Enzyme, die nicht-ribosomalen Peptid Synthetasen (NRPS), eine...

Im Focus: Größter Galaxien-Proto-Superhaufen entdeckt

Astronomen enttarnen mit dem ESO Very Large Telescope einen kosmischen Titanen, der im frühen Universum lauert

Ein Team von Astronomen unter der Leitung von Olga Cucciati vom Istituto Nazionale di Astrofisica (INAF) Bologna hat mit dem VIMOS-Instrument am Very Large...

Im Focus: Auf Wiedersehen, Silizium? Auf dem Weg zu neuen Materalien für die Elektronik

Wissenschaftler des Max-Planck-Instituts für Polymerforschung (MPI-P) in Mainz haben zusammen mit Wissenschaftlern aus Dresden, Leipzig, Sofia (Bulgarien) und Madrid (Spanien) ein neues, metall-organisches Material entwickelt, welches ähnliche Eigenschaften wie kristallines Silizium aufweist. Das mit einfachen Mitteln bei Raumtemperatur herstellbare Material könnte in Zukunft als Ersatz für konventionelle nicht-organische Materialien dienen, die in der Optoelektronik genutzt werden.

Bei der Herstellung von elektronischen Komponenten wie Solarzellen, LEDs oder Computerchips wird heutzutage vorrangig Silizium eingesetzt. Für diese...

Im Focus: Goodbye, silicon? On the way to new electronic materials with metal-organic networks

Scientists at the Max Planck Institute for Polymer Research (MPI-P) in Mainz (Germany) together with scientists from Dresden, Leipzig, Sofia (Bulgaria) and Madrid (Spain) have now developed and characterized a novel, metal-organic material which displays electrical properties mimicking those of highly crystalline silicon. The material which can easily be fabricated at room temperature could serve as a replacement for expensive conventional inorganic materials used in optoelectronics.

Silicon, a so called semiconductor, is currently widely employed for the development of components such as solar cells, LEDs or computer chips. High purity...

Im Focus: Blauer Phosphor – jetzt erstmals vermessen und kartiert

Die Existenz von „Blauem“ Phosphor war bis vor kurzem reine Theorie: Nun konnte ein HZB-Team erstmals Proben aus blauem Phosphor an BESSY II untersuchen und über ihre elektronische Bandstruktur bestätigen, dass es sich dabei tatsächlich um diese exotische Phosphor-Modifikation handelt. Blauer Phosphor ist ein interessanter Kandidat für neue optoelektronische Bauelemente.

Das Element Phosphor tritt in vielerlei Gestalt auf und wechselt mit jeder neuen Modifikation auch den Katalog seiner Eigenschaften. Bisher bekannt waren...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Natürlich intelligent

19.10.2018 | Veranstaltungen

Rettungsdienst und Feuerwehr - Beschaffung von Rettungsdienstfahrzeugen, -Geräten und -Material

18.10.2018 | Veranstaltungen

11. Jenaer Lasertagung

16.10.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Entzündungsprozesse beeinträchtigen Nervenregeneration im Alter

19.10.2018 | Biowissenschaften Chemie

Auf dem Weg zu maßgeschneiderten Naturstoffen

19.10.2018 | Biowissenschaften Chemie

Magnetische Sensoren ermöglichen richtungsabhängige Temperaturmessung

19.10.2018 | Physik Astronomie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics