Norman Hansen

Learn More
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,(More)
  • 1