advertisement
advertisement
HANNOVER MESSE 2020, 20 - 24 April

Exhibitor Press Releases

Christian-Albrechts-Universität

Our world is becoming smarter, more complex and more innovative. Digitalisation extends into all areas of our lives. Many of the affected areas are relevant to safety, such as autonomous driving, Industry 4.0, medical technology and aeronautics and space travel. To ensure that human life is not endangered, and to prevent major economic damage from occurring at all, industry depends on secure and reliable software. Modern computer applications often work in parallel and in a data-centric manner - and they are becoming increasingly complex. New methods are required to ensure a high level of safety. The Kiel research team led by Professor Dirk Nowotka from the Department of Computer Science at Kiel University (CAU) is presenting its new method "G2" at the 2019 Hannover Messe. Together with his working group, Nowotka developed a technology for fully-automated analysis of data dependencies in parallel and complex programmes. "This technology offers the possibility to comprehensively analyse complex software much more accurately than previously achieved. In addition, G2 finds errors in systems which could not be detected to date through simple testing. The algorithms used take the investigation of data dependencies to a new level," said Nowotka. Calculating data dependencies by programme code analysis Nowadays, software consists of the integration of many individual modules. Due to the high complexity, determining whether and by what means two modules communicate with each other from the programme code is only possible with significant effort. However, knowing all the possible data dependencies between modules is a prerequisite for developing reliable software systems. "Observing the software behaviour under laboratory conditions is not enough to capture all data dependencies with certainty," knows Nowotka. "G2 calculates the data dependencies between the modules by analysing the programme code. In doing so, it is not necessary to run the software." G2 was developed in the framework of research projects with the participation of industry, and successfully tested in the areas of automobiles, industrial plants and aviation. From 1 to 5 April 2019, the group will be presenting their technology and its potential applications at the Kiel University booth at the Hannover Messe (Hall 2, Research & Technology, booth C07). In addition, on Monday 1 April at 3pm, Nowotka will be giving a lecture in English titled "Safety Verification is an Innovation Enabler". On Tuesday 2 April, Dirk Nowotka will be presenting another approach on the trade show stage, with which artificial neural networks could be protected against enemy interference. Key facts: What? Lecture: “Safety Verification is an Innovation Enabler”, Exhibit: information stele with digital poster Who? Prof. Dr Dirk Nowotka When? The lecture will be held in English on Monday 1 April at 3pm. The exhibit can be seen from 1 to 5 April. The second lecture is on Tuesday 2 April at 2.30pm. Where? CAU booth C07 in Hall 2 “Research & Technology”, Exhibition grounds Germany (entrance North 2), 30521 Hannover About the person: Professor Dr Dirk Nowotka leads the Dependable Systems Group in the Department of Computer Science at the CAU. Prior to his appointment as a DFG Heisenberg Professor at the CAU in 2011, he completed his habilitation at the University of Stuttgart (2004-2011). In 2004, he worked as a research assistant at the ETH Zurich. Dirk Nowotka completed his doctoral research in mathematics at the University of Turku, Finland. His main research interest lies in the theory and practice of mathematical and logical decision procedures for the security analysis of software systems. His special interest is in security in the field of artificial intelligence. Photos/material is available for download under: www.uni-kiel.de/de/pressemitteilungen/portraitbilder/dirk-nowotka.jpg Caption: Prof. Dr Dirk Nowotka © private www.uni-kiel.de/de/pressemitteilungen/2019/076-g2-screenshot.png Screenshot: This is what it looks like when the G2 technology searches for errors. © Department of Computer Science Contact: Prof. Dr Dirk Nowotka Department of Computer Science, Dependable Systems Group Phone: +49 431/880-4199 E-mail: dn@informatik.uni-kiel.de http://www.zs.informatik.uni-kiel.de/en CAU@Hannover Messe: After 33 years, CEBIT and the Hannover Messe are joining forces. From 1 to 5 April, more than 6,000 exhibitors at the world's leading industrial trade show will present the latest developments in the fields of digitalisation, Industry 4.0 and research. Kiel University (CAU) is among these for the third time. In Hall 2 "Research & Technology", scientists from the true north will present 17 interdisciplinary and transdisciplinary research projects. In addition, 39 stage presentations will offer an over-the-shoulder perspective of current research projects on topics such as battery research, autonomous ship navigation or radar-based pollutant measurement procedures. Joint panel discussions with the Schleswig-Holstein Ministry of Education and Ministry of Economics, a parliamentary evening, and hands-on activities and experiments with the Kieler Forschungswerkstatt (Kiel Research Workshop) round off the offerings. Details can be found at www.uni-kiel.de/hannovermesse Christian-Albrechts-Universität zu Kiel Press, Communication and Marketing, Dr Boris Pawlowski, Text/editing: Farah Claußen Postal address: D-24098 Kiel, Germany, Telephone: +49 (0)431 880-2104, Fax: +49 (0)431 880-1355 E-mail: presse@uv.uni-kiel.de, Internet: www.uni-kiel.de Twitter: www.twitter.com/kieluni Facebook: www.facebook.com/kieluni Instagram: www.instagram.com/kieluni Link to the press release: www.uni-kiel.de/en/details/news/076-g2-software-error-search

Download picture

advertisement