Statistical Verification of the Toyota Powertrain Control Verification Benchmark
N. Roohi, Y. Wang, M. West, G. E. Dullerud, and M. Viswanathan
in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (HSCC '17), 2017.
The Toyota Powertrain Control Verification Benchmark has been recently proposed as challenge problems that capture features of realistic automotive designs. In this paper we statistically verify the most complicated of the powertrain control models proposed, that includes features like delayed differential and difference equations, look-up tables, and highly non-linear dynamics, by simulating the C++ code generated from the Simulink(TM) model of the design. Our results show that for at least 98% of the possible initial operating conditions the desired properties hold. These are the first verification results for this model, statistical or otherwise.
Full text: RoWaWeDuVi2017.pdf