{"id":165348,"date":"2019-02-08T17:23:09","date_gmt":"2019-02-08T16:23:09","guid":{"rendered":"https:\/\/innovationorigins.com\/?p=165348"},"modified":"2019-02-08T17:23:09","modified_gmt":"2019-02-08T16:23:09","slug":"software-fehler-mit-algorithmen-erkennen","status":"publish","type":"post","link":"https:\/\/ioplus.nl\/archive\/de\/software-fehler-mit-algorithmen-erkennen\/","title":{"rendered":"Software-Fehler mit Algorithmen erkennen"},"content":{"rendered":"

Die Computertechnologie ist enorm fortgeschritten \u2013 kleine Software-Fehler und -St\u00f6rungen scheinen aber nach wie vor unvermeidbar. Professor Laura Kovacs <\/em>vom Institut f\u00fcr Logic and Computation <\/em><\/a>an der TU Wien<\/em> hat eine erg\u00e4nzende Anwendung entwickelt, um Software sicherer und zuverl\u00e4ssiger zu machen.<\/p>\n

Vom Telefonieren bis zum Online-Banking – unser Alltag ist zunehmend von Software bestimmt. Dabei wird unsere Erwartung an eine problemlose Funktion nicht immer erf\u00fcllt: Software-Fehler sind allgegenw\u00e4rtig: Smartphone-Apps st\u00fcrzen ab, Graphik-Karten sind nicht mit dem neuen Betriebs-System kompatibel, …<\/p>\n

Zunehmende Komplexit\u00e4t<\/strong><\/h3>\n

Laura Kovacs<\/a>,<\/em> Professor an der Fakult\u00e4t f\u00fcr Informatik an der TU Wien<\/em> f\u00fchrt Software-Fehler auf die zunehmende Komplexit\u00e4t von Programmen zur\u00fcck. Dies erschwert deren Verst\u00e4ndnis und die Suche nach Fehlern durch den Menschen. Die Computer-Industrie versucht das Problem mit Computer-Programmen zu l\u00f6sen, die Fehler in Software erkennen. Theoretische Basis sind die Methoden der formalen Logik.<\/p>\n

\u201eDie Software wird immer umfangreicher und vielseitiger, aber ihre Verl\u00e4sslichkeit steigt nicht\u201c, sagt Kovacs<\/em>. \u201eWir arbeiten nach wie vor mit Software, die fehleranf\u00e4llig ist und Sicherheitsl\u00fccken hat.\u201c<\/p>\n

Kovacs<\/em> hat sich in ihrem aktuellen Projekt auf Safety & Critical Software<\/em><\/a> spezialisiert, in dem es um Anwendungen f\u00fcr Online-Banking oder Flugtechnik geht. Gemeinsam mit ihrem Team ist es ihr gelungen, ein System zu entwickeln, das bestehende logische Verfahren verbessert. Als erg\u00e4nzendes System ist dieses in bestehende Methoden zu integrieren. Die Innovation basiert auf einem automatisierten Algorithmus und einer Software, welche diesen ausf\u00fchrt.<\/p>\n

\u201eEs geht um die logische Beschreibung von Computer-Programmen und die \u00dcberpr\u00fcfung der Logik \u201c, erkl\u00e4rt Kovacs<\/em>.<\/p>\n

Mit dem Verfahren l\u00e4sst sich das erwartete Verhalten der Software mit mathematischer Sicherheit prognostizieren.<\/p>\n

\"\"
(c) Pixabay<\/figcaption><\/figure>\n

 <\/p>\n

Mit mathematischer Sicherheit<\/strong><\/h3>\n

Das System wurde bereits ersten Praxistests in der Industrie unterzogen. Dabei konnte das Verhalten der Software in achtzig Prozent der F\u00e4lle mathematisch garantiert werden. Die erg\u00e4nzende Methode kann in komplexen Datenstrukturen arbeiten und alle zu erkennenden Eigenschaften von Codes erfassen. Bestehende Methoden k\u00f6nnen nur in einfachen Datenstrukturen arbeiten.<\/p>\n

Die Innovation wurde mit dem Proof of Concept Grant des ERC<\/em><\/a> ausgezeichnet. Mit dieser Unterst\u00fctzung will die Erfinderin jetzt ein Startup gr\u00fcnden. Die aktuelle Methode hat sich in kleinen akademischen Anwendungen bereits bew\u00e4hrt. Industrie-Anwendungen stellen eine gr\u00f6\u00dfere Herausforderung dar. Kovacs<\/em>: \u201eIm akademischen Bereich arbeiten wir mit hundert Zeilen von Code. In Industrieprogrammen sind wir mit mindestens 100.000 Zeilen von Code konfrontiert.\u201c<\/p>\n

Kovacs<\/em> war schon an der Entwicklung von Vampire<\/em><\/a> beteiligt, einem vielfach ausgezeichneten Computer-Programm zur \u00dcberpr\u00fcfung von Software.<\/p>\n

Auch interessant:<\/h3>\n

Automatische Erkennung von Fake News mit Software von Fraunhofer<\/a><\/p>\n

Mehr Geld f\u00fcr Software-Tester <\/a><\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Die Computertechnologie ist enorm fortgeschritten \u2013 kleine Software-Fehler und -St\u00f6rungen scheinen aber nach wie vor unvermeidbar. Professor Laura Kovacs vom Institut f\u00fcr Logic and Computation an der TU Wien hat eine erg\u00e4nzende Anwendung entwickelt, um Software sicherer und zuverl\u00e4ssiger zu machen. Vom Telefonieren bis zum Online-Banking – unser Alltag ist zunehmend von Software bestimmt. Dabei […]<\/p>\n","protected":false},"author":1688,"featured_media":510584,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"advgb_blocks_editor_width":"","advgb_blocks_columns_visual_guide":"","footnotes":""},"categories":[23253],"tags":[31135,29860],"location":[24328],"article_type":[],"serie":[],"archives":[],"internal_archives":[],"reboot-archive":[],"class_list":["post-165348","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-nachhaltigkeit","tag-software-fehler-de","tag-tu-wien-de","location-deutschland"],"blocksy_meta":[],"acf":{"subtitle":"","text_display_homepage":false},"author_meta":{"display_name":"Hildegard Suntinger","author_link":"https:\/\/ioplus.nl\/archive\/author\/hildegard-suntinger\/"},"featured_img":"https:\/\/ioplus.nl\/archive\/wp-content\/uploads\/2019\/02\/C-Pixabay.jpg","coauthors":[],"tax_additional":{"categories":{"linked":["Nachhaltigkeit<\/a>"],"unlinked":["Nachhaltigkeit<\/span>"]},"tags":{"linked":["Software-Fehler<\/a>","TU Wien<\/a>"],"unlinked":["Software-Fehler<\/span>","TU Wien<\/span>"]}},"comment_count":"0","relative_dates":{"created":"Posted 7 years ago","modified":"Updated 7 years ago"},"absolute_dates":{"created":"Posted on February 8, 2019","modified":"Updated on February 8, 2019"},"absolute_dates_time":{"created":"Posted on February 8, 2019 5:23 pm","modified":"Updated on February 8, 2019 5:23 pm"},"featured_img_caption":"","series_order":"","_links":{"self":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/posts\/165348","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/users\/1688"}],"replies":[{"embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/comments?post=165348"}],"version-history":[{"count":0,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/posts\/165348\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/media\/510584"}],"wp:attachment":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/media?parent=165348"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/categories?post=165348"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/tags?post=165348"},{"taxonomy":"location","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/location?post=165348"},{"taxonomy":"article_type","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/article_type?post=165348"},{"taxonomy":"serie","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/serie?post=165348"},{"taxonomy":"archives","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/archives?post=165348"},{"taxonomy":"internal_archives","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/internal_archives?post=165348"},{"taxonomy":"reboot-archive","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/reboot-archive?post=165348"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}