HPSV 2016-2019: Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry

Funded by BMBF
Project partners: Zuse Institute Berlin (ZIB), Luxoft, University of Kiel
Lead partner: Prof. Dr. Dirk Nowotka, University of Kiel


The application of techniques from the high performance computing domain is opening new doors in software analysis. The effectiveness of methods used to verify complex software can thus be raised to an unprecedented level, given that, during the safety analysis and error search in embedded system software, larger quantities of code can be analyzed with higher accuracy. The aim of the project is to develop methods from the HPC field to analyze complex concurrent software systems and apply these in automotive embedded systems.