Static Value Range Analysis for Matlab/Simulink-Models
In this paper we present a static value range analysis of signals within function block
diagrams developed with Matlab/Simulink. We analyse signals with respect to their data type and
compute an approximation of the possible value range of each signal represented by a set of intervals.
In addition the analysis reports potential problems within the model, like occurrences of NaN (Nota-
Number) and divisions by zero or infinity.We show the applicability of our analysis on a viscosity
model from Matlab Central and a model from the set of automotive example models that is contained
within Matlab/Simulink.
Christian Dernehl, Norman Hansen, Stefan Kowalewski