Algorithms for Model Optimization with TurboProp

TurboProp is a software application that provides developers with an environment for the unified implementation of software models. It reduces significantly the development time and supports optimization of code, precision and performance. The software helps in analyzing software models via the user interface and indicates possible errors and overflows in the model. Based on this analysis, it corrects the model by automatically choosing suitable data types and quantization, such that 32-bit overflows and precision losses are minimized or, if possible, avoided. The selections are made with the help of an algorithm based on affine arithmetic. The algorithm also suggests changes to the existing model on grounds of precision, performance and also memory usage as required by the user. The project is a collaboration between Volkswagen and IPSSE, in which IPSSE is responsible for the development and implementation of the analysis and optimization algorithm.