モデル内の参照，サブサブ，または原子サブチャートしし，シミュレートします。サブサブシステムまたは参照ををハーネス抽出することによってブロックブロックに対してすることによってブロックブロックに対してすること离しブロック割り当てこと离し仕様に従って，シミュレーション中にモデルのの领域信号を监视ます。信号の検证を作品成方，シミュレーションのの力グループを基于それらを选択的に适使用し.polyspaceをを使用し。sim金宝appulink^®モデルから生成さたコードを解析するためオプションを生成しパッケージ化し生ますパッケージパッケージははされたオプションファイルは，生成コードコードオプション解析，生成コードpol金宝appyspace解析をsimulinkとは别に実际に役立ちますたとえば，分享Polyspace解析では，PolySpace解金宝app析をsimulinkがない环境で行うもありますますます。