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 Seenotretter testen über der Ostsee erfolgreich unbemanntes Luftfahrtsystem für Seenotfälle
22.11.2019 | Technische Universität Dortmund

nachricht Entwicklungen in der Schifffahrt schneller und effizienter testen
22.11.2019 | Jade Hochschule - Wilhelmshaven/Oldenburg/Elsfleth

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: Forschende entdecken, wie äußere Reize den Auf- und Abbau des Skeletts im Kern von Säugetierzellen steuern

Nicht nur in Muskelzellen spielen sie die Hauptrolle: Die Aktinfilamente sind eines der häufigsten Proteine in allen Säugetierzellen. Die fadenförmigen Strukturen bilden einen wichtigen Teil des Zellskeletts und -bewegungsapparats. Zellbiologinnen und -biologen der Universität Freiburg zeigen nun in Zellkulturen, wie Rezeptorproteine in der Membran dieser Zellen Signale von außen an Aktinmoleküle im Kern weiterleiten, die daraufhin Fäden bilden.

Das Team um Pharmakologe Prof. Dr. Robert Grosse steuert in einer Studie den Auf- und Abbau der Aktinfilamente im Zellkern mit physiologischen Botenstoffen und...

Im Focus: Neuartiges Antibiotikum gegen Problemkeime in Sicht

Internationales Forscherteam mit Beteiligung der Universität Gießen entdeckt neuen Wirkstoff gegen gramnegative Bakterien – Darobactin attackiert die Erreger an einem bislang unbekannten Wirkort

Immer mehr bakterielle Erreger von Infektionskrankheiten entwickeln Resistenzen gegen die marktüblichen Antibiotika. Typische Krankenhauskeime wie Escherichia...

Im Focus: Machine learning microscope adapts lighting to improve diagnosis

Prototype microscope teaches itself the best illumination settings for diagnosing malaria

Engineers at Duke University have developed a microscope that adapts its lighting angles, colors and patterns while teaching itself the optimal...

Im Focus: Kleine Teilchen, große Wirkung: Wie Nanoteilchen aus Graphen die Auflösung von Mikroskopen verbessern

Konventionelle Lichtmikroskope können Strukturen nicht mehr abbilden, wenn diese einen Abstand haben, der kleiner als etwa die Lichtwellenlänge ist. Mit „Super-resolution Microscopy“, entwickelt seit den 80er Jahren, kann man diese Einschränkung jedoch umgehen, indem fluoreszierende Materialien eingesetzt werden. Wissenschaftlerinnen und Wissenschaftler am Max-Planck-Institut für Polymerforschung haben nun entdeckt, dass aus Graphen bestehende Nano-Moleküle genutzt werden können, um diese Mikroskopie-Technik zu verbessern. Diese Nano-Moleküle bieten eine Reihe essentieller Vorteile gegenüber den bisher verwendeten Materialien, die die Mikroskopie-Technik noch vielfältiger einsetzbar machen.

Mikroskopie ist eine wichtige Untersuchungsmethode in der Physik, Biologie, Medizin und vielen anderen Wissenschaften. Sie hat jedoch einen Nachteil: Ihre...

Im Focus: Small particles, big effects: How graphene nanoparticles improve the resolution of microscopes

Conventional light microscopes cannot distinguish structures when they are separated by a distance smaller than, roughly, the wavelength of light. Superresolution microscopy, developed since the 1980s, lifts this limitation, using fluorescent moieties. Scientists at the Max Planck Institute for Polymer Research have now discovered that graphene nano-molecules can be used to improve this microscopy technique. These graphene nano-molecules offer a number of substantial advantages over the materials previously used, making superresolution microscopy even more versatile.

Microscopy is an important investigation method, in physics, biology, medicine, and many other sciences. However, it has one disadvantage: its resolution is...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Chemnitzer Linux-Tage 2020: „Mach es einfach!“

18.11.2019 | Veranstaltungen

Humanoide Roboter in Aktion erleben

18.11.2019 | Veranstaltungen

1. Internationale Konferenz zu Agrophotovoltaik im August 2020

15.11.2019 | Veranstaltungen

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

Der Gewinner ist… Vorankündigung zum 11. Corporate Health Award

22.11.2019 | Förderungen Preise

Erste Liga der Automobilzulieferer

22.11.2019 | Förderungen Preise

Forschende entdecken, wie äußere Reize den Auf- und Abbau des Skeletts im Kern von Säugetierzellen steuern

22.11.2019 | Biowissenschaften Chemie

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