Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Wieviel Zeit bleibt bis zum Worst-Case?

01.04.2008
Die Rechnersteuerungen von Airbags, intelligenten Fahrwerken oder Bremssystemen müssen in wenigen Millisekunden reagieren, damit es nicht zur Katastrophe kommt.

Bei den modernen, leistungsstarken Prozessoren lässt sich aber nur schwer festzustellen, wie lange ein Programm braucht, bis es seine Reaktion berechnet hat. Daher sollen nun komplexe Systeme von vornherein so entworfen werden, dass ihr Zeitverhalten präzise vorhergesagt werden kann.

Auch wenn die Leistung von Prozessoren in den letzten zehn Jahren enorm gesteigert worden ist, zielte sie vor allem auf die Benutzer von Personalcomputern, Worksta­tions und Rechnern für wissenschaftliches Rechnen ab. Die dafür entwickelten Rechnerarchitekturen haben es jedoch enorm erschwert, die Laufzeiten von Programmen zu bestimmen und die Pünktlichkeit komplexer eingebetteter Systeme nachzuweisen.

Dies ist jedoch für sicherheitskritische Aufgaben wie sie zum Beispiel in Flugzeugen und Automobilen zum Einsatz kommen, unbedingt erforderlich. Denn dort geht der Trend dahin, die zahlreichen kleinen Prozessoren, die sich nur einer Aufgabe widmen, durch leistungsstarke Hardware-Plattformen abzulösen. Diese sind jedoch so komplex, dass ihr Zeitverhalten durch bloßes Testen nicht mehr bestimmt werden kann.

... mehr zu:
»Prozessor

Im Rahmen des Projektes Predator, unter der Leitung von Informatik-Professor Reinhard Wilhelm von der Universität des Saarlandes, sollen nun neue Architekturen geschaffen werden, die es einfacher machen, ein System zu analysieren und die im schlechtesten Fall eintretende Ausführungszeit (worst case execution time) vorherzusagen.

Partner in dem Projekt sind verschiedene europäischen Forschungsinstitute, die Flugzeug- und Automobilindustrie, vertreten durch EADS Airbus und Bosch sowie das mittelständische Unternehmen AbsInt Angewandte Informatik GmbH in Saarbrücken, das ein Werkzeug zur Zeitanalyse entwickelt hat, das derzeit weltweit als das beste seiner Art gilt.

Die Industrie hatte bis vor wenigen Jahren keine zuverlässigen Methoden, um für moderne, leistungsstarke Prozessoren festzustellen, wie lange die auf ihnen laufenden sicherheitskritischen Programme brauchen, bis sie ihre Reaktion berechnet haben. Das Team von Prof. Reinhard Wilhelm und das Spin-Off-Unternehmen AbsInt Angewandte Informatik GmbH haben eine Technologie und ein darauf basierendes Werkzeug entwickelt, das dieses Problem automatisiert behandelt. Bisher ist es das einzige Werkzeug, das im vergangenen Jahr die strengen Zertifizierungsverfahren der europäischen Luftfahrtbehörden erfolgreich bestanden hat. Für die Zeitanalyse etwa der Flugsteuerung neuer europäischer Modelle (wie zum Beispiel der Airbus A380) darf nur diese Software eingesetzt werden.

Kontakt:
Prof. Dr. Reinhard Wilhelm
Universität des Saarlandes
Im Stadtwald 15
Gebäude E1 3
66123 Saarbrücken
Telefon: 06 81/3 02-34 34
E-Mail: wilhelm@cs.uni-sb.de

Helga Hansen | Innovationseinblicke Saarland
Weitere Informationen:
http://rw4.cs.uni-sb.de
http://www.innovation.saarland.de

Weitere Berichte zu: Prozessor

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht IT-Sicherheit beim autonomen Fahren
22.06.2018 | Fachhochschule St. Pölten

nachricht Schneller und sicherer Fliegen
21.06.2018 | Fachhochschule St. Pölten

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Leichter abheben: Fraunhofer LBF entwickelt Flugzeugrad aus Faser-Kunststoff-Verbund

Noch mehr Reichweite oder noch mehr Nutzlast - das wünschen sich Fluggesellschaften für ihre Flugzeuge. Wegen ihrer hohen spezifischen Steifigkeiten und Festigkeiten kommen daher zunehmend leichte Faser-Kunststoff-Verbunde zum Einsatz. Bei Rümpfen oder Tragflächen sind permanent Innovationen in diese Richtung zu beobachten. Um dieses Innovationsfeld auch für Flugzeugräder zu erschließen, hat das Fraunhofer-Institut für Betriebsfestigkeit und Systemzuverlässigkeit LBF jetzt ein neues EU-Forschungsvorhaben gestartet. Ziel ist die Entwicklung eines ersten CFK-Bugrads für einen Airbus A320. Dabei wollen die Forscher ein Leichtbaupotential von bis zu 40 Prozent aufzeigen.

Faser-Kunststoff-Verbunde sind in der Luftfahrt bei zahlreichen Bauteilen bereits das Material der Wahl. So liegt beim Airbus A380 der Anteil an...

Im Focus: IT-Sicherheit beim autonomen Fahren

FH St. Pölten entwickelt neue Methode für sicheren Informationsaustausch zwischen Fahrzeugen mittels Funkdaten

Neue technische Errungenschaften wie das Internet der Dinge oder die direkte drahtlose Kommunikation zwischen Objekten erhöhen den Bedarf an effizienter...

Im Focus: Innovative Handprothesensteuerung besteht Alltagstest

Selbstlernende Steuerung für Handprothesen entwickelt. Neues Verfahren lässt Patienten natürlichere Bewegungen gleichzeitig in zwei Achsen durchführen. Forscher der Universitätsmedizin Göttingen (UMG) veröffentlichen Studie im Wissenschaftsmagazin „Science Robotics“ vom 20. Juni 2018.

Motorisierte Handprothesen sind mittlerweile Stand der Technik bei der Versorgung von Amputationen an der oberen Extremität. Bislang erlauben sie allerdings...

Im Focus: Temperaturgesteuerte Faser-Lichtquelle mit flüssigem Kern

Die moderne medizinische Bildgebung und neue spektroskopische Verfahren benötigen faserbasierte Lichtquellen, die breitbandiges Laserlicht im nahen und mittleren Infrarotbereich erzeugen. Wissenschaftlerinnen und Wissenschaftler des Leibniz-Instituts für Photonische Technologien Jena (Leibniz-IPHT) zeigen in einer aktuellen Veröffentlichung im renommierten Fachblatt Optica, dass sie die optischen Eigenschaften flüssigkeitsgefüllter Fasern und damit die Bandbreite des Laserlichts gezielt über die Umgebungstemperatur steuern können.

Das Besondere an den untersuchten Fasern ist ihr Kern. Er ist mit Kohlenstoffdisulfid gefüllt - einer flüssigen chemischen Verbindung mit hoher optischer...

Im Focus: Temperature-controlled fiber-optic light source with liquid core

In a recent publication in the renowned journal Optica, scientists of Leibniz-Institute of Photonic Technology (Leibniz IPHT) in Jena showed that they can accurately control the optical properties of liquid-core fiber lasers and therefore their spectral band width by temperature and pressure tuning.

Already last year, the researchers provided experimental proof of a new dynamic of hybrid solitons– temporally and spectrally stationary light waves resulting...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Leben im Plastikzeitalter: Wie ist ein nachhaltiger Umgang mit Plastik möglich?

21.06.2018 | Veranstaltungen

Kongress BIO-raffiniert X – Neue Wege in der Nutzung biogener Rohstoffe?

21.06.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen im August 2018

20.06.2018 | Veranstaltungen

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

Leichter abheben: Fraunhofer LBF entwickelt Flugzeugrad aus Faser-Kunststoff-Verbund

22.06.2018 | Materialwissenschaften

Lernen und gleichzeitig Gutes tun? Baufritz macht‘s möglich!

22.06.2018 | Unternehmensmeldung

GFOS und skip Institut entwickeln gemeinsam Prototyp für Augmented Reality App für die Produktion

22.06.2018 | Unternehmensmeldung

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