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 Starke IT-Sicherheit für das Auto der Zukunft – Forschungsverbund entwickelt neue Ansätze
25.05.2018 | Universität Ulm

nachricht Diagnose per Computer: Gefährliche Krankheitserreger mithilfe maschinellen Lernens erkennen
23.05.2018 | Helmholtz-Zentrum für Infektionsforschung

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Starke IT-Sicherheit für das Auto der Zukunft – Forschungsverbund entwickelt neue Ansätze

Je mehr die Elektronik Autos lenkt, beschleunigt und bremst, desto wichtiger wird der Schutz vor Cyber-Angriffen. Deshalb erarbeiten 15 Partner aus Industrie und Wissenschaft in den kommenden drei Jahren neue Ansätze für die IT-Sicherheit im selbstfahrenden Auto. Das Verbundvorhaben unter dem Namen „Security For Connected, Autonomous Cars (SecForCARs) wird durch das Bundesministerium für Bildung und Forschung mit 7,2 Millionen Euro gefördert. Infineon leitet das Projekt.

Bereits heute bieten Fahrzeuge vielfältige Kommunikationsschnittstellen und immer mehr automatisierte Fahrfunktionen, wie beispielsweise Abstands- und...

Im Focus: Powerful IT security for the car of the future – research alliance develops new approaches

The more electronics steer, accelerate and brake cars, the more important it is to protect them against cyber-attacks. That is why 15 partners from industry and academia will work together over the next three years on new approaches to IT security in self-driving cars. The joint project goes by the name Security For Connected, Autonomous Cars (SecForCARs) and has funding of €7.2 million from the German Federal Ministry of Education and Research. Infineon is leading the project.

Vehicles already offer diverse communication interfaces and more and more automated functions, such as distance and lane-keeping assist systems. At the same...

Im Focus: Mit Hilfe molekularer Schalter lassen sich künftig neuartige Bauelemente entwickeln

Einem Forscherteam unter Führung von Physikern der Technischen Universität München (TUM) ist es gelungen, spezielle Moleküle mit einer angelegten Spannung zwischen zwei strukturell unterschiedlichen Zuständen hin und her zu schalten. Derartige Nano-Schalter könnten Basis für neuartige Bauelemente sein, die auf Silizium basierende Komponenten durch organische Moleküle ersetzen.

Die Entwicklung neuer elektronischer Technologien fordert eine ständige Verkleinerung funktioneller Komponenten. Physikern der TU München ist es im Rahmen...

Im Focus: Molecular switch will facilitate the development of pioneering electro-optical devices

A research team led by physicists at the Technical University of Munich (TUM) has developed molecular nanoswitches that can be toggled between two structurally different states using an applied voltage. They can serve as the basis for a pioneering class of devices that could replace silicon-based components with organic molecules.

The development of new electronic technologies drives the incessant reduction of functional component sizes. In the context of an international collaborative...

Im Focus: GRACE Follow-On erfolgreich gestartet: Das Satelliten-Tandem dokumentiert den globalen Wandel

Die Satellitenmission GRACE-FO ist gestartet. Am 22. Mai um 21.47 Uhr (MESZ) hoben die beiden Satelliten des GFZ und der NASA an Bord einer Falcon-9-Rakete von der Vandenberg Air Force Base (Kalifornien) ab und wurden in eine polare Umlaufbahn gebracht. Dort nehmen sie in den kommenden Monaten ihre endgültige Position ein. Die NASA meldete 30 Minuten später, dass der Kontakt zu den Satelliten in ihrem Zielorbit erfolgreich hergestellt wurde. GRACE Follow-On wird das Erdschwerefeld und dessen räumliche und zeitliche Variationen sehr genau vermessen. Sie ermöglicht damit präzise Aussagen zum globalen Wandel, insbesondere zu Änderungen im Wasserhaushalt, etwa dem Verlust von Eismassen.

Potsdam, 22. Mai 2018: Die deutsch-amerikanische Satellitenmission GRACE-FO (Gravity Recovery And Climate Experiment Follow On) ist erfolgreich gestartet. Am...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Im Fokus: Klimaangepasste Pflanzen

25.05.2018 | Veranstaltungen

Größter Astronomie-Kongress kommt nach Wien

24.05.2018 | Veranstaltungen

22. Business Forum Qualität: Vom Smart Device bis zum Digital Twin

22.05.2018 | Veranstaltungen

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

Berufsausbildung mit Zukunft

25.05.2018 | Unternehmensmeldung

Untersuchung der Zellmembran: Forscher entwickeln Stoff, der wichtigen Membranbestandteil nachahmt

25.05.2018 | Interdisziplinäre Forschung

Starke IT-Sicherheit für das Auto der Zukunft – Forschungsverbund entwickelt neue Ansätze

25.05.2018 | Informationstechnologie

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