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

Funded by the BMBF

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.

Get in Touch with Us

Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director

* Mandatory field

Please calculate 5 plus 4.