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: Topologische Quantenzustände einfach aufspüren

Durch gezieltes Aufheizen von Quantenmaterie können exotische Materiezustände aufgespürt werden. Zu diesem überraschenden Ergebnis kommen Theoretische Physiker um Nathan Goldman (Brüssel) und Peter Zoller (Innsbruck) in einer aktuellen Arbeit im Fachmagazin Science Advances. Sie liefern damit ein universell einsetzbares Werkzeug für die Suche nach topologischen Quantenzuständen.

In der Physik existieren gewisse Größen nur als ganzzahlige Vielfache elementarer und unteilbarer Bestandteile. Wie das antike Konzept des Atoms bezeugt, ist...

Im Focus: Unterwasserroboter soll nach einem Jahr in der arktischen Tiefsee auftauchen

Am Dienstag, den 22. August wird das Forschungsschiff Polarstern im norwegischen Tromsø zu einer besonderen Expedition in die Arktis starten: Der autonome Unterwasserroboter TRAMPER soll nach einem Jahr Einsatzzeit am arktischen Tiefseeboden auftauchen. Dieses Gerät und weitere robotische Systeme, die Tiefsee- und Weltraumforscher im Rahmen der Helmholtz-Allianz ROBEX gemeinsam entwickelt haben, werden nun knapp drei Wochen lang unter Realbedingungen getestet. ROBEX hat das Ziel, neue Technologien für die Erkundung schwer erreichbarer Gebiete mit extremen Umweltbedingungen zu entwickeln.

„Auftauchen wird der TRAMPER“, sagt Dr. Frank Wenzhöfer vom Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar- und Meeresforschung (AWI) selbstbewusst. Der...

Im Focus: Mit Barcodes der Zellentwicklung auf der Spur

Darüber, wie sich Blutzellen entwickeln, existieren verschiedene Auffassungen – sie basieren jedoch fast ausschließlich auf Experimenten, die lediglich Momentaufnahmen widerspiegeln. Wissenschaftler des Deutschen Krebsforschungszentrums stellen nun im Fachjournal Nature eine neue Technik vor, mit der sich das Geschehen dynamisch erfassen lässt: Mithilfe eines „Zufallsgenerators“ versehen sie Blutstammzellen mit genetischen Barcodes und können so verfolgen, welche Zelltypen aus der Stammzelle hervorgehen. Diese Technik erlaubt künftig völlig neue Einblicke in die Entwicklung unterschiedlicher Gewebe sowie in die Krebsentstehung.

Wie entsteht die Vielzahl verschiedener Zelltypen im Blut? Diese Frage beschäftigt Wissenschaftler schon lange. Nach der klassischen Vorstellung fächern sich...

Im Focus: Fizzy soda water could be key to clean manufacture of flat wonder material: Graphene

Whether you call it effervescent, fizzy, or sparkling, carbonated water is making a comeback as a beverage. Aside from quenching thirst, researchers at the University of Illinois at Urbana-Champaign have discovered a new use for these "bubbly" concoctions that will have major impact on the manufacturer of the world's thinnest, flattest, and one most useful materials -- graphene.

As graphene's popularity grows as an advanced "wonder" material, the speed and quality at which it can be manufactured will be paramount. With that in mind,...

Im Focus: Forscher entwickeln maisförmigen Arzneimittel-Transporter zum Inhalieren

Er sieht aus wie ein Maiskolben, ist winzig wie ein Bakterium und kann einen Wirkstoff direkt in die Lungenzellen liefern: Das zylinderförmige Vehikel für Arzneistoffe, das Pharmazeuten der Universität des Saarlandes entwickelt haben, kann inhaliert werden. Professor Marc Schneider und sein Team machen sich dabei die körpereigene Abwehr zunutze: Makrophagen, die Fresszellen des Immunsystems, fressen den gesundheitlich unbedenklichen „Nano-Mais“ und setzen dabei den in ihm enthaltenen Wirkstoff frei. Bei ihrer Forschung arbeiteten die Pharmazeuten mit Forschern der Medizinischen Fakultät der Saar-Uni, des Leibniz-Instituts für Neue Materialien und der Universität Marburg zusammen Ihre Forschungsergebnisse veröffentlichten die Wissenschaftler in der Fachzeitschrift Advanced Healthcare Materials. DOI: 10.1002/adhm.201700478

Ein Medikament wirkt nur, wenn es dort ankommt, wo es wirken soll. Wird ein Mittel inhaliert, muss der Wirkstoff in der Lunge zuerst die Hindernisse...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Wissenschaftliche Grundlagen für eine erfolgreiche Klimapolitik

21.08.2017 | Veranstaltungen

DGI-Forum in Wittenberg: Fake News und Stimmungsmache im Netz

21.08.2017 | Veranstaltungen

European Conference on Eye Movements: Internationale Tagung an der Bergischen Universität Wuppertal

18.08.2017 | Veranstaltungen

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

Studie für Patienten mit Prostatakrebs: Einteilung in genomische Gruppen soll Therapie präzisieren

21.08.2017 | Interdisziplinäre Forschung

Forscher entwickeln zweidimensionalen Kristall mit hoher Leitfähigkeit

21.08.2017 | Physik Astronomie

Ein neuer Indikator für marine Ökosystem-Veränderungen - der Dia/Dino-Index

21.08.2017 | Ökologie Umwelt- Naturschutz