Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Forschungsverbund soll die Sicherheit von IT-Systemen im Bahn- und Flugverkehr garantieren

23.11.2011
Wenn Züge in kurzen Abständen über Gleise rollen oder Flugzeuge im Minutentakt von der Startbahn abheben, hängt die Sicherheit der Passagiere von komplexen IT-Systemen ab.

Diese müssen extrem zuverlässig arbeiten, dürfen also keine Softwarefehler enthalten. Im Sonderforschungsbereich AVACS werden dafür seit 2004 mathematische Modelle und Methoden entwickelt.

Die Deutsche Forschungsgemeinschaft wird den Verbund jetzt mit weiteren 8,7 Millionen für vier Jahre fördern. Es forschen darin Wissenschaftler der Universität des Saarlandes und des Max-Planck-Instituts für Informatik in Saarbrücken gemeinsam mit Informatikern der Universitäten in Oldenburg und Freiburg.

Für den europäischen Schienenverkehr wurde ein Leitsystem entwickelt, genannt European Train Control System (ETCS), das dafür sorgen soll, dass die Züge auch über Grenzen hinweg sicher über die Gleise gelotst werden. „Um Hochleistungsstrecken effektiv zu nutzen, sollten die Züge in möglichst kurzen Abständen aufeinander folgen. Sie dürfen sich aber nicht zu nahe kommen und müssen bei Störfällen automatisch bremsen“, erläutert Bernd Finkbeiner, Professor für Reaktive Systeme der Universität des Saarlandes, das System. Jeder Zug soll daher künftig mit einer Software ausgestattet sein, die seine Fahrposition immer genau ortet und den Sicherheitsabstand zu den vorausfahrenden Zügen genau festlegt.

„Wenn dieser Abstand überschritten wird oder der Funkkontakt zum Zug abbricht, wird automatisch die Notbremse gezogen. Damit die Passagiere dann aber nicht aus ihren Sitzen geschleudert werden, muss diese Bremsung sehr behutsam erfolgen“, erklärt Finkbeiner. Das macht eine komplizierte Steuerung erforderlich, weil die Bremsmanöver nicht nur von der Geschwindigkeit abhängen, sondern auch von der Kurvenführung der Strecke.

Die Informatiker entwickeln daher im Sonderforschungsbereich AVACS Methoden, mit denen man voraussagen kann, wie verlässlich die Eigenschaften eines Systems sind. „So werden etwa auch in Autos die Airbags und Bremssysteme durch viele kleine Rechner gesteuert. Das Netzwerk dieser kleinen Rechner muss immer pünktlich und zuverlässig reagieren“, betont der Saarbrücker Informatiker. Auch im Flugzeug sorgt ein komplexes System von Software und Prozessoren dafür, dass zum Beispiel auch sehr große Flieger wie der Airbus A 380 sicher durch die Lüfte schwebt. „Beim Zusammenspiel dieser einzelnen Prozessoren kommt es entscheidend darauf an, dass jedes einzelne Teilsystem genau zur richtigen Zeit seine Aufgabe erledigt und damit auch pünktlich fertig wird“, meint Bernd Finkbeiner. Saarbrücker Informatiker der Firma AbsInt Angewandte Informatik, die auch am Sonderforschungsbereich beteiligt ist, hatten für die Airbus France SA eine Software entwickelt, die so genannte "Laufzeitgarantien" für zeitkritische Systeme abgibt. Sie kann durch beweisbar korrekte Methoden vorhersagen, wann ein Computer in einem Rechnersystem seine Aufgabe spätestens ausgeführt hat. In einem weiteren Teilprojekt von AVACS werden am Beispiel einer drahtlosen Fahrradbremse Methoden erforscht, wie auch Funksysteme immer verlässlich und sicher Daten übermitteln können.

An dem Sonderforschungsbereich AVACS – das steht für „Automatic Verification and Analysis of Complex Systems“- sind von der Universität des Saarlandes neben Bernd Finkbeiner die Professoren Reinhard Wilhelm, Sebastian Hack und Holger Hermanns sowie die Nachwuchsforscherin Verena Wolf beteiligt. Am Max-Planck-Institut für Informatik wirken die Professoren Kurt Mehlhorn und Christoph Weidenbach mit. Von den erneut bewilligten 8,7 Millionen Euro fließen 3,5 Millionen ins Saarland. Seit 2004 wurde der Sonderforschungsbereich insgesamt mit rund 26 Millionen Euro gefördert, rund 9,5 Millionen erhielten die Saarbrücker Informatikforscher.

Fragen beantworten:
Professor Bernd Finkbeiner
Lehrstuhl für reaktive Systeme
Tel. 0681/302-5632
Mail: finkbeiner@cs.uni-sb.de
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.

Friederike Meyer zu Tittingdorf | Universität des Saarlandes
Weitere Informationen:
http://www.avacs.org/
http://www.uni-saarland.de/

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Sicheres Bezahlen ohne Datenspur
17.10.2017 | Karlsruher Institut für Technologie

nachricht Saarbrücker Forscher erstellen digitale Objekte aus unvollständigen 3-D-Daten
12.10.2017 | Universität des Saarlandes

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Im Focus: Neutron star merger directly observed for the first time

University of Maryland researchers contribute to historic detection of gravitational waves and light created by event

On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...

Im Focus: Breaking: the first light from two neutron stars merging

Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.

Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....

Im Focus: Topologische Isolatoren: Neuer Phasenübergang entdeckt

Physiker des HZB haben an BESSY II Materialien untersucht, die zu den topologischen Isolatoren gehören. Dabei entdeckten sie einen neuen Phasenübergang zwischen zwei unterschiedlichen topologischen Phasen. Eine dieser Phasen ist ferroelektrisch: das bedeutet, dass sich im Material spontan eine elektrische Polarisation ausbildet, die sich durch ein äußeres elektrisches Feld umschalten lässt. Dieses Ergebnis könnte neue Anwendungen wie das Schalten zwischen unterschiedlichen Leitfähigkeiten ermöglichen.

Topologische Isolatoren zeichnen sich dadurch aus, dass sie an ihren Oberflächen Strom sehr gut leiten, während sie im Innern Isolatoren sind. Zu dieser neuen...

Im Focus: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

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 - Dezember 2017

17.10.2017 | Veranstaltungen

Intelligente Messmethoden für die Bauwerkssicherheit: Fachtagung „Messen im Bauwesen“ am 14.11.2017

17.10.2017 | Veranstaltungen

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

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

Sicheres Bezahlen ohne Datenspur

17.10.2017 | Informationstechnologie

Pflanzen gegen Staunässe schützen

17.10.2017 | Biowissenschaften Chemie

Den Trends der Umweltbranche auf der Spur

17.10.2017 | Ökologie Umwelt- Naturschutz