Anzeige
Bei den modernen, leistungsstarken Prozessoren lässt sich aber nur schwer festzustellen, wie lange ein Programm braucht, bis es seine Reaktion berechnet hat. Im Rahmen des neuen europäischen Forschungsprojektes "Predator" unter Leitung von Informatik-Professor Reinhard Wilhelm von der Universität des Saarlandes sollen nun komplexe Systeme von vornherein so entworfen werden, dass ihr Zeitverhalten präzise vorhergesagt werden kann.
An dem Projekt, das über drei Jahre mit 2,8 Mio. Euro gefördert wird, sind verschiedene europäische Forschungsinstitute sowie die Flugzeug- und Automobilindustrie beteiligt, vertreten durch EADS Airbus und Bosch. Partner ist außerdem die mittelständische AbsInt Angewandte Informatik GmbH in Saarbrücken, die ein Werkzeug zur Zeitanalyse entwickelt, das derzeit weltweit als das beste seiner Art gilt.
Die Leistung von Prozessoren ist in den letzten zehn Jahren enorm gesteigert worden. Sie zielte vor allem auf die Benutzer von Personalcomputern, Workstations und Rechnern für wissenschaftliches Rechnen. Die dafür entwickelten Rechnerarchitekturen haben es jedoch enorm erschwert, die Laufzeiten von Programmen zu bestimmen und die Pünktlichkeit komplexer eingebetteter Systeme nachzuweisen, wie sie für sicherheitskritische Aufgaben in Flugzeugen und Automobilen zum Einsatz kommen.
Denn dort geht der Trend dahin, die zahlreichen kleinen Prozessoren, die sich nur einer Aufgabe widmeten, durch leistungsstarke Hardware-Plattformen abzulösen. Diese sind jedoch so komplex, dass ihr Zeitverhalten durch bloßes Testen nicht mehr bestimmt werden kann. Im Rahmen des "Predator"-Projekts sollen daher 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.
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 (Beispiel Airbus A 380) darf also nur diese Software eingesetzt werden.
Am neuen europäischen Forschungsprojekt "Predator" sind die Universität des Saarlandes, die ETH Zürich, die Technische Universität Dortmund, die Alma Mater Studiorum Università di Bologna, die Scuola Superiore Sant'Anna in Pisa sowie als Industriepartner EADS Airbus, Bosch und AbsInt Angewandte Informatik beteiligt. Es startet am 1. Februar mit einer Tagung in Bologna.
Fragen beantworten Ihnen:
Prof. Dr. Reinhard Wilhelm
Tel.: 0681/302-3434
Email: wilhelm@cs.uni-sb.de
oder
Friederike Meyer zu Tittingdorf
Tel. 0681/302-58099
Email: presse@cs.uni-sb.de
Irina Urig
Presse- und Informationszentrum der Universität des Saarlandes
Referat 7, Gebäude A2 3,
Postfach 151150, 66041 Saarbrücken
Fon: 0681/302-4022
Fax: 0681/302-2609
E-Mail: presse.urig@univw.uni-saarland.de
Aktuelle Informationen rund um die Universität
finden Sie auch in unserem Uni-Magazin campus
http://www.uni-saarland.de/de/profil/veroeffentlichungen/campus
Saar - Uni - Presseteam | Quelle: Informationsdienst Wissenschaft
Weitere Informationen: rw4.cs.uni-sb.de/people/wilhelm.shtml
www.uni-saarland.de/de/medien
Forschungsprojekt hilft Menschen mit Behinderung durch neuartige Assistenzsysteme
06.02.2012 | Hochschule Esslingen
Acht weitere Satelliten für das europäische Navigationssystem bestellt
02.02.2012 | Bundesministerium für Verkehr, Bau und
Siemens hat eine getriebelose Windenergieanlage mit sechs Megawatt (MW) Leistung für den Offshore-Einsatz auf den Markt gebracht.
Windturbinen ohne Getriebe zeichnen sich durch ein robustes Design und ein geringes Gesamtgewicht aus. Diese Kombination senkt Infrastruktur-, Installations- und Wartungskosten und steigert die Energieausbeute und damit die Rentabilität über die gesamte Lebensdauer der Anlage. Die Rotorblätter der SWT-6.0-Windturbine sind mit 75 Meter Länge die größten für 6-MW-Anlagen.
Sie basieren auf ...
Siemens hat den weltweit ersten Leistungsschalter entwickelt, der bei Spannungen von 1,2 Millionen Volt arbeitet.
Solche Ultrahochspannungen erhöhen die Übertragungskapazität von Stromleitungen und bieten so die Möglichkeit, auf relativ wenigen Trassen große Mengen elektrischer Energie zu transportieren.
Leistungsschalter werden in Umspannwerken eingesetzt, um einzelne Stromleitungen zu- oder abzuschalten. Der neue Schalter ist für eine Testinstallation im indischen Bina bestimmt. Indien setzt auf die Ultrahochspannungs-Technik, um seine ...
„großartig“ – dieses Kompliment war gestern öfter von Prominenten aus Sport, Wirtschaft, Politik und Entertainment, zum Thema Lichtkunstobjekte beim „Ball des Sports“ zu hören. Schon am roten Teppich wurde ihr Blick angezogen von zwei symbolträchtigen, magisch leuchtenden „sporttissimo“ - Lichtskulpturen mit dem Titel „EMOTION“. Ein Blickfang, dessen Wirkung sich niemand entziehen konnte.
Aber auch von weitem waren die in wechselnden Farben strahlenden Kunstobjekte, die eine stattliche Höhe von 4,5 m aufweisen, nicht zu übersehen. Dabei beeindrucken sie nicht nur durch Größe und Leuchtkraft, sondern auch durch die sympathische Symbolik. In abstrakter Form und dennoch deutlich erkennbar, setzen die Objekte den Moment der ...
Das 1KITE Projekt (1K Insect Transcriptome Evolution), in dem sich Forscher aus der ganzen Welt in noch nie dagewesener Weise zusammengetan haben, um das Geheimnis des evolutiven Erfolges der Insekten mittels Transkriptomen von 1.000 Insektenarten zu lüften, ist jetzt gestartet. Für die Dauer von drei Jahren werden fünf Millionen Euro vom Bejing Genomics Institute, dem größten nationalen Forschungsinstitut Chinas, zur Verfügung gestellt, um die Transkriptomdaten zu erheben.
1KITE umfasst ein internationales Team von renommierten Experten für molekulare Biologie, Morphologie, Paläontologie, Taxonomie, Embryologie und Bioinformatik. Rund 50 Wissenschaftler aus Australien, China, Deutschland, Japan, Mexiko, Österreich und den USA arbeiten im 1KITE-Projekt.
Aus Deutschland sind beteiligt: die Universität Bonn, das Zoologische Forschungsmuseum Alexander Koenig in Bonn, die Universität Jena ...
Pulsare können durch Materie, die von außen auf sie einströmt, nicht nur beschleunigt, sondern auch verlangsamt werden. Das erklärt einige Rätsel.
Pulsare gehören zu den exotischsten, bekannten Himmelskörpern. Sie besitzen Durchmesser von etwa 20 Kilometern, beinhalten aber in etwa die Masse unserer Sonne. Ein würfelzuckergroßes Stück ihrer ultrakompakten Materie würde auf der Erde mehrere hundert Millionen Tonnen wiegen.
Eine Unterklasse von ihnen, die Millisekundenpulsare, wirbeln zudem bis zu einige hundert Mal ...
Anzeige
Anzeige

CeBIT 2012: Die Maßschneiderei für TV-Stationen und Videoarchive
06.02.2012 | CeBIT 2012
ETF auf hochverzinsliche Anleihen von SPDR auf Xetra gestartet
06.02.2012 | Wirtschaft Finanzen
Stanford engineers weld nanowires with light
06.02.2012 | Materialwissenschaften
Erneuerbare Energien an den Markt bringen
06.02.2012 | Veranstaltungsnachrichten
Safer Internet Day: 2011 weniger, aber zielgenauere
06.02.2012 | Veranstaltungsnachrichten
Die App Economy: Medientage Special zu Geschäftsmodellen im mobilen Ökosystem
06.02.2012 | Veranstaltungsnachrichten