Computer für die Bahnsteuerung: Wie sicher sind die Systeme von morgen?
Immer dichtere Zugfolgen, flexiblere Planungen im Güterverkehr, mehr Pünktlichkeit: Die Anforderungen an die Bahn wachsen ständig. Doch wie ist es um die Sicherheit bei der Bahntechnik für morgen bestellt?
Mit dieser Thematik beschäftigen sich Informatiker der Universität Bremen gemeinsam mit Spezialisten von Siemens. Konkret arbeiten die beiden Graduiertenkollegs GESy (Doktorandenkolleg Eingebettete Systeme) der Uni 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, denn diese müssen eine höhere Systemkomplexität bewältigen.
In einem gemeinsamen Workshop am 6. Februar 2008 kommen die Doktoranden und Mitarbeiter der beiden Kollegs zum zweiten Mal zusammen, um die neuesten Forschungsergebnisse seit dem ersten Treffen vor einem Jahr vorzustellen und auszutauschen. Darüber hinaus bietet der Workshop Raum, die Informationen aus dem Umfeld Verifikation, Validierung und Test zu diskutieren und neue Ideen zu generieren.
Ansprechpartner:
Prof Dr Rolf Drechsler (drechsle@informatik.uni-bremen.de)
Prof Dr Jan Peleska (jp@informatik.uni-bremen.de)
Informationen zum Doktorandenkolleg GESy: http://www.informatik.uni-bremen.de/gesy/ger/index.php
Weitere Informationen:
Universität Bremen
FB 3 Mathematik und Informatik
AG Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Tel.: 0421-218 63932
E-Mail: drechsle@informatik.uni-bremen.de
Media Contact
Weitere Informationen:
http://www.informatik.uni-bremen.de/gesy/ger/index.phpAlle Nachrichten aus der Kategorie: Seminare Workshops
Neueste Beiträge
Neue universelle lichtbasierte Technik zur Kontrolle der Talpolarisation
Ein internationales Forscherteam berichtet in Nature über eine neue Methode, mit der zum ersten Mal die Talpolarisation in zentrosymmetrischen Bulk-Materialien auf eine nicht materialspezifische Weise erreicht wird. Diese „universelle Technik“…
Tumorzellen hebeln das Immunsystem früh aus
Neu entdeckter Mechanismus könnte Krebs-Immuntherapien deutlich verbessern. Tumore verhindern aktiv, dass sich Immunantworten durch sogenannte zytotoxische T-Zellen bilden, die den Krebs bekämpfen könnten. Wie das genau geschieht, beschreiben jetzt erstmals…
Immunzellen in den Startlöchern: „Allzeit bereit“ ist harte Arbeit
Wenn Krankheitserreger in den Körper eindringen, muss das Immunsystem sofort reagieren und eine Infektion verhindern oder eindämmen. Doch wie halten sich unsere Abwehrzellen bereit, wenn kein Angreifer in Sicht ist?…
