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 »Lernlabor Cybersicherheit« startet in Weiden i. d. Oberpfalz
12.01.2017 | Fraunhofer-Gesellschaft

nachricht Klick-Tagebuch: App-Projekt der HdM erlaubt neuen Ansatz in Entwicklungsforschung
11.01.2017 | Hochschule der Medien Stuttgart

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Mit solaren Gebäudehüllen Architektur gestalten

Solarthermie ist in der breiten Öffentlichkeit derzeit durch dunkelblaue, rechteckige Kollektoren auf Hausdächern besetzt. Für ästhetisch hochwertige Architektur werden Technologien benötigt, die dem Architekten mehr Gestaltungsspielraum für Niedrigst- und Plusenergiegebäude geben. Im Projekt »ArKol« entwickeln Forscher des Fraunhofer ISE gemeinsam mit Partnern aktuell zwei Fassadenkollektoren für solare Wärmeerzeugung, die ein hohes Maß an Designflexibilität erlauben: einen Streifenkollektor für opake sowie eine solarthermische Jalousie für transparente Fassadenanteile. Der aktuelle Stand der beiden Entwicklungen wird auf der BAU 2017 vorgestellt.

Im Projekt »ArKol – Entwicklung von architektonisch hoch integrierten Fassadekollektoren mit Heat Pipes« entwickelt das Fraunhofer ISE gemeinsam mit Partnern...

Im Focus: Designing Architecture with Solar Building Envelopes

Among the general public, solar thermal energy is currently associated with dark blue, rectangular collectors on building roofs. Technologies are needed for aesthetically high quality architecture which offer the architect more room for manoeuvre when it comes to low- and plus-energy buildings. With the “ArKol” project, researchers at Fraunhofer ISE together with partners are currently developing two façade collectors for solar thermal energy generation, which permit a high degree of design flexibility: a strip collector for opaque façade sections and a solar thermal blind for transparent sections. The current state of the two developments will be presented at the BAU 2017 trade fair.

As part of the “ArKol – development of architecturally highly integrated façade collectors with heat pipes” project, Fraunhofer ISE together with its partners...

Im Focus: Mit Bindfaden und Schere - die Chromosomenverteilung in der Meiose

Was einmal fest verbunden war sollte nicht getrennt werden? Nicht so in der Meiose, der Zellteilung in der Gameten, Spermien und Eizellen entstehen. Am Anfang der Meiose hält der ringförmige Proteinkomplex Kohäsin die Chromosomenstränge, auf denen die Bauanleitung des Körpers gespeichert ist, zusammen wie ein Bindfaden. Damit am Ende jede Eizelle und jedes Spermium nur einen Chromosomensatz erhält, müssen die Bindfäden aufgeschnitten werden. Forscher vom Max-Planck-Institut für Biochemie zeigen in der Bäckerhefe wie ein auch im Menschen vorkommendes Kinase-Enzym das Aufschneiden der Kohäsinringe kontrolliert und mit dem Austritt aus der Meiose und der Gametenbildung koordiniert.

Warum sehen Kinder eigentlich ihren Eltern ähnlich? Die meisten Zellen unseres Körpers sind diploid, d.h. sie besitzen zwei Kopien von jedem Chromosom – eine...

Im Focus: Der Klang des Ozeans

Umfassende Langzeitstudie zur Geräuschkulisse im Südpolarmeer veröffentlicht

Fast drei Jahre lang haben AWI-Wissenschaftler mit Unterwasser-Mikrofonen in das Südpolarmeer hineingehorcht und einen „Chor“ aus Walen und Robben vernommen....

Im Focus: Wie man eine 80t schwere Betonschale aufbläst

An der TU Wien wurde eine Alternative zu teuren und aufwendigen Schalungen für Kuppelbauten entwickelt, die nun in einem Testbauwerk für die ÖBB-Infrastruktur umgesetzt wird.

Die Schalung für Kuppelbauten aus Beton ist normalerweise aufwändig und teuer. Eine mögliche kostengünstige und ressourcenschonende Alternative bietet die an...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Aquakulturen und Fangquoten – was hilft gegen Überfischung?

16.01.2017 | Veranstaltungen

14. BF21-Jahrestagung „Mobilität & Kfz-Versicherung im Fokus“

12.01.2017 | Veranstaltungen

Leipziger Biogas-Fachgespräch lädt zum "Branchengespräch Biogas2020+" nach Nossen

11.01.2017 | Veranstaltungen

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

Feinstaub weckt schlafende Viren in der Lunge

16.01.2017 | Biowissenschaften Chemie

Energieeffizienter Gebäudebetrieb: Monitoring-Plattform MONDAS identifiziert Einsparpotenzial

16.01.2017 | Messenachrichten

Nervenkrankheit ALS: Mehr als nur ein Motor-Problem im Gehirn?

16.01.2017 | Biowissenschaften Chemie