Funded by the BMBF
HPSV 2016-2019: Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry
Project Partners
Model Engineering Solutions GmbH (MES) Go to About Us Page of MES
Zuse Institute Berlin (ZIB), Luxoft, University of Kiel
Lead partner: Prof. Dr. Dirk Nowotka, University of Kiel
Project Description
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 was to develop methods from the HPC field to analyze complex concurrent software systems and apply these in automotive embedded systems.
