{"id":4780,"date":"2018-11-26T16:32:29","date_gmt":"2018-11-26T15:32:29","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/"},"modified":"2018-11-26T16:32:29","modified_gmt":"2018-11-26T15:32:29","slug":"new-collaborative-research-center-software-systems-should-explain-their-own-behavior","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/","title":{"rendered":"New Collaborative Research Center: Software systems should explain their own behavior"},"content":{"rendered":"

Even experts have less and less of an understanding of the behavior of complex software systems nowadays. Meanwhile, these systems are increasingly involved in our daily lives, whether as intelligent home automation, in autonomous vehicles or in industrial production. Scientists from Saarland University, two Max Planck Institutes and the Dresden University of Technology now want to develop mechanisms in a new Collaborative Research Center to better communicate the behavior of complex software systems not only to experts but also to the general public. The German Research Foundation is funding this major project with eleven million euros over four years.<\/em><\/p>\n

In March of this year, the news of a traffic accident in the US city of Tempe, in which a pedestrian was killed, spread around the world. A self-propelled car from the “Uber” service company hit a woman. It was not until weeks later that experts were able to identify the cause: Although the vehicle’s sensors had recognized the woman, the on-board computer had classified their message as false. Holger Hermanns, professor of computer science and head of the Dependable Systems and Software Group at Saarland University, is not surprised. “We also receive error messages in the cars on our roads, which even the specialists in garages can’t make sense of,” explains Hermanns.<\/p>\n

Such an increasing incomprehensibility also applies to software in other areas of everyday life, starting with the increasing networking of appliances in the home, through software-controlled production in modern factories, to so-called smart cities, where software systems are planned to make the lives of individuals more comfortable, safer and more energy-efficient in the future. “Currently, no computer-aided systems contain concepts to explain their own behavior. Instead, they calculate results and pass them on, without any capabilities for oversight,” says Hermanns.<\/p>\n

Together with other colleagues from Saarland University, the Max Planck Institutes for Computer Science and Software Systems, and the Technische Universit\u00e4t Dresden, Hermanns therefore designed the Collaborative Research Center “Foundations of Perspicuous Software Systems”. The researchers want to lay the scientific foundations for computer-aided systems which explain their functionality and behavior themselves. The scientists describe this new type of software as “perspicuous systems”. What is also new is that these systems explain themselves both to software engineers during development and to laypersons when using the software or in the event of malfunctions. “The interaction is supposed to resemble a navigation device that not only tells us what to do, but also why,” explains Holger Hermanns. To put this vision into practice, the researchers are working on 15 subprojects, combining formal verification methods with methods from human-machine interaction. They also deal with the mechanisms of machine learning. In this way, accidents such as the one described above could be ruled out in the future.<\/p>\n

Besides Holger Hermanns, Professor Vera Demberg and Professors Bernd Finkbeiner, Matthias Hein, J\u00f6rg Hoffmann and Antonio Kr\u00fcger from Saarland University are involved in the new transregional Collaborative Research Centre. Christoph Weidenbach from the Max Planck Institute for Computer Science and Maria Christakis, Rupak Majumdar and Joel Ouaknine from the Max Planck Institute for Software Systems are also involved. The Technische Universit\u00e4t Dresden is represented by professors Franz Baader, Christel Baier, Raimund Dachselt, Christof Fetzer, Stefan Gumhold and Markus Kr\u00f6tzsch as well as researchers Sarah Gaggl and Stefan Borgwardt. The German Research Foundation is supporting the Collaborative Research Centre with eleven million euros over four years. Around six million euros will go to Saarland.<\/p>\n

Further information:
\n<\/strong>www.perspicuous-computing.science<\/p>\n

Questions can be directed to:
\n<\/strong>Prof. Dr.-Ing. Holger Hermanns (Speaker)
\nReliable Systems and Software
\nSaarland Informatics Campus
\nSaarland University
\nPhone: +49 681 302-5631
\nE-mail: hermanns@cs.uni-saarland.de<\/p>\n

Prof. Dr.-Ing. Raimund Dachselt (site spokesman)
\nInstitute for Software and Multimedia Technology
\nDresden University of Technology
\nPhone: +49 351 463-38516
\nE-mail: raimund.dachselt@tu-dresden.de<\/p>\n

Editorial office:
\n<\/strong>Gordon Bolduan
\nCompetence Center Computer Science Saarland
\nSaarland Informatics Campus
\nPhone: +49 681 302-70741
\nE-mail: gbolduan@mmci.uni-saarland.de<\/p>\n","protected":false},"excerpt":{"rendered":"

Even experts have less and less of an understanding of the behavior of complex software systems nowadays. Meanwhile, these systems are increasingly involved in our daily lives, whether as intelligent home automation, in autonomous vehicles or in industrial production. Scientists from Saarland University, two Max Planck Institutes and the Dresden University of Technology now want […]<\/p>\n","protected":false},"featured_media":2889,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[61,58],"class_list":["post-4780","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-migrated-en","sic_news-types-newsflash-en"],"yoast_head":"\nNew Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"New Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Even experts have less and less of an understanding of the behavior of complex software systems nowadays. Meanwhile, these systems are increasingly involved in our daily lives, whether as intelligent home automation, in autonomous vehicles or in industrial production. Scientists from Saarland University, two Max Planck Institutes and the Dresden University of Technology now want […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SFB_2018_Hermanns_final-web.jpeg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"801\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/\",\"name\":\"New Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SFB_2018_Hermanns_final-web.jpeg\",\"datePublished\":\"2018-11-26T15:32:29+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SFB_2018_Hermanns_final-web.jpeg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SFB_2018_Hermanns_final-web.jpeg\",\"width\":1200,\"height\":801},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"New Collaborative Research Center: Software systems should explain their own behavior\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"New Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/","og_locale":"en_US","og_type":"article","og_title":"New Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus","og_description":"Even experts have less and less of an understanding of the behavior of complex software systems nowadays. Meanwhile, these systems are increasingly involved in our daily lives, whether as intelligent home automation, in autonomous vehicles or in industrial production. Scientists from Saarland University, two Max Planck Institutes and the Dresden University of Technology now want […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","og_image":[{"width":1200,"height":801,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SFB_2018_Hermanns_final-web.jpeg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/","name":"New Collaborative Research Center: Software systems should explain their own behavior - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SFB_2018_Hermanns_final-web.jpeg","datePublished":"2018-11-26T15:32:29+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SFB_2018_Hermanns_final-web.jpeg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SFB_2018_Hermanns_final-web.jpeg","width":1200,"height":801},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/new-collaborative-research-center-software-systems-should-explain-their-own-behavior\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"New Collaborative Research Center: Software systems should explain their own behavior"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/4780","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/2889"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=4780"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=4780"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}