Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

BMBF fördert Standard für IT-Sicherheit

01.10.2003


Garantie für Hard- und Software sowie Netzwerk- und Anwendungsebene

... mehr zu:
»BMBF »Computersystem »Elektronik

Trotz des Einsatzes von immer mehr Elektronik in sicherheitsrelevanten Bereichen fehlt bislang eine Standardmethode, die das fehlerfreie Funktionieren der Technik garantiert. Das Bundesministerium für Bildung und Forschung (BMBF) fördert daher Arbeiten zum so genannten geschlossenen integrierten Korrektheitsbeweis mit Methoden der Verifikation. Er soll Fehler bereits im Entwurf von autonomen oder integrierten Computersystemen erkennen und korrigieren können. Für die erste zweijährige Forschungsphase werde das BMBF 7,2 Millionen Euro zur Verfügung stellen, teilte das Ministerium am Mittwoch in Berlin mit. Die Federführung für das Projekt liegt bei der Universität des Saarlandes. Auf wissenschaftlicher Seite arbeitet sie mit den Technischen Universitäten Darmstadt, Karlsruhe und München sowie dem Deutschen Forschungszentrum für Künstliche Intelligenz und dem Max-Planck-Institut in Saarbrücken zusammen. Industrielle Partner sind die Infineon Technologies AG, die T-Systems Nova GmbH, die BMW AG und die mittelständische Absint GmbH.

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 Demonstratoren entwickeln und mit ihnen Computersysteme für Chipkarten, Telekommunikation und Automobilelektronik von der Hardware bis zur Anwendungssoftware überprüfen.


Die Entwicklung eines integrierten Korrektheitsbeweises gilt zurzeit als eine der größten Herausforderungen der Informatik. Er soll die Funktionen bei der Entwicklung von Hard- und Systemsoftware bis zur Netzwerk- und Anwendungsebene laufend überprüfen. Für die Industrie ist die Beherrschung der Verifikationstechnologie von erheblicher Bedeutung. Sie spart Geld und Zeit bei der Entwicklung neuer Systeme und vermeidet Kosten, die bei der Behebung von Systemfehlern in der Elektronik entstehen können.

Verisoft ist das erste Projekt der Leitvision "Leben in der vernetzten Welt - individuell und sicher", die im Rahmen des BMBF Futur - Prozesses entwickelt wurde. Die rund 1.000 beteiligten Experten empfahlen im Bereich der IT - Sicherheit einen Schwerpunkt zu setzen.

Pressereferat | BMBF
Weitere Informationen:
http://www.verisoft.de

Weitere Berichte zu: BMBF Computersystem Elektronik

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Gitterdynamiken in ionischen Leitern
18.10.2017 | Justus-Liebig-Universität Gießen

nachricht Gewebe mit Hilfe von Stammzellen regenerieren
16.10.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Schnelle individualisierte Therapiewahl durch Sortierung von Biomolekülen und Zellen mit Licht

Im Blut zirkulierende Biomoleküle und Zellen sind Träger diagnostischer Information, deren Analyse hochwirksame, individuelle Therapien ermöglichen. Um diese Information zu erschließen, haben Wissenschaftler des Fraunhofer-Instituts für Lasertechnik ILT ein Mikrochip-basiertes Diagnosegerät entwickelt: Der »AnaLighter« analysiert und sortiert klinisch relevante Biomoleküle und Zellen in einer Blutprobe mit Licht. Dadurch können Frühdiagnosen beispielsweise von Tumor- sowie Herz-Kreislauf-Erkrankungen gestellt und patientenindividuelle Therapien eingeleitet werden. Experten des Fraunhofer ILT stellen diese Technologie vom 13.–16. November auf der COMPAMED 2017 in Düsseldorf vor.

Der »AnaLighter« ist ein kompaktes Diagnosegerät zum Sortieren von Zellen und Biomolekülen. Sein technologischer Kern basiert auf einem optisch schaltbaren...

Im Focus: Neue Möglichkeiten für die Immuntherapie beim Lungenkrebs entdeckt

Eine gemeinsame Studie der Universität Bern und des Inselspitals Bern zeigt, dass spezielle Bindegewebszellen, die in normalen Blutgefässen die Wände abdichten, bei Lungenkrebs nicht mehr richtig funktionieren. Zusätzlich unterdrücken sie die immunologische Bekämpfung des Tumors. Die Resultate legen nahe, dass diese Zellen ein neues Ziel für die Immuntherapie gegen Lungenkarzinome sein könnten.

Lungenkarzinome sind die häufigste Krebsform weltweit. Jährlich werden 1.8 Millionen Neudiagnosen gestellt; und 2016 starben 1.6 Millionen Menschen an der...

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Im Focus: Neutron star merger directly observed for the first time

University of Maryland researchers contribute to historic detection of gravitational waves and light created by event

On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...

Im Focus: Breaking: the first light from two neutron stars merging

Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.

Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Mobilität 4.0: Konferenz an der Jacobs University

18.10.2017 | Veranstaltungen

Smart MES 2017: die Fertigung der Zukunft

18.10.2017 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - Dezember 2017

17.10.2017 | Veranstaltungen

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

Schnelle individualisierte Therapiewahl durch Sortierung von Biomolekülen und Zellen mit Licht

18.10.2017 | Biowissenschaften Chemie

Biokunststoffe könnten auch in Traktoren die Richtung angeben

18.10.2017 | Messenachrichten

»ILIGHTS«-Studie gestartet: Licht soll Wohlbefinden von Schichtarbeitern verbessern

18.10.2017 | Energie und Elektrotechnik