Simulink モデル内の要件の形式化
Requirements Table ブロックを使用してシミュレーションの実行前および実行中にロジックを評価
Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink® モデル内の形式的要件を定義します。形式的要件を使用して、モデルの出力をチェックするかブロック出力を実行します。
形式的要件は、要件エディターのブロックで直接設定するか、MATLAB® でプログラムのコマンドを使用して設定します。
ブロック
Requirements Table | Model formal requirements with input conditions |
関数
オブジェクト
オブジェクト関数
演算子
トピック
要件の作成と管理
- Requirements Table ブロックを使用した形式的要件の作成
Requirements Table ブロックを使用して形式的要件を評価する。 - 要件への仮定の追加
仮定を使用して、Requirements Table ブロックの形式的要件のデータを物理的な制限に従って制約する。 - 時相論理を使用した要件の実行の制御
時相論理演算子を使用して要件の評価と実行を制御する。 - Requirements Table ブロックを使用したデータの変化の検出
タイム ステップ間でデータが変化したときに形式的要件を実行する。 - Requirements Table ブロックの階層の確立
子要件とセマンティック要件を作成して要件間の関係を確立する。 - 形式的要件の評価順序の活用
Requirements Table ブロックでの評価の順序を指定する。 - 形式的要件のプロパティの構成
Requirements Table ブロックの各要件のタイプ、説明、根拠を変更する。 - プログラムによる Requirements Table ブロックの作成
MATLAB コマンド ラインを使用して Requirements Table ブロックを作成および変更する。 - Requirements Table ブロックのプロパティの指定
Requirements Table ブロックが Simulink モデルと連動する方法を構成する。
要件データの設定
- Requirements Table ブロックのデータの定義
形式的要件を確立するデータを追加または変更する。 - Requirements Table ブロックのデータ型の設定
形式的要件で使用されるデータ型を指定する。 - Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block.
要件があるモデルのテスト
- 仕様モデルとは
仕様モデルおよび要件に基づく検証での使用に関する概要。
トラブルシューティング
Requirements Table ブロックのトラブルシューティング
セルのエントリに関する問題を解決し、矛盾する要件セットや不完全な要件セットを特定し、書き込み前の読み取りの問題を見つける。