依存関係の解析の紹介

スタンドアロンの簡略化モデルの作成

簡略化モデルを生成する場合にいて説明します。

機能の依存関係の強調表示

モデルスライサーを使用して機能の依存関係を強調表示し,制約および除外を使用して,モデルの強調表示された部分を調整します。

状态流でのモデルスラ@ @サ@ @の使用

Stateflow^®でモデルスライサーを使用する場合のワークフローと,Stateflowに関連したモデルスライサーの動作について説明します。

アクティビティベスのタムスラスを使用したアクティブな時間区間の強調表示

アクティビティベースのタイムスライスを使用して,選択したすべてのステートと遷移が同時にアクティブになるシミュレーション区間を強調表示し,スライスする。

モデルの強調表示およびスラ@ @スモデルの構成

モデルスラ▪▪スマネ▪▪ジャ▪とモデルスラ▪▪サ▪▪のオプション。

機能テストのためのモデルコンポ，ネントの分離

デバッグおよび調整のためにモデルコンポ，ネントをスラ，いて説明する。

I/O依存関係行列のプログラムによる生成

I/O依存関係行列のプログラムによる生成。

モデルスラ▪▪サ▪▪の考慮事項および制限事項

モデルスラ▪▪サ▪▪の制限事項および考慮事項を説明します。

強調表示されたモデルの調整

強調表示されたモデルの調整

シミュレ，ション時間および除外を使用してモデルの強調表示された部分を絞り込む方法を説明します。

モデルスラ▪▪サ▪▪デ▪タ▪▪ンスペクタ▪を使用した強調表示されたモデルスラ▪スの調整

モデルスライサーデータインスペクターを使用して,ログ信号を検証し,強調表示されたモデルスライスを調整する。

依存関係の解析に備えたデッドロジックの調整

モデルスラ。

高速リスタトモドを使用したスラスシミュレションのデバッグ

高速リスタートを使用して,タイムステップをステップ実行することによってスライスシミュレーションをデバッグする。

モデルスラ▪▪サ▪▪を使用したモデルの予期せぬ動作のプログラムによる解決

予期せぬ動作を検出し,モデルスライサーを使用して予期せぬ動作をプログラムによって分離し,解決する。

既存の.slslicexまたはデッドロジック結果を使用した強調表示されたモデルの調整

既存のデ，タを使用してモデル内の機能の依存関係を強調表示する方法の説明。

スタンドアロンの簡略化モデルの作成

スタンドアロンの簡略化モデルの作成

簡略化モデルを生成する場合にいて説明します。

コンテンのンラン化によるスタンドアロンモデルの簡略化

▪▪▪ンラ▪▪▪ンコンテン▪▪▪オプションの使用方法を説明します。

バリアントシステムの簡略化

バリアントマネージャーを使用してモデルを削減し,選択したバリアントコンフィギュレーションのみを含むスタンドアロンの簡略化モデルにする方法を説明するチュートリアル。