Home
EU-Projekt Predator
Startschuß für Forschungsprojekt zur Zeit-Analyse von sicherheitskritischen Systemen
30.01.2008 | Redakteur: Claudia Mallok
Mit einer Tagung am 1. Februar in Bologna startet das EU-Projekt „Predator“. Im Rahmen des Projektes, das über drei Jahre mit 2,8 Mio. Euro gefördert wird, sollen komplexe Systeme von vornherein so entworfen werden, dass ihr Zeitverhalten präzise vorhergesagt werden kann. Beteiligt sind europäische Forschungsinstitute sowie die Flugzeug- und Automobilindustrie vertreten durch EADS Airbus und Bosch.
 | |
|
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 diesem 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.
Reagiert die Elektronik in Autos und Flugzeugen immer schnell genug?
Die Leistung von Prozessoren ist in den letzten zehn Jahren enorm gesteigert worden. Sie zielte vor allem auf die Benutzer von PCs, 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 Autos zum Einsatz kommen.
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.
Bisher fehlten zuverlässige Methoden, um Zeitverhalten von Hochleistungsprozessoren zu ermitteln
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 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.Der Startschuß fällt am 1. Februar.
Social Networks:
Themenverwandte Beiträge
Echtzeit: Analyse und Verifikation von Echtzeitsystemen
04.02.2010 - Seit gut einem Jahr agieren die drei deutschen Anbieter von Software-Entwicklungstools AbsInt, Gliwa und Symtavision als Allianz der „Real-Time Experts“. Sie bieten einen Baukasten an Tools zur Vorhersage, Optimierung, Messung und Absicherung des Zeitverhaltens von Echtzeitsystemen.
weiter
Universität des Saarlandes: Europäische Konferenz für Softwareforschung in Saarbrücken
Universität des Saarlandes: Europäische Konferenz für Softwareforschung in Saarbrücken
21.03.2011 - Die größte europäische Konferenz für Softwareforschung findet vom 26. März bis 3. April in Saarbrücken statt. Auf der ETAPS diskutieren Informatikforscher aus der ganzen Welt, wie aufwändige Softwaresysteme sicherer und zuverlässiger gestaltet werden können.
weiter
Esterel und AbsInt: Abkommen zur Integration von Tools für sicherheitskritische Systeme
Esterel und AbsInt: Abkommen zur Integration von Tools für sicherheitskritische Systeme
24.09.2008 - Esterel Technologies und AbsInt haben eine strategische Partnerschaft geschlossen, wonach die Softwarewerkzeuge zur Laufzeit- und Stackverbrauchs-Analyse von AbsInt als Teil der SCADE- Produktfamilie für die modellbasierte Entwicklung erhältlich sind.
weiter
Kommentare zu diesem Artikel
Lizenzierung urheberrechtlich geschützter Artikel
Nutzen Sie diesen Artikel ID 240970 oder andere Fachinformationen für Ihr Marketing. Wir bieten Ihnen die Nutzungsrechte für Ihre Website, Ihren Newsletter oder Ihre Kundenzeitschrift. Für alle Fragen wenden sie sich bitte an Frau Maurer unter Tel. 0931 / 418-2888 oder unseren Content-Dienstleister www.mycontentfactory.de .
Artikel versenden
Druckversion
Artikel als PDF
Artikel Bewertung
Medizintechnik
Compliance - Nachweis in wenigen Minuten
Wie ein zentraler, softwarezentrierter Entwicklungsprozess Herstellern von Medizintechnik hilft, Standardkonformität, Requirements Management und Risikomanagement in den Griff zu bekommen. weiter
Universität des Saarlandes Fakultät 8/Naturwissenschaftl. Technische Fakultät III
Saarbrücken, Deutschland
Wandler für positive Eingangs- zu negativer Ausgangsspannung
Inverter wandeln positive Gleichspannungen in negative. Die Design-Note „Positive Input to Negative Output Conversion Using a Buck Converter“ stellt zwei Schaltungen mit hohem Wirkungsgrad vor.
Inverter wandeln positive Gleichspannungen in negative. Die Design-Note „Positive Input to Negative Output Conversion Using a Buck Converter“ stellt zwei Schaltungen mit hohem Wirkungsgrad vor.
OPC-Konnektivität bei geschäftskritischen Anwendungen
Dieses Whitepaper informiert, wie OPC-Konnektivität sichergestellt wird
Dieses Whitepaper informiert, wie OPC-Konnektivität sichergestellt wird
Effektive OPC-Sicherheit für Steuerungssysteme
Aktuelle Cyber-Attacken, wie z. B. die des Stuxnet-Wurms, sind ein Alarmzeichen für die Automatisierungsbranche. Der Schutz der Steuerungssysteme ist unbedingt notwendig.
Aktuelle Cyber-Attacken, wie z. B. die des Stuxnet-Wurms, sind ein Alarmzeichen für die Automatisierungsbranche. Der Schutz der Steuerungssysteme ist unbedingt notwendig.
Software-Entwicklung für integrierte modulare Avionik
Whitepaper über aktuelle Trends in der Entwicklung von sicherheitskritischen Avioniksystemen.
Whitepaper über aktuelle Trends in der Entwicklung von sicherheitskritischen Avioniksystemen.
Copyright © 2012 Vogel Business Media
(nicht registrierter User)