Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Funktionsanalyse per Knopfdruck

24.11.2003


Automatische Fehlerdiagnose von Steuerungssystemen in Verkehrsmitteln steht im Mittelpunkt eines Sonderforschungsbereichs, dessen Einrichtung soeben die Deutsche Forschungsgemeinschaft (DFG) beschlossen hat. Das überregionale Großprojekt „Automatic Verification and Analysis of Complex Systems“ (AVACS) wird gemeinsam von den Universitäten Oldenburg, Freiburg und Saarbrücken sowie dem Max-Planck-Institut für Informatik in Saarbrücken unter Mitwirkung von Forschern an der ETH Zürich (Schweiz) und der DTU Lyngby (Dänemark) getragen; Sprecheruniversität ist Oldenburg. Für zunächst vier Jahre sind Fördermittel in Höhe von ca. 2 Millionen Euro jährlich zugesagt worden.



Als „Zeichen für die hohe Leistungsfähigkeit der Universität Oldenburg und des Departments für Informatik“ bewertete Universitätspräsident Prof. Dr. Siegfried Grubitzsch die Bewilligung. Dass die Universität Oldenburg als Sprecheruniversität fungiere, belege ihre herausragende Stellung in einem für die Verkehrssicherheit außerordentlich wichtigen Bereich, der auch wirtschaftlich von enormer Bedeutung sei. Prof. Dr. Werner Damm, Hochschullehrer für Sicherheitskritische Eingebettete Systeme und Sprecher des Sonderforschungsbereiches, zeigt sich erfreut: „Das ist eine Bestätigung unserer langjährigen Arbeit am Department für Informatik und am Institut OFFIS und der guten Kontakte zur Wirtschaft, die wir aufbauen konnten.“



Gegenstand von AVACS sind computer-basierte Systeme, die in sicherheitskritischen Bereichen technische Prozesse steuern. Es geht den Forschern darum, die Zuverlässigkeit solcher Systeme besonders im Transportwesen bei Auto, Eisenbahn oder Flugzeug zu überprüfen, mögliche Störquellen auszuschalten und Unfallrisiken zu minimieren. Die Komplexität solcher Steuerungssysteme, die für erhöhte Funktionalität, gesteigerten Komfort und mehr Sicherheit sorgen, ist gewaltig. Sie ergibt sich aus der Interaktion digitaler und physikalischer Prozesse, der Vernetzung einer Vielzahl von Komponenten und dem Einsatz in wechselnden Umgebungen. Die Funktionen, die die Steuergeräte erfüllen, werden immer vielfältiger und anspruchsvoller. Alle zwei Jahre verdoppelt sich die Leistungsfähigkeit der Basiskomponenten, die in der Regel schnell und flächendeckend in Verkehrsmitteln eingesetzt werden. Damit wächst die Fehleranfälligkeit der Systeme, die zwar in Qualitätskontrollen auf korrektes Verhalten überprüft werden, deren gesamter Funktionszusammenhang so aber nicht erfasst werden kann.

Solch eine Situation ist, wie Damm betont, nicht nur wissenschaftlich unbefriedigend, sie birgt neben ökonomischen Risiken auch Gefahren für die Menschen, die in Auto, Bahn, Flugzeug, Kraftwerken oder Industrieanlagen mit dieser Technik zu tun haben. Die Systemzuverlässigkeit lässt sich nur dann entscheidend verbessern, wenn die Softwareingenieure die kritischen Eigenschaften mit automatisierten Techniken, gewissermaßen auf Knopfdruck, analysieren und überprüfen können. Daher zielt AVACS auf die automatische Analyse hochgradig vernetzter Systeme bereits während der Entwicklungsphase. AVACS wird dabei in neue Größenordnungen der Systemkomplexität vorstoßen, so dass damit Anwendungen wie Flugüberwachungs- oder Zugkontrollsysteme einer mathematisch vollständigen Sicherheitsanalyse unterzogen werden können.

Um dieses Ziel zu verwirklichen, setzen die Forscher aus Oldenburg, Saarbrücken, Freiburg, Zürich und Lyngby auf die Kombination von Methoden der mathematischen Semantik komplexer Systeme (Fundierung) mit algorithmisch-deduktiven Methoden (Automatisierung).

Kontakt: Prof. Dr. Werner Damm, Tel.: 0441/9722-500, E-Mail: damm@informatik.uni-oldenburg.de

Gerhard Harms | Universität Oldenburg
Weitere Informationen:
http://www.svs.informatik.uni-oldenburg.de/research/AVACS

Weitere Berichte zu: AVACS Funktionsanalyse Leistungsfähigkeit

Weitere Nachrichten aus der Kategorie Verkehr Logistik:

nachricht Intelligente Planung und Steuerung für mehr Effektivität und Effizienz bei Autoumschlag in Häfen
14.09.2017 | BIBA - Bremer Institut für Produktion und Logistik

nachricht Umweltfreundliches Segway toppt Rad und Auto bei kurzen Strecken
08.09.2017 | Hochschule Heilbronn

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: LaserTAB: Effizientere und präzisere Kontakte dank Roboter-Kollaboration

Auf der diesjährigen productronica in München stellt das Fraunhofer-Institut für Lasertechnik ILT das Laser-Based Tape-Automated Bonding, kurz LaserTAB, vor: Die Aachener Experten zeigen, wie sich dank neuer Optik und Roboter-Unterstützung Batteriezellen und Leistungselektronik effizienter und präziser als bisher lasermikroschweißen lassen.

Auf eine geschickte Kombination von Roboter-Einsatz, Laserscanner mit selbstentwickelter neuer Optik und Prozessüberwachung setzt das Fraunhofer ILT aus Aachen.

Im Focus: LaserTAB: More efficient and precise contacts thanks to human-robot collaboration

At the productronica trade fair in Munich this November, the Fraunhofer Institute for Laser Technology ILT will be presenting Laser-Based Tape-Automated Bonding, LaserTAB for short. The experts from Aachen will be demonstrating how new battery cells and power electronics can be micro-welded more efficiently and precisely than ever before thanks to new optics and robot support.

Fraunhofer ILT from Aachen relies on a clever combination of robotics and a laser scanner with new optics as well as process monitoring, which it has developed...

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Im Focus: Hochpräzise Verschaltung in der Hirnrinde

Es ist noch immer weitgehend unbekannt, wie die komplexen neuronalen Netzwerke im Gehirn aufgebaut sind. Insbesondere in der Hirnrinde der Säugetiere, wo Sehen, Denken und Orientierung berechnet werden, sind die Regeln, nach denen die Nervenzellen miteinander verschaltet sind, nur unzureichend erforscht. Wissenschaftler um Moritz Helmstaedter vom Max-Planck-Institut für Hirnforschung in Frankfurt am Main und Helene Schmidt vom Bernstein-Zentrum der Humboldt-Universität in Berlin haben nun in dem Teil der Großhirnrinde, der für die räumliche Orientierung zuständig ist, ein überraschend präzises Verschaltungsmuster der Nervenzellen entdeckt.

Wie die Forscher in Nature berichten (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005), haben die...

Im Focus: Highly precise wiring in the Cerebral Cortex

Our brains house extremely complex neuronal circuits, whose detailed structures are still largely unknown. This is especially true for the so-called cerebral cortex of mammals, where among other things vision, thoughts or spatial orientation are being computed. Here the rules by which nerve cells are connected to each other are only partly understood. A team of scientists around Moritz Helmstaedter at the Frankfiurt Max Planck Institute for Brain Research and Helene Schmidt (Humboldt University in Berlin) have now discovered a surprisingly precise nerve cell connectivity pattern in the part of the cerebral cortex that is responsible for orienting the individual animal or human in space.

The researchers report online in Nature (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005) that synapses in...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Legionellen? Nein danke!

25.09.2017 | Veranstaltungen

Posterblitz und neue Planeten

25.09.2017 | Veranstaltungen

Hochschule Karlsruhe richtet internationale Konferenz mit Schwerpunkt Informatik aus

25.09.2017 | Veranstaltungen

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

Legionellen? Nein danke!

25.09.2017 | Veranstaltungsnachrichten

Hochvolt-Lösungen für die nächste Fahrzeuggeneration!

25.09.2017 | Seminare Workshops

Seminar zum 3D-Drucken am Direct Manufacturing Center am

25.09.2017 | Seminare Workshops