このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
Simulink モデル内の要件の形式化
Requirements Table ブロックを使用してシミュレーションの実行前および実行中にロジックを評価
Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink® モデル内の形式的要件を定義します。形式的要件を使用して、モデルの出力をチェックするかブロック出力を実行します。
形式的要件は、要件エディターのブロックで直接設定するか、MATLAB® でプログラムのコマンドを使用して設定します。
ブロック
Requirements Table | 入力条件を使用した形式的要件のモデル化 (R2022a 以降) |
関数
オブジェクト
オブジェクト関数
演算子
トピック
要件の作成と管理
- Requirements Table ブロックを使用した形式的要件の作成
Requirements Table ブロックを使用して形式的要件を評価する。 (R2022a 以降) - 要件への仮定の追加
仮定を使用して、Requirements Table ブロックの形式的要件のデータを物理的な制限に従って制約する。 (R2022a 以降) - 時相論理を使用した要件の実行の制御
時相論理演算子を使用して要件の評価と実行を制御する。 (R2022a 以降) - Requirements Table ブロックを使用したデータの変化の検出
タイム ステップ間でデータが変化したときに形式的要件を実行する。 (R2022a 以降) - Requirements Table ブロックの階層の確立
子要件とセマンティック要件を作成して要件間の関係を確立する。 (R2022a 以降) - 形式的要件の評価順序の活用
Requirements Table ブロックでの評価の順序を指定する。 (R2022a 以降) - 形式的要件のプロパティの構成
Requirements Table ブロックの各要件のタイプ、説明、根拠を変更する。 (R2022a 以降) - プログラムによる Requirements Table ブロックの作成
MATLAB コマンド ラインを使用して Requirements Table ブロックを作成および変更する。 (R2022a 以降) - Requirements Table ブロックのプロパティの指定
Requirements Table ブロックが Simulink モデルと連動する方法を構成する。 (R2022a 以降)
要件データの設定
- Requirements Table ブロックのデータの定義
形式的要件を確立するデータを追加または変更する。 (R2022a 以降) - Requirements Table ブロックのデータ型の設定
形式的要件で使用されるデータ型を指定する。 (R2022a 以降) - Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block. (R2022a 以降)
要件があるモデルのテスト
- 仕様モデルとは
仕様モデルおよび要件に基づく検証での使用に関する概要。 (R2022b 以降) - Export Tests from Models That Contain Requirements Table Blocks with Simulink Design Verifier
Automate test generation and execution by using models that contain Requirements Table blocks.
トラブルシューティング
矛盾する形式的要件セットおよび不完全な形式的要件セットの特定
Simulink Design Verifier™ を使用して、矛盾する要件セットや不完全な要件セットおよび書き込み前の読み取りの問題を見つける。 (R2022a 以降)
Debug Requirements Table Blocks
Debug Requirements Table block requirements during simulation. (R2023a 以降)