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

Research Project

Funded by the BMBF

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.

You Have Questions?

Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director

* Mandatory field

Please calculate 4 plus 7.