Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Neues Projekt CONVERS – Innovative Verifikationsmethodik für die Sicherheit hochkomplexer Systeme

07.08.2017

Ob in der Automobiltechnik, der Industrieautomatisierung oder der Medizintechnik – die Fortschritte in der Computertechnik führen zu immer komplexeren elektronischen Systemen. Gleichzeitig spielen Sicherheit und Zuverlässigkeit eine außerordentlich große Rolle. Im nun gestarteten Projekt CONVERS entwickelt der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) unter Leitung von Prof. Dr. Rolf Drechsler neuartige Verifikationsmethoden für heterogene Systeme, welche die korrekte und sichere Funktionsweise des Gesamtsystems gewährleisten.

Obwohl viele der heutigen hochkomplexen Systeme aus digitalen und analogen Komponenten bestehen, gibt es bisher keine durchgängigen Verifikationsmethoden, die sowohl das digitale als auch das analoge Systemverhalten berücksichtigen. Dies beeinträchtigt nicht nur die Verifikationsqualität, sondern führt auch dazu, dass der ohnehin schon hohe Aufwand im Systementwurf noch weiter steigt.


Quelle: COSEDA Technologies GmbH

Ziel des vom Bundesministerium für Bildung und Forschung (BMBF) durch die Förderinitiative KMU-innovativ mit rund 770.000 Euro über drei Jahre geförderten Projekts CONVERS ist es, die automatische Verifikation von gemischten analog-digitalen Systemen (Analog-Mixed-Signal(AMS)-Systems) in einer möglichst frühen Entwurfsphase voranzubringen.

Hierbei setzen die Wissenschaftler des DFKI-Forschungsbereichs auf die sogenannte Constraint-gesteuerte Zufallssimulation (engl. Constrained Random Verification, CRV), die bereits sehr erfolgreich für die Verifikation rein digitaler Systeme zum Einsatz kommt.

Im Gegensatz zu klassischen Methoden, bei denen jeweils ein Szenario zur Überprüfung des erwarteten Systemverhaltens beschrieben wird, lässt sich hierbei mit Hilfe von logischen Bedingungen (Constraints) der gesamte mögliche Eingaberaum beschreiben, so dass eine sehr große Anzahl von Testsequenzen automatisiert generiert und per Simulation überprüft werden kann.

Für komplexe digitale Systeme sind Verfahren auf CRV-Basis heute unabdingbar, da nur damit die Verifikationsziele, insbesondere eine hohe Verifikationsüberdeckung, erreicht werden können. In CONVERS wird diese Methode in der Entwurfsphase nicht mehr nur auf digitales, sondern auch auf analoges Systemverhalten und somit auf das Gesamtsystem angewandt.

Dafür nutzen die Wissenschaftler virtuelle Prototypen, d.h. simulierbare Modelle der Systeme in Form von Computerprogrammen, welche die effiziente Simulation von Anwendungsszenarien des Gesamtsystems erlauben. Ziel ist es, die identischen Ergebnisse, welche durch die Constraint-gesteuerte Zufallssimulation rein digitaler Systeme erreicht werden, auch für heterogene Systeme zu erreichen.

So sollen mit Hilfe der entwickelten Methoden, Bibliotheken und Werkzeuge bei gleichen Beschreibungsaufwand deutlich mehr Testsequenzen mit einer höheren Testabdeckung erzeugt werden. Auf diese Weise lässt sich der Verifikationsaufwand erheblich reduzieren und die korrekte und sichere Funktionsweise auch hochkomplexer elektronischer Systeme gewährleisten.

Das DFKI arbeitet in CONVERS mit dem Startup COSEDA Technologies zusammen, die mit Hilfe der im Projekt entwickelten innovativen Verfahren ihr Modellierungswerkzeug COSIDE zu einem Verifikationswerkzeug weiterentwickeln.

Weitere Informationen unter www.dfki.de/cps/research/projects/CONVERS

Bildmaterial:
Unter https://cloud.dfki.de/owncloud/index.php/s/8gJpOLp2vd07kK4 steht ein Bild zum Download bereit. Dieses können Sie mit Nennung der Quelle "COSEDA Technologies GmbH" gerne verwenden.

Ansprechpartner:
Dr. Daniel Große
Cyber-Physical Systems
Tel.: +49 421 218 63935
E-Mail: daniel.grosse@dfki.de

Pressekontakt:
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Team Unternehmenskommunikation Bremen
Tel.: +49 421 178 45 4180
E-Mail: uk-hb@dfki.de

Andrea Fink DFKI Bremen | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Drohnen sehen auch im Dunkeln
20.09.2017 | Universität Zürich

nachricht Hochautomatisiertes Fahren bei Schnee und Regen: Robuste Warnehmung dank intelligentem Sensormix
18.09.2017 | FOKUS - Fraunhofer-Institut für Offene Kommunikationssysteme

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Tiny lasers from a gallery of whispers

New technique promises tunable laser devices

Whispering gallery mode (WGM) resonators are used to make tiny micro-lasers, sensors, switches, routers and other devices. These tiny structures rely on a...

Im Focus: Wundermaterial Graphen: Gewölbt wie das Polster eines Chesterfield-Sofas

Graphen besitzt extreme Eigenschaften und ist vielseitig verwendbar. Mit einem Trick lassen sich sogar die Spins im Graphen kontrollieren. Dies gelang einem HZB-Team schon vor einiger Zeit: Die Physiker haben dafür eine Lage Graphen auf einem Nickelsubstrat aufgebracht und Goldatome dazwischen eingeschleust. Im Fachblatt 2D Materials zeigen sie nun, warum dies sich derartig stark auf die Spins auswirkt. Graphen kommt so auch als Material für künftige Informationstechnologien infrage, die auf der Verarbeitung von Spins als Informationseinheiten basieren.

Graphen ist wohl die exotischste Form von Kohlenstoff: Alle Atome sind untereinander nur in der Ebene verbunden und bilden ein Netz mit sechseckigen Maschen,...

Im Focus: Hochautomatisiertes Fahren bei Schnee und Regen: Robuste Warnehmung dank intelligentem Sensormix

Schlechte Sichtverhältnisse bei Regen oder Schnellfall sind für Menschen und hochautomatisierte Fahrzeuge eine große Herausforderung. Im europäischen Projekt RobustSENSE haben die Forscher von Fraunhofer FOKUS mit 14 Partnern, darunter die Daimler AG und die Robert Bosch GmbH, in den vergangenen zwei Jahren eine Softwareplattform entwickelt, auf der verschiedene Sensordaten von Kamera, Laser, Radar und weitere Informationen wie Wetterdaten kombiniert werden. Ziel ist, eine robuste und zuverlässige Wahrnehmung der Straßensituation unabhängig von der Komplexität und der Sichtverhältnisse zu gewährleisten. Nach der virtuellen Erprobung des Systems erfolgt nun der Praxistest, unter anderem auf dem Berliner Testfeld für hochautomatisiertes Fahren.

Starker Schneefall, ein Ball rollt auf die Fahrbahn: Selbst ein Mensch kann mitunter nicht schnell genug erkennen, ob dies ein gefährlicher Gegenstand oder...

Im Focus: Ultrakurze Momentaufnahmen der Dynamik von Elektronen in Festkörpern

Mit Hilfe ultrakurzer Laser- und Röntgenblitze haben Wissenschaftler am Max-Planck-Institut für Quantenoptik (Garching bei München) Schnappschüsse der bislang kürzesten Bewegung von Elektronen in Festkörpern gemacht. Die Bewegung hielt 750 Attosekunden lang an, bevor sie abklang. Damit stellten die Wissenschaftler einen neuen Rekord auf, ultrakurze Prozesse innerhalb von Festkörpern aufzuzeichnen.

Wenn Röntgenstrahlen auf Festkörpermaterialien oder große Moleküle treffen, wird ein Elektron von seinem angestammten Platz in der Nähe des Atomkerns...

Im Focus: Ultrafast snapshots of relaxing electrons in solids

Using ultrafast flashes of laser and x-ray radiation, scientists at the Max Planck Institute of Quantum Optics (Garching, Germany) took snapshots of the briefest electron motion inside a solid material to date. The electron motion lasted only 750 billionths of the billionth of a second before it fainted, setting a new record of human capability to capture ultrafast processes inside solids!

When x-rays shine onto solid materials or large molecules, an electron is pushed away from its original place near the nucleus of the atom, leaving a hole...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Höher - schneller - weiter: Der Faktor Mensch in der Luftfahrt

20.09.2017 | Veranstaltungen

Wälder unter Druck: Internationale Tagung zur Rolle von Wäldern in der Landschaft an der Uni Halle

20.09.2017 | Veranstaltungen

7000 Teilnehmer erwartet: 69. Urologen-Kongress startet heute in Dresden

20.09.2017 | Veranstaltungen

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

Drohnen sehen auch im Dunkeln

20.09.2017 | Informationstechnologie

Pfeilgiftfrösche machen auf „Kommando“ Brutpflege für fremde Kaulquappen

20.09.2017 | Biowissenschaften Chemie

Frühwarnsystem für gefährliche Gase: TUHH-Forscher erreichen Meilenstein

20.09.2017 | Energie und Elektrotechnik