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 Innovative Werkstoffe für Rotorblätter
26.03.2019 | Leibniz Universität Hannover

nachricht Haensel AMS und Universität Amsterdam starten Innovationswettbewerb für Dynamic Pricing
21.03.2019 | Haensel AMS GmbH

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: Neues Gen mit möglicher Rolle bei Metastasierung identifiziert

Gen nach römischer Göttin Minerva benannt, da Immunzellen im Kopf der Fruchtfliege stecken bleiben

Weisen Tumore eine bestimmte Kombination von Zuckern – das sogenannte T-Antigen – auf, breiten sie sich mit größerer Wahrscheinlichkeit im Körper aus und töten...

Im Focus: New gene potentially involved in metastasis identified

Gene named after Roman goddess Minerva as immune cells get stuck in the fruit fly’s head

Cancers that display a specific combination of sugars, called T-antigen, are more likely to spread through the body and kill a patient. However, what regulates...

Im Focus: Saxony5 und Industrie 4.0 Modellfabrik präsentieren sich auf Hannover Messe

Vom 1. bis 4. April 2019 ist die HTW Dresden mit der Industrie 4.0 Modellfabrik und dem Projekt Saxony5 auf der Hannover Messe vertreten. Am Gemeinschaftstand der sächsischen Hochschulen für angewandte Forschung (HAW) „Forschung für die Zukunft“ stellen die Dresdner Forscher aktuelle Projekte zum kollaborativen Arbeiten und deren Anwendungen in der Industrie vor.

Virtuell können die Besucher von Hannover aus auf dem Tablet ihre Züge gegen den kollaborativen Roboter YuMi, der in der Modellfabrik in Dresden steht, setzen....

Im Focus: Hochdruckwasserstrahlen zum flächigen Materialabtrag von hochfesten Werkstoffen erprobt

Beim Fräsen hochfester Werkstoffe wie Oxidkeramik oder Sondermetalle – und besonders bei der Schruppbearbeitung – verschleißen Werkzeuge schnell. Für Unternehmen ist die Bearbeitung dieser Werkstoffe deshalb mit hohen Kosten verbunden. Im Projekt »HydroMill« hat das Fraunhofer-Institut für Produktionstechnologie IPT aus Aachen mit seinen Projektpartnern nun gezeigt, dass sich der Hochdruckwasserstrahl zum flächigen Materialabtrag von hochfesten Werkstoffen eignet. War der Einsatz von Wasserstrahlen bislang auf die Schneidbearbeitung beschränkt, zeigen die Projektergebnisse, wie sich hochfeste Werkstoffe kosten- und ressourcenschonender als bisher flächig abtragen lassen.

Diese neue und zur konventionellen Schruppbearbeitung alternative Anwendung der Wasserstrahlbearbeitung untersuchten die Aachener Ingenieure gemeinsam mit...

Im Focus: Die Zähmung der Lichtschraube

Wissenschaftler vom DESY und MPSD erzeugen in Festkörpern hohe-Harmonische Lichtpulse mit geregeltem Polarisationszustand, indem sie sich die Kristallsymmetrie und attosekundenschnelle Elektronendynamik zunutze machen. Die neu etablierte Technik könnte faszinierende Anwendungen in der ultraschnellen Petahertz-Elektronik und in spektroskopischen Untersuchungen neuartiger Quantenmaterialien finden.

Der nichtlineare Prozess der Erzeugung hoher Harmonischer (HHG) in Gasen ist einer der Grundsteine der Attosekundenwissenschaft (eine Attosekunde ist ein...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Industrie 4.0 - Herausforderungen & Wege in der Ingenieurausbildung

26.03.2019 | Veranstaltungen

Größte nationale Tagung 2019 für Nuklearmedizin in Bremen

21.03.2019 | Veranstaltungen

6. Magdeburger Brand- und Explosionsschutztage vom 25. bis 26.3. 2019

21.03.2019 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Künstliche Intelligenz forscht mit

26.03.2019 | Informationstechnologie

Neues Gen mit möglicher Rolle bei Metastasierung identifiziert

26.03.2019 | Biowissenschaften Chemie

Im nicht mehr ewigen Eis – Rostocker Forscher untersuchen Leben in der Antarktis

26.03.2019 | Geowissenschaften

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics