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 aCar - Der elektrische „Alleskönner“
21.08.2017 | Technische Universität München

nachricht Institut für Lufttransportsysteme der TUHH nimmt neuen Cockpitsimulator in Betrieb
21.08.2017 | Technische Universität Hamburg-Harburg

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: Platz 2 für Helikopter-Designstudie aus Stade - Carbontechnologie-Studenten der PFH erfolgreich

Bereits lange vor dem Studienabschluss haben vier Studenten des PFH Hansecampus Stade ihr ingenieurwissenschaftliches Können eindrucksvoll unter Beweis gestellt: Malte Blask, Hagen Hagens, Nick Neubert und Rouven Weg haben bei einem internationalen Wettbewerb der American Helicopter Society (AHS International) den zweiten Platz belegt. Ihre Aufgabe war es, eine Designstudie für ein helikopterähnliches Fluggerät zu entwickeln, das 24 Stunden an einem Punkt in der Luft fliegen kann.

Die vier Kommilitonen sind im Studiengang Verbundwerkstoffe/Composites am Hansecampus Stade der PFH Private Hochschule Göttingen eingeschrieben. Seit elf...

Im Focus: Wissenschaftler entdecken seltene Ordnung von Elektronen in einem supraleitenden Kristall

In einem Artikel der aktuellen Ausgabe des Forschungsmagazins „Nature“ berichten Wissenschaftler vom Max-Planck-Institut für Chemische Physik fester Stoffe in Dresden von der Entdeckung eines seltenen Materiezustandes, bei dem sich die Elektronen in einem Kristall gemeinsam in einer Richtung bewegen. Diese Entdeckung berührt eine der offenen Fragestellungen im Bereich der Festkörperphysik: Was passiert, wenn sich Elektronen gemeinsam im Kollektiv verhalten, in sogenannten „stark korrelierten Elektronensystemen“, und wie „einigen sich“ die Elektronen auf ein gemeinsames Verhalten?

In den meisten Metallen beeinflussen sich Elektronen gegenseitig nur wenig und leiten Wärme und elektrischen Strom weitgehend unabhängig voneinander durch das...

Im Focus: Wie ein Bakterium von Methanol leben kann

Bei einem Bakterium, das Methanol als Nährstoff nutzen kann, identifizierten ETH-Forscher alle dafür benötigten Gene. Die Erkenntnis hilft, diesen Rohstoff für die Biotechnologie besser nutzbar zu machen.

Viele Chemiker erforschen derzeit, wie man aus den kleinen Kohlenstoffverbindungen Methan und Methanol grössere Moleküle herstellt. Denn Methan kommt auf der...

Im Focus: Topologische Quantenzustände einfach aufspüren

Durch gezieltes Aufheizen von Quantenmaterie können exotische Materiezustände aufgespürt werden. Zu diesem überraschenden Ergebnis kommen Theoretische Physiker um Nathan Goldman (Brüssel) und Peter Zoller (Innsbruck) in einer aktuellen Arbeit im Fachmagazin Science Advances. Sie liefern damit ein universell einsetzbares Werkzeug für die Suche nach topologischen Quantenzuständen.

In der Physik existieren gewisse Größen nur als ganzzahlige Vielfache elementarer und unteilbarer Bestandteile. Wie das antike Konzept des Atoms bezeugt, ist...

Im Focus: Unterwasserroboter soll nach einem Jahr in der arktischen Tiefsee auftauchen

Am Dienstag, den 22. August wird das Forschungsschiff Polarstern im norwegischen Tromsø zu einer besonderen Expedition in die Arktis starten: Der autonome Unterwasserroboter TRAMPER soll nach einem Jahr Einsatzzeit am arktischen Tiefseeboden auftauchen. Dieses Gerät und weitere robotische Systeme, die Tiefsee- und Weltraumforscher im Rahmen der Helmholtz-Allianz ROBEX gemeinsam entwickelt haben, werden nun knapp drei Wochen lang unter Realbedingungen getestet. ROBEX hat das Ziel, neue Technologien für die Erkundung schwer erreichbarer Gebiete mit extremen Umweltbedingungen zu entwickeln.

„Auftauchen wird der TRAMPER“, sagt Dr. Frank Wenzhöfer vom Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar- und Meeresforschung (AWI) selbstbewusst. Der...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

DFG unterstützt Kongresse und Tagungen - Oktober 2017

23.08.2017 | Veranstaltungen

6. Leichtbau-Tagung: Großserienfähiger Leichtbau im Automobil

23.08.2017 | Veranstaltungen

International führende Informatiker in Paderborn

21.08.2017 | Veranstaltungen

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

Turbulente Bewegungen in der Atmosphäre eines fernen Sterns

23.08.2017 | Physik Astronomie

DFG unterstützt Kongresse und Tagungen - Oktober 2017

23.08.2017 | Veranstaltungsnachrichten

Mit Algen Arthritis behandeln

23.08.2017 | Biowissenschaften Chemie