Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Verisoft holt Nadeln aus Heuhaufen

02.03.2004


Mit einer Explosion der Trägerrakete endete der Jungfernflug der Ariane 5 am 4. Juni 1996. Ein scheinbar nebensächliches Softwareprogramm versagte. Es war ohne weitere Prüfung von der Ariane 4 übernommen worden. Computerfehler wie dieser können Verluste in Milliardenhöhe verursachen. Wissenschaftler der Universität des Saarlandes entwickeln derzeit im Rahmen des Projekts Verisoft Möglichkeiten, mit denen solche Fehler und deren verhängnisvolle Folgen von vornherein ausgeschlossen werden sollen.

... mehr zu:
»Airbag »Anwendungssoftware

Verisoft ist ein langfristig angelegtes Forschungsprojekt, das in den nächsten zwei Jahren mit rund 8 Millionen Euro vom Bundesministerium für Bildung und Forschung gefördert wird. Beteiligt sind u.a. das Deutsche Forschungszentrum für Künstliche Intelligenz GmbH und das Max-Planck-Institut für Informatik in Saarbrücken, die Universität des Saarlandes sowie Industriepartner aus dem Mittelstand (AbsInt GmbH) und aus der Großindustrie (BMW, Infineon, T-Systems).

Ziel von Verisoft ist die nachweislich korrekte Funktionsweise von Computersystemen als Wettbewerbsvorteil für Produkte „Made in Germany“. Professor Wolfgang Paul vom Institut für Rechnerarchitektur der Universität Saarbrücken erklärt die Funktionsweise von Verisoft so: „Wenn Menschen Rechnersysteme bauen, verbringen sie ca. 60 Prozent des Aufwandes mit Testen und mit Fehlersuche, d.h. mit der Suche nach der Nadel im Heuhaufen. Dass es keine Nadeln im Heuhaufen gibt, können sie nicht beweisen. Mit der neu entwickelten Technologie, die wir für Prozessoren beherrschen und die wir auf Gesamtsysteme ausdehnen wollen, kann die Abwesenheit der Nadel im Heuhafen bewiesen werden.“


Zunächst sollen die mathematischen Grundlagen entwickelt, vollständig formalisiert und für Informatikanwendungen in den Bereichen Embedded Systems, Kommunikation und Anwendungssoftware erschlossen werden. Die Projektpartner wollen darauf aufbauend für Chipkarten, Telekommunikation und Automobilelektronik so genannte Demonstratoren entwickeln. Das sind ganze Computersysteme für die von der Hardware bis zur Anwendungssoftware die Abwesenheit von Entwurfsfehlern nachgewiesen wird.

Die Entwicklung solcher integrierter Korrektheitsbeweise gilt zurzeit als eine der größten Herausforderungen der Informatik. Die Beweise werden dabei computergestützt geführt, um menschliches Versagen der beteiligten Wissenschaftler nach Möglichkeit auszuschließen.

Die gewonnenen Erkenntnisse und erzielten Fortschritte sollen deutschen Unternehmen aus dem Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor milliardenschwere Einsparpotenziale bringen. Die Industrie spart Geld und Zeit bei der Entwicklung neuer Systeme und vermeidet Kosten, die bei der Behebung von Systemfehlern in der Elektronik entstehen können. Für die Industrie ist die Beherrschung der Verifikationstechnologie deshalb von erheblicher Bedeutung.

Beispielsweise arbeiten in einem Luxusauto der 7er-Klasse von BMW mehr als 70 verschiedene elektronische Systeme zusammen. Motor, Bremsen, Fahrwerk, alles wird von Computern gesteuert. Doch was passiert, wenn dabei ein Baustein nicht hundertprozentig funktioniert? Thomas In der Rieden, Projektleiter von Verisoft, nennt den Airbag als Beispiel: „Stellen Sie sich vor, Sie fahren mit 30 km/h durch eine verkehrsberuhigte Zone und plötzlich springt Ihnen der Airbag ins Gesicht. Oder schlimmer, wenn Sie mit 180 km/h gegen einen Brückenpfeiler rasen und der Airbag löst nicht aus. Solche Situationen sollen durch die Computerverifizierung ausgeschlossen werden.“

Kontakt:

Verisoft
Herrn Thomas In der Rieden
Postfach 151150, 66041 Saarbrücken
Tel.: 0681-302-3585, Fax: -4132
E-Mail: info@verisoft.de

Prof. Dr. Wolfgang Paul
Institut für Rechnerarchitektur und Parallelrechner der Universität des Saarlandes
Tel.: 0681-302-2436

| Staatskanzlei des Saarlandes
Weitere Informationen:
http://www.verisoft.de

Weitere Berichte zu: Airbag Anwendungssoftware

Weitere Nachrichten aus der Kategorie CeBIT 2004:

nachricht FwD begeisterte CeBIT-Besucher
19.04.2004 | Funkwerk Dabendorf GmbH

nachricht D-Link unter die Top 50 der wichtigsten Cebit Aussteller gewählt
31.03.2004 | D-Link

Alle Nachrichten aus der Kategorie: CeBIT 2004 >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: TU Chemnitz präsentiert weltweit einzigartige Pilotanlage für nachhaltigen Leichtbau

Wickelprinzip umgekehrt: Orbitalwickeltechnologie soll neue Maßstäbe in der großserientauglichen Fertigung komplexer Strukturbauteile setzen

Mitarbeiterinnen und Mitarbeiter des Bundesexzellenzclusters „Technologiefusion für multifunktionale Leichtbaustrukturen" (MERGE) und des Instituts für...

Im Focus: Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

58 europäische Industrie- und Forschungspartner aus 11 Ländern forschten unter der Leitung des VIRTUAL VEHICLE drei Jahre lang, um Europas führende Position im Bereich Embedded Systems und dem Internet of Things zu stärken. Die Ergebnisse von DEWI (Dependable Embedded Wireless Infrastructure) wurden heute in Graz präsentiert. Zu sehen war eine Fülle verschiedenster Anwendungen drahtloser Sensornetzwerke und drahtloser Kommunikation – von einer Forschungsrakete über Demonstratoren zur Gebäude-, Fahrzeug- oder Eisenbahntechnik bis hin zu einem voll vernetzten LKW.

Was vor wenigen Jahren noch nach Science-Fiction geklungen hätte, ist in seinem Ansatz bereits Wirklichkeit und wird in Zukunft selbstverständlicher Teil...

Im Focus: Weltweit einzigartiger Windkanal im Leipziger Wolkenlabor hat Betrieb aufgenommen

Am Leibniz-Institut für Troposphärenforschung (TROPOS) ist am Dienstag eine weltweit einzigartige Anlage in Betrieb genommen worden, mit der die Einflüsse von Turbulenzen auf Wolkenprozesse unter präzise einstellbaren Versuchsbedingungen untersucht werden können. Der neue Windkanal ist Teil des Leipziger Wolkenlabors, in dem seit 2006 verschiedenste Wolkenprozesse simuliert werden. Unter Laborbedingungen wurden z.B. das Entstehen und Gefrieren von Wolken nachgestellt. Wie stark Luftverwirbelungen diese Prozesse beeinflussen, konnte bisher noch nicht untersucht werden. Deshalb entstand in den letzten Jahren eine ergänzende Anlage für rund eine Million Euro.

Die von dieser Anlage zu erwarteten neuen Erkenntnisse sind wichtig für das Verständnis von Wetter und Klima, wie etwa die Bildung von Niederschlag und die...

Im Focus: Nanoskopie auf dem Chip: Mikroskopie in HD-Qualität

Neue Erfindung der Universitäten Bielefeld und Tromsø (Norwegen)

Physiker der Universität Bielefeld und der norwegischen Universität Tromsø haben einen Chip entwickelt, der super-auflösende Lichtmikroskopie, auch...

Im Focus: Löschbare Tinte für den 3-D-Druck

Im 3-D-Druckverfahren durch Direktes Laserschreiben können Mikrometer-große Strukturen mit genau definierten Eigenschaften geschrieben werden. Forscher des Karlsruher Institus für Technologie (KIT) haben ein Verfahren entwickelt, durch das sich die 3-D-Tinte für die Drucker wieder ‚wegwischen‘ lässt. Die bis zu hundert Nanometer kleinen Strukturen lassen sich dadurch wiederholt auflösen und neu schreiben - ein Nanometer entspricht einem millionstel Millimeter. Die Entwicklung eröffnet der 3-D-Fertigungstechnik vielfältige neue Anwendungen, zum Beispiel in der Biologie oder Materialentwicklung.

Beim Direkten Laserschreiben erzeugt ein computergesteuerter, fokussierter Laserstrahl in einem Fotolack wie ein Stift die Struktur. „Eine Tinte zu entwickeln,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Internationaler Tag der Immunologie - 29. April 2017

28.04.2017 | Veranstaltungen

Kampf gegen multiresistente Tuberkulose – InfectoGnostics trifft MYCO-NET²-Partner in Peru

28.04.2017 | Veranstaltungen

123. Internistenkongress: Traumata, Sprachbarrieren, Infektionen und Bürokratie – Herausforderungen

27.04.2017 | Veranstaltungen

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

Über zwei Millionen für bessere Bordnetze

28.04.2017 | Förderungen Preise

Symbiose-Bakterien: Vom blinden Passagier zum Leibwächter des Wollkäfers

28.04.2017 | Biowissenschaften Chemie

Wie Pflanzen ihre Zucker leitenden Gewebe bilden

28.04.2017 | Biowissenschaften Chemie