Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Software in Zeiten der Digitalisierung sicherer machen

15.03.2019

Kieler Arbeitsgruppe für Zuverlässige Systeme präsentiert IT-Technologie auf der Hannover Messe

Unsere Welt wird smarter, komplexer und innovativer. Die Digitalisierung dringt in alle Lebensbereiche vor. Viele betroffene Bereiche sind sicherheitsrelevant, wie zum Beispiel autonomes Fahren, Industrie 4.0, Medizintechnik und Luft- und Raumfahrt.


Screenshot: So sieht es aus, wenn die G2-Technologie nach Fehlern sucht.

© Institut für Informatik


Prof. Dr. Dirk Nowotka

© privat

Damit Menschenleben nicht gefährdet werden und große wirtschaftliche Schäden gar nicht erst entstehen, verlässt sich die Industrie auf sichere und verlässliche Software.

Computeranwendungen arbeiten heute oft parallel und datenzentriert – und werden immer komplexer. Um ein hohes Sicherheitsniveau zu gewährleisten, werden neue Methoden benötigt. Das Kieler Forschungsteam um Professor Dirk Nowotka vom Institut für Informatik der Christian-Albrechts-Universität zu Kiel (CAU) stellt sein neues Verfahren „G2“ auf der Hannover Messe 2019 vor.

Gemeinsam mit seiner Arbeitsgruppe entwickelte Nowotka eine Technologie zur vollautomatischen Analyse von Datenabhängigkeiten in parallelen und komplexen Programmen.

„Diese Technologie bietet die Möglichkeit, komplexe Software in einer bisher nicht erreichten Genauigkeit umfassend zu analysieren. Zudem findet G2 Fehler in Systemen, welche durch einfaches Testen bisher nicht erkannt werden konnten. Die dabei verwendeten Algorithmen heben die Untersuchung von Datenabhängigkeiten auf eine neue Stufe“, so Nowotka.

Datenabhängigkeiten berechnen durch Programmcodeanalyse
Software besteht heutzutage aus der Integration vieler einzelner Module. Ob und auf welchem Wege zwei Module miteinander kommunizieren, ist aus dem Programmcode aufgrund der hohen Komplexität nur mit großem Aufwand nachvollziehbar.

Das Wissen über alle möglichen Datenabhängigkeiten zwischen Modulen ist jedoch Voraussetzung für die Entwicklung zuverlässiger Softwaresysteme.

„Das Softwareverhalten unter Laborbedingungen zu beobachten reicht nicht aus, um mit Sicherheit alle Datenabhängigkeiten zu erfassen“, weiß Nowotka. „G2 berechnet die Datenabhängigkeiten zwischen den Modulen, indem es den Programmcode analysiert. Eine Ausführung der Software ist dabei nicht notwendig.“ G2 wurde im Rahmen von Forschungsprojekten mit Industriebeteiligung in den Bereichen Automobil, Industrieanlagen und Luftfahrt erfolgreich erprobt.

Vom 1. bis 5. April 2019 präsentiert die Arbeitsgruppe ihre Technologie und seine Anwendungsmöglichkeiten am Stand der CAU auf der Hannover Messe (Halle 2, Research & Technology, Stand C07). Nowotka hält dazu am Montag, 1. April, um 15:00 Uhr einen englischsprachigen Vortrag mit dem Titel „Safety Verification is an Innovation Enabler“. Am Dienstag, 2. April, stellt Dirk Nowotka auf der Messebühne einen weiteren Ansatz vor, mit dessen Hilfe künstliche neuronale Netzwerke gegen gegnerische Eingriffe geschützt werden könnten.

Das Wichtigste in Kürze:


Was?

Vortrag: „Safety Verification is an Innovation Enabler“ und Exponat: Infostele mit digitalem Poster


Wer?

Prof. Dr. Dirk Nowotka


Wann?

Der englischsprachige Vortrag findet am Montag, 1. April, um 15:00 Uhr statt. Das Exponat ist vom 1. bis 5. April zu sehen.


Zweiter Vortrag am Dienstag, 2. April, um 14:30 Uhr


Wo?

CAU-Messestand C07 in Halle 2 „Research & Technology“, Messegelände (Eingang Nord 2), 30521 Hannover

Zur Person:
Professor Dr. Dirk Nowotka leitet die Arbeitsgruppe für Zuverlässige Systeme am Institut für Informatik der CAU. Vor seiner Berufung zum DFG-Heisenberg Professor an der CAU im Jahr 2011, habilitierte er sich an der Universität Stuttgart (2004-2011). Im Jahr 2004 arbeitete er an der ETH Zürich als wissenschaftlicher Assistent. Dirk Nowotka wurde an der Universität Turku, Finnland, im Fach Mathematik promoviert. Sein Hauptforschungsinteresse liegt in der Theorie und Praxis entscheidbarer mathematischer und logischer Verfahren für Sicherheitsanalysen von Softwaresystemen. Sein besonderes Interesse gilt der Sicherheit auf dem Gebiet der künstlichen Intelligenz.

Fotos/Material steht zum Download bereit:

http://www.uni-kiel.de/de/pressemitteilungen/2019/076-g2-screenshot.png
Screenshot: So sieht es aus, wenn die G2-Technologie nach Fehlern sucht.
© Institut für Informatik

http://www.uni-kiel.de/de/pressemitteilungen/portraitbilder/dirk-nowotka.jpg
Bildunterschrift: Prof. Dr. Dirk Nowotka
© privat

CAU@Hannover Messe:
Nach 33 Jahren gehen die CEBIT und die Hannover Messe zusammen. Vom 1. bis 5. April zeigen über 6.000 Aussteller auf der Weltleitmesse der Industrie neueste Entwicklungen aus den Bereichen Digitalisierung, Industrie 4.0 und der Forschung. Mit dabei ist zum dritten Mal die Christian-Albrechts-Universität zu Kiel (CAU). In der Halle 2 „Research & Technology“ stellen Wissenschaftlerinnen und Wissenschaftler aus dem echten Norden 17 inter- und transdisziplinäre Forschungsprojekte vor. 39 Bühnen-Präsentationen bieten zusätzlich den Schulterblick auf aktuelle Forschungsvorhaben zu Themen wie Batterieforschung, autonome Schifffahrt oder radargestützte Immissionsmessverfahren. Gemeinsame Podiumsdiskussionen mit dem schleswig-holsteinischen Bildungsministerium und Wirtschaftsministerium, ein parlamentarischer Abend und Mitmachangebote der Kieler Forschungswerkstatt runden das Angebot ab. Informationen unter http://www.uni-kiel.de/hannovermesse

Christian-Albrechts-Universität zu Kiel
Presse, Kommunikation und Marketing, Dr. Boris Pawlowski, Text/Redaktion: Farah Claußen
Postanschrift: D-24098 Kiel, Telefon: (0431) 880-2104, Telefax: (0431) 880-1355
E-Mail: presse@uv.uni-kiel.de Internet: http://www.uni-kiel.de Twitter: http://www.twitter.com/kieluni
Facebook: http://www.facebook.com/kieluni Instagram: http://www.instagram.com/kieluni

Wissenschaftliche Ansprechpartner:

Prof. Dr. Dirk Nowotka
Institut für Informatik, Arbeitsgruppe Zuverlässige Systeme
Telefon: +49 431/880-4199
E-Mail: dn@informatik.uni-kiel.de
http://www.zs.informatik.uni-kiel.de

Weitere Informationen:

http://www.uni-kiel.de/de/detailansicht/news/076-g2-software-fehlersuche

Dr. Boris Pawlowski | Christian-Albrechts-Universität zu Kiel

Weitere Nachrichten aus der Kategorie HANNOVER MESSE:

nachricht Saarbrücker Forscher erleichtern durch Open Source-Software den Durchblick bei Massen-Sensordaten
22.03.2019 | Universität des Saarlandes

nachricht Technik im Selbstcheck – DFKI präsentiert innovatives Verifikationsverfahren auf der Hannover Messe
21.03.2019 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Alle Nachrichten aus der Kategorie: HANNOVER MESSE >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

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...

Im Focus: The taming of the light screw

DESY and MPSD scientists create high-order harmonics from solids with controlled polarization states, taking advantage of both crystal symmetry and attosecond electronic dynamics. The newly demonstrated technique might find intriguing applications in petahertz electronics and for spectroscopic studies of novel quantum materials.

The nonlinear process of high-order harmonic generation (HHG) in gases is one of the cornerstones of attosecond science (an attosecond is a billionth of a...

Im Focus: Magnetische Mikroboote

Nano- und Mikrotechnologie sind nicht nur für medizinische Anwendungen wie in der Wirkstofffreisetzung vielversprechende Kandidaten, sondern auch für die Entwicklung kleiner Roboter oder flexibler integrierter Sensoren. Wissenschaftler des Max-Planck-Instituts für Polymerforschung (MPI-P) haben mit einer neu entwickelten Methode magnetische Mikropartikel hergestellt, die den Weg für den Bau von Mikromotoren oder die Zielführung von Medikamenten im menschlichen Körper, wie z.B. zu einem Tumor, ebnen könnten. Die Herstellung solcher Strukturen sowie deren Bewegung kann einfach durch Magnetfelder gesteuert werden und findet daher Anwendung in einer Vielzahl von Bereichen.

Die magnetischen Eigenschaften eines Materials bestimmen, wie dieses Material auf das Vorhandensein eines Magnetfeldes reagiert. Eisenoxid ist der...

Im Focus: Magnetic micro-boats

Nano- and microtechnology are promising candidates not only for medical applications such as drug delivery but also for the creation of little robots or flexible integrated sensors. Scientists from the Max Planck Institute for Polymer Research (MPI-P) have created magnetic microparticles, with a newly developed method, that could pave the way for building micro-motors or guiding drugs in the human body to a target, like a tumor. The preparation of such structures as well as their remote-control can be regulated using magnetic fields and therefore can find application in an array of domains.

The magnetic properties of a material control how this material responds to the presence of a magnetic field. Iron oxide is the main component of rust but also...

Im Focus: Goldkugel im goldenen Käfig

„Goldenes Fulleren“: Liganden-geschützter Nanocluster aus 32 Goldatomen

Forschern ist es gelungen, eine winzige Struktur aus 32 Goldatomen zu synthetisieren. Dieser Nanocluster hat einen Kern aus 12 Goldatomen, der von einer Schale...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
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

Teilchenphysik trifft Didaktik und künstliche Intelligenz in Aachen

20.03.2019 | Veranstaltungen

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

Die Zähmung der Lichtschraube

22.03.2019 | Physik Astronomie

Saarbrücker Forscher erleichtern durch Open Source-Software den Durchblick bei Massen-Sensordaten

22.03.2019 | HANNOVER MESSE

Ketten aus Stickstoff direkt erzeugt

22.03.2019 | Biowissenschaften Chemie

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