Simulink モデル内の要件の形式化
Requirements Table® ブロックを使用して実行前および実行時にロジックを評価することで、Simulink モデル内の要件を形式化します。モデルの出力をチェックするかブロック出力を実行する要件を定義します。
形式的要件は、要件エディターのブロックで直接設定するか、MATLAB® でプログラムのコマンドを使用して設定します。
ブロック
| Requirements Table | Formally model requirements with input conditions |
関数
オブジェクト
オブジェクト関数
演算子
トピック
- Use a Requirements Table Block to Create Formal Requirements
Assess formal requirements by using Requirements Table blocks.
- Add Assumptions to Requirements
Use assumptions to constrain formal requirement data in Requirements Table blocks according to physical limitations.
- Control Requirement Execution by Using Temporal Logic
Use temporal logic operators to control requirement evaluation and execution.
- Detect Data Changes by Using Requirements Table Blocks
Execute formal requirements when data changes between time steps.
- Establish Hierarchy in Requirements Table Blocks
Create child and semantic requirements to establish relationships between requirements.
- Leverage Evaluation Order of Formal Requirements
Specify the order of evaluation in a Requirements Table block.
- Configure Properties of Formal Requirements
Modify the type, description, or rationale for each requirement in your Requirements Table block.
- Create Requirements Table Blocks Programmatically
Use the MATLAB command line to create and modify Requirements Table blocks.
- Specify Requirements Table Block Properties
Configure how a Requirements Table block interfaces with a Simulink® model.
- Define Data in Requirements Table Blocks
Add or modify data that establishes formal requirements.
- Set Data Types in Requirements Table Blocks
Specify the data types used in formal requirements.
トラブルシューティング
Troubleshoot Requirements Table Blocks
Resolve issues with cell entries, identify inconsistent and incomplete requirement sets, and find read-before-write issues.
注目の例
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)