このこのでは，设计エラー検出解析を使して，モデルモデルのの数オーバーフローエラー検出のオーバーオーバー示金宝appしを®するifierを.simulink®设计版本™は，结果结果として数オーバーフローに至る性性あるモデル构造を特种シミュレーション中にに数オーバーがが生物することと证明するか，または，整数オーバーエラーを示すケースを生成するかいずれ

モデル内で配列の范囲范囲へののアクセスエラー検出

この例は，sldvexcommoncausesofdeadlogic.モデルを使使し，デッドデッドの原因となっいる可能性ある个所をロジック検出はは示しますますでははます要素のは，モデル要素が非で残されるとなるなるが非アクティブでれるとなるなるなるののなるとなるなる内ののの不可以なオブジェクティブを见つけます。