要件のモデル化と検証
Requirements Table ブロックを使用して実行前および実行時にロジックを評価することで、Simulink® モデル内の形式的要件を定義します。形式的要件を使用して、モデルの出力をチェックするかブロック出力を実行します。
形式的要件は、要件エディターのブロックで直接構成するか、MATLAB® でプログラムのコマンドを使用して構成します。
Simulink Design Verifier™ を使用して形式的要件を解析し、要件が完全で整合性があることを確認します。テストの生成や仕様モデルの検証の前に形式的要件を検証します。
テストを生成して Requirements Table ブロックで要件を検証することもできます。詳細については、テストを使用した要件の検証を参照してください。
ブロック
| Requirements Table | 入力条件を使用した形式的要件のモデル化 (R2022a 以降) |
関数
演算子
オブジェクト
オブジェクト関数
トピック
要件の作成
- Requirements Table ブロックを使用した形式的要件の作成
Requirements Table ブロックを使用して形式的要件を評価する。 (R2022a 以降) - Requirements Table ブロックを使用した仕様モデルの作成
仕様モデルについて、およびそれらを要件に基づく検証に使用する方法についての説明。 (R2022b 以降) - 要件への仮定の追加
仮定を使用して、Requirements Table ブロックの形式的要件のデータを物理的な制限に従って制約する。 (R2022a 以降) - Specify Row Type in Requirements Table Blocks
Define the row types for requirements and assumptions in a Requirements Table block. (R2022a 以降) - プログラムによる Requirements Table ブロックの作成
MATLAB コマンド ラインから Requirements Table ブロックを作成および変更する。 (R2022a 以降) - 時相論理を使用した要件の実行の制御
時相論理演算子を使用して要件の評価と実行を制御する。 (R2022a 以降)
評価ロジックの定義
- Requirements Table ブロックの階層の確立
要件または仮定の親子関係を確立する。 (R2022a 以降) - Specify Child Evaluation in Requirements Table Blocks
Specify how the block evaluates requirements at each level of the hierarchy in the Requirements Table. (R2023b 以降)
- 形式的要件の評価順序の活用
Requirements Table ブロックでの評価の順序を指定する。 (R2022a 以降) - Detect Read-Before-Write Issues
Use Simulink Design Verifier to detect read-before-write issues in Requirements Table blocks. (R2022a 以降)
Requirements Table ブロックのプロパティの構成
- 形式的要件のプロパティの構成
Requirements Table ブロックの各要件のタイプ、説明、根拠を変更する。 (R2022a 以降)
データの構成
- Requirements Table ブロックのデータの定義
Requirements Table ブロックのデータを追加または変更する。 (R2022a 以降) - Requirements Table ブロックのデータ型の設定
形式的要件で使用するデータ型を指定する。 (R2022a 以降) - Specify Size of Requirements Table Block Data
Specify data sizes in a Requirements Table block. (R2022a 以降) - Requirements Table ブロックを使用したデータの変化の検出
タイム ステップ間でデータが変化したときに形式的要件を実行する。 (R2022a 以降)
要件の検証
- Analyze Requirements Table Blocks for Requirements Specification Problems
Use Simulink Design Verifier to validate Requirements Table blocks. (R2022a 以降) - 矛盾する形式的要件セットおよび不完全な形式的要件セットの特定
Simulink Design Verifier を使用して、矛盾する要件セットや不完全な要件セットを見つける。 (R2022a 以降) - Detect Exclusivity Issues in the Requirements Table Block
Use Simulink Design Verifier to identify issues with exclusive exhaustive child requirements. (R2023b 以降)
トラブルシューティング
Debug Requirements Table Blocks
Debug Requirements Table blocks by using breakpoints and analyzing block data during simulation. (R2023a 以降)
注目の例
Model Dice Game Rules Using a Requirements Table Block
Use a Requirements Table block to model the rules and the game outcome associated with a dice game.
Define Formal Requirements with a Duration
Define formal requirements that use a duration.
電気自動車充電器のロック機構の形式的要件についての解析
Requirements Table ブロックと Simulink Design Verifier を使用して、電気自動車充電ステーションのロック機構の形式的要件を作成、解析、更新する。
要件に基づくテストに対する仕様モデルの使用
要件に対して設計モデルを検証する体系的なアプローチに従います。
