Johannes Traub studied computer science and information technology with focus on embedded systems and formal verification. From 2011 to 2013 he worked at Daimler AG on the project ``Automotive, Railway and Avionics Multicore Systems'', funded by the German Federal Ministry of Education and Research (BMBF). Since 2013 he has worked at Daimler AG on software architecture for powertrain with focus on multicore and timing.
Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical...
Más información
