{"id":4913,"date":"2019-10-18T12:31:38","date_gmt":"2019-10-18T10:31:38","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/"},"modified":"2021-10-25T14:40:54","modified_gmt":"2021-10-25T12:40:54","slug":"saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/","title":{"rendered":"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems"},"content":{"rendered":"<p><span class=\"notranslate\"><strong>The Airbus A380 is the largest mass production civilian airliner.<\/strong><\/span>\u00a0<span class=\"notranslate\"><strong>When the wide-bodied aircraft lands safely, its control software has launched countless components over 500 cable kilometers in time.<\/strong><\/span>\u00a0<span class=\"notranslate\"><strong>The foundations for the automatic analysis of such time-critical software systems, such as those found in cars, trains and industrial plants, are provided by computer scientists from the University of Saarland around Professor Reinhard Wilhelm.<\/strong><\/span>\u00a0<span class=\"notranslate\"><strong>For their pioneering work, published in 2001, they were honored last night in New York at the International Conference on Embedded Software.<\/strong><\/span><\/p>\n<p><span class=\"notranslate\">&#8220;Embedded software&#8221; means programs that run on computers and control a technical system.<\/span>\u00a0<span class=\"notranslate\">This is the case with the anti-lock braking system (ABS) in the car.<\/span>\u00a0<span class=\"notranslate\">The software components work together with sensors and control cables in the microsecond range.<\/span>\u00a0<span class=\"notranslate\">Doing their job even split seconds too late can have fatal consequences.<\/span>\u00a0<span class=\"notranslate\">Therefore, the embedded system must complete the necessary calculations within a given time window.<\/span>\u00a0<span class=\"notranslate\">Experts speak of so-called time limits, within which a process must be guaranteed to be completed &#8211; for example, to prevent the blocking of the wheels during braking.<\/span><\/p>\n<p><span class=\"notranslate\">The calculation of term guarantees was almost impossible at the turn of the millennium.<\/span>\u00a0<span class=\"notranslate\">A new generation of microprocessors eliminated the previous methods.<\/span>\u00a0<span class=\"notranslate\">This is exactly where the method and software published in 2001 began, for which the computer scientists at the Saar University have now been awarded the &#8220;Test-of-Time Award&#8221;.<\/span>\u00a0<span class=\"notranslate\">Then as now they use the so-called static analysis.<\/span>\u00a0<span class=\"notranslate\">With it, properties of the states of a software can be checked, regardless of a specific input.<\/span>\u00a0<span class=\"notranslate\">This allows upper bounds to be calculated for the execution times of the software.<\/span>\u00a0<span class=\"notranslate\">Thus, term guarantees could be given.<\/span><\/p>\n<p><span class=\"notranslate\">&#8220;Our software provided the first static, both accurate and precise runtime analysis,&#8221; said Reinhard Wilhelm, emeritus professor of computer science at the University of Saarland and one of eight award-winning researchers.<\/span>\u00a0<span class=\"notranslate\">Three independent working groups, consisting of international software experts, have selected the Saarbr\u00fccken computer scientists.<\/span>\u00a0<span class=\"notranslate\">The working groups justified their choice with the large number of further research papers that were based on the project from Saarbr\u00fccken and the many discussions that made it possible.<\/span><\/p>\n<p><span class=\"notranslate\">Already in 2001, the authors gave first indications of the importance of the project.<\/span>\u00a0<span class=\"notranslate\">In the accompanying essay, they wrote: &#8220;Airbus is currently deciding whether it will use our technology for checking its own aircraft software.&#8221; At that time, the technology was already the foundation for the spin-off &#8220;AbsInt&#8221; and its software &#8220;aiT Worst-Case Execution Time Analyzer&#8221; ,<\/span>\u00a0<span class=\"notranslate\">This program was actually used by the French aircraft manufacturer Airbus to test the control software of the world&#8217;s largest passenger aircraft.<\/span>\u00a0<span class=\"notranslate\">With success, because on 27 April 2005, the Airbus A380 landed after his maiden flight safely on the Toulouse-Blagnac airport in southern France.<\/span>\u00a0<span class=\"notranslate\">Since then, other types of aircraft have been certified by Airbus using the tools realized by AbsInt.<\/span><\/p>\n<p><span class=\"notranslate\">The distinguished computer scientists are Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing and Professor Reinhard Wilhelm.<\/span><\/p>\n<p><span class=\"notranslate\"><strong>Questions answered:<\/strong><\/span><br \/>\n<span class=\"notranslate\">Professor Reinhard Wilhelm<\/span><br \/>\n<span class=\"notranslate\">University of Saarland<\/span><br \/>\n<span class=\"notranslate\">Saarland Informatics Campus E1.1<\/span><br \/>\n<span class=\"notranslate\">Tel .: 0681 302-3434<\/span><br \/>\n<span class=\"notranslate\">E-Mail:\u00a0<a href=\"mailto:wilhelm@cs.uni-saarland.de\">wilhelm@cs.uni-saarland.de<\/a><\/span><\/p>\n<p><span class=\"notranslate\"><strong>Contact Press and Public Relations<\/strong><\/span><br \/>\n<span class=\"notranslate\">Friederike Meyer to Tittingdorf<\/span><br \/>\n<span class=\"notranslate\">Tel .:\u00a0<a>0681 302-3610<\/a><\/span><br \/>\n<span class=\"notranslate\">Mail:\u00a0<a href=\"mailto:presse.meyer@uni-saarland.de\" target=\"_blank\" rel=\"noopener noreferrer\">presse.meyer@uni-saarland.de<\/a><\/span><\/p>\n<p><span class=\"notranslate\">University of Saarland<\/span><br \/>\n<span class=\"notranslate\">Campus, Building A2 3<\/span><br \/>\n<span class=\"notranslate\">66123 Saarbr\u00fccken<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Airbus A380 is the largest mass production civilian airliner.&nbsp;When the wide-bodied aircraft lands safely, its control software has launched countless components over 500 cable kilometers in time.&nbsp;The foundations for the automatic analysis of such time-critical software systems, such as those found in cars, trains and industrial plants, are provided by computer scientists from the [&hellip;]<\/p>\n","protected":false},"featured_media":2793,"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-4913","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-migrated-en","sic_news-types-newsflash-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - 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\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"The Airbus A380 is the largest mass production civilian airliner.&nbsp;When the wide-bodied aircraft lands safely, its control software has launched countless components over 500 cable kilometers in time.&nbsp;The foundations for the automatic analysis of such time-critical software systems, such as those found in cars, trains and industrial plants, are provided by computer scientists from the [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/\" \/>\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=\"article:modified_time\" content=\"2021-10-25T12:40:54+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Wilhelm-Reinhard-.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1413\" \/>\n\t<meta property=\"og:image:height\" content=\"2048\" \/>\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\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/\",\"name\":\"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Wilhelm-Reinhard-.jpg\",\"datePublished\":\"2019-10-18T10:31:38+00:00\",\"dateModified\":\"2021-10-25T12:40:54+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Wilhelm-Reinhard-.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Wilhelm-Reinhard-.jpg\",\"width\":1413,\"height\":2048},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\\\/#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\":\"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems\"}]},{\"@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":"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - 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\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/","og_locale":"en_US","og_type":"article","og_title":"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - Saarland Informatics Campus","og_description":"The Airbus A380 is the largest mass production civilian airliner.&nbsp;When the wide-bodied aircraft lands safely, its control software has launched countless components over 500 cable kilometers in time.&nbsp;The foundations for the automatic analysis of such time-critical software systems, such as those found in cars, trains and industrial plants, are provided by computer scientists from the [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2021-10-25T12:40:54+00:00","og_image":[{"width":1413,"height":2048,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Wilhelm-Reinhard-.jpg","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\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/","name":"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Wilhelm-Reinhard-.jpg","datePublished":"2019-10-18T10:31:38+00:00","dateModified":"2021-10-25T12:40:54+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Wilhelm-Reinhard-.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Wilhelm-Reinhard-.jpg","width":1413,"height":2048},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientist-honored-for-pioneering-work-on-time-critical-software-systems\/#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":"Saarbr\u00fccken computer scientist honored for pioneering work on time-critical software systems"}]},{"@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\/4913","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\/2793"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=4913"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=4913"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}