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 Fahrerlose Transportfahrzeuge reagieren bald automatisch auf Störungen
26.06.2017 | IPH - Institut für Integrierte Produktion Hannover gGmbH

nachricht Wirtschaftlicher Betrieb von Oberleitungs-Lkw ist möglich – aber es gibt relevante Hürden
08.05.2017 | Fraunhofer-Institut für System- und Innovationsforschung (ISI)

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: Hyperspektrale Bildgebung zur 100%-Inspektion von Oberflächen und Schichten

„Mehr sehen, als das Auge erlaubt“, das ist ein Anspruch, dem die Hyperspektrale Bildgebung (HSI) gerecht wird. Die neue Kameratechnologie ermöglicht, Licht nicht nur ortsaufgelöst, sondern simultan auch spektral aufgelöst aufzuzeichnen. Das bedeutet, dass zur Informationsgewinnung nicht nur herkömmlich drei spektrale Bänder (RGB), sondern bis zu eintausend genutzt werden.

Das Fraunhofer IWS Dresden entwickelt eine integrierte HSI-Lösung, die das Potenzial der HSI-Technologie in zuverlässige Hard- und Software überführt und für...

Im Focus: Can we see monkeys from space? Emerging technologies to map biodiversity

An international team of scientists has proposed a new multi-disciplinary approach in which an array of new technologies will allow us to map biodiversity and the risks that wildlife is facing at the scale of whole landscapes. The findings are published in Nature Ecology and Evolution. This international research is led by the Kunming Institute of Zoology from China, University of East Anglia, University of Leicester and the Leibniz Institute for Zoo and Wildlife Research.

Using a combination of satellite and ground data, the team proposes that it is now possible to map biodiversity with an accuracy that has not been previously...

Im Focus: Klima-Satellit: Mit robuster Lasertechnik Methan auf der Spur

Hitzewellen in der Arktis, längere Vegetationsperioden in Europa, schwere Überschwemmungen in Westafrika – mit Hilfe des deutsch-französischen Satelliten MERLIN wollen Wissenschaftler ab 2021 die Emissionen des Treibhausgases Methan auf der Erde erforschen. Möglich macht das ein neues robustes Lasersystem des Fraunhofer-Instituts für Lasertechnologie ILT in Aachen, das eine bisher unerreichte Messgenauigkeit erzielt.

Methan entsteht unter anderem bei Fäulnisprozessen. Es ist 25-mal wirksamer als das klimaschädliche Kohlendioxid, kommt in der Erdatmosphäre aber lange nicht...

Im Focus: Climate satellite: Tracking methane with robust laser technology

Heatwaves in the Arctic, longer periods of vegetation in Europe, severe floods in West Africa – starting in 2021, scientists want to explore the emissions of the greenhouse gas methane with the German-French satellite MERLIN. This is made possible by a new robust laser system of the Fraunhofer Institute for Laser Technology ILT in Aachen, which achieves unprecedented measurement accuracy.

Methane is primarily the result of the decomposition of organic matter. The gas has a 25 times greater warming potential than carbon dioxide, but is not as...

Im Focus: How protons move through a fuel cell

Hydrogen is regarded as the energy source of the future: It is produced with solar power and can be used to generate heat and electricity in fuel cells. Empa researchers have now succeeded in decoding the movement of hydrogen ions in crystals – a key step towards more efficient energy conversion in the hydrogen industry of tomorrow.

As charge carriers, electrons and ions play the leading role in electrochemical energy storage devices and converters such as batteries and fuel cells. Proton...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Future Security Conference 2017 in Nürnberg - Call for Papers bis 31. Juli

26.06.2017 | Veranstaltungen

Von Batterieforschung bis Optoelektronik

23.06.2017 | Veranstaltungen

10. HDT-Tagung: Elektrische Antriebstechnologie für Hybrid- und Elektrofahrzeuge

22.06.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

„Digital Mobility“– 48 Mio. Euro für die Entwicklung des digitalen Fahrzeuges

26.06.2017 | Förderungen Preise

Fahrerlose Transportfahrzeuge reagieren bald automatisch auf Störungen

26.06.2017 | Verkehr Logistik

Forscher sorgen mit ungewöhnlicher Studie über Edelgase international für Aufmerksamkeit

26.06.2017 | Physik Astronomie