|
|
|
|
|
|
by _pmf_
3335 days ago
|
|
|
Polyspace [0] allows full state space checking. Usually, this is feasible because the kind of modules you test are heavily constrained 12 bit (or fewer) fixed point values (sensor output/ actor input) and contain no algebraic loops. With floats and/or large integers, this quickly becomes unwieldy (verification then takes weeks). [0] https://de.mathworks.com/products/polyspace.html |
|
|