帮助中心帮助中心

在 Simulink 模型中将需求正式化

使用 Requirements Table 模块在仿真之前和仿真期间计算逻辑

通过使用 Requirements Table 模块在运行前和运行时计算逻辑，在 Simulink^® 模型中定义正式需求。使用正式需求来检查您的模型的输出或执行模块输出。

直接在该模块、需求编辑器中或使用 MATLAB^® 中的编程命令配置正式需求。

模块

Requirements Table

使用输入条件对形式化需求进行建模 (自 R2022a 起)

函数

Requirements Table 模块函数

`slreq.modeling.create`	使用 Requirements Table模块创建新模型 (自 R2022a 起)
`slreq.modeling.find`	查找 Requirements Table 块 (自 R2022a 起)
`slreq.load`	加载需求集或链接集
`anyValue`	抑制 Requirements Table 模块中输出的不完整性问题 (自 R2024a 起)

对象

Requirements Table 模块对象

`RequirementsTable`	配置 Requirements Table 块 (自 R2022a 起)
`Symbol`	在 Requirements Table 块中配置数据 (自 R2022a 起)
`RequirementRow`	Requirements Table模块中的需求 (自 R2022a 起)
`AssumptionRow`	Requirements Table模块中的假设 (自 R2022a 起)

对象函数

Requirements Table 模块对象函数

管理模块数据

`addSymbol`	将数据添加到 Requirements Table 模块
`findSymbol`	检索 Requirements Table模块中的数据

管理模块行

`addAssumptionRow`	将假设添加到 Requirements Table模块
`addRequirementRow`	将需求添加到 Requirements Table模块
`addChild`	将子需求或假设添加到 Requirements Table 模块
`getRequirementRows`	检索 Requirements Table模块中的需求
`getAssumptionRows`	检索 Requirements Table模块中的假设
`getChildren`	检索 Requirements Table模块中的子需求和假设
`slreq.getCurrentObject`	获取需求编辑器、需求浏览器或 Requirements Table 模块中选定的对象
`clear`	清除 Requirements Table模块中的行
`removeRow`	删除 Requirements Table模块行

管理模块列

`hideAssumptionColumn`	隐藏假设选项卡中的预条件列
`hideRequirementColumn`	隐藏“需求”选项卡中的列
`showAssumptionColumn`	在“假设”选项卡中显示“预条件”列
`showRequirementColumn`	在“需求”选项卡中显示列

运算符

Requirements Table 模块运算符

时序逻辑

`duration`	Requirements Table模块中条件有效的时间
`getPrevious`	Requirements Table模块中数据的先前值
`isStartup`	仿真时间是否在Requirements Table模块中为`0`
`t`	Requirements Table模块中的仿真已用时间

更改检测

`hasChanged`	检测自 Requirements Table模块中上一步以来数据的变化
`hasChangedFrom`	检测 Requirements Table模块中指定值的数据变化
`hasChangedTo`	检测 Requirements Table模块中数据是否变为指定值

创建、串联和转换字符串

`str2double`	在 Requirements Table模块中将字符串转换为双精度值
`string`	在 Requirements Table模块中将值转换为字符串
`plus`	连接 Requirements Table模块中的字符串

确定字符串的属性

`isletter`	确定 Requirements Table模块中的哪些字符是字母
`isspace`	确定 Requirements Table模块中哪些字符是空格
`isstring`	确定 Requirements Table模块中的输入是否为字符串
`strlength`	确定 Requirements Table模块中字符串的长度
`contains`	确定字符串是否包含 Requirements Table模块中的子字符串

查找和替换字符串字符

`contains`	确定字符串是否包含 Requirements Table模块中的子字符串
`endsWith`	确定字符串是否以 Requirements Table模块中的子字符串结尾
`matches`	确定 Requirements Table模块中两个字符串是否匹配
`replace`	查找并替换 Requirements Table模块中的子字符串
`replaceBetween`	替换 Requirements Table模块中起点和终点之间的子字符串
`startsWith`	确定字符串是否以 Requirements Table模块中的子字符串开头
`strfind`	在 Requirements Table模块中的字符串中查找子字符串
`strrep`	查找并替换 Requirements Table模块中的子字符串

编辑字符串

`erase`	删除 Requirements Table模块中字符串内的子字符串
`eraseBetween`	删除 Requirements Table模块中起点和终点之间的子字符串
`extractAfter`	提取 Requirements Table模块中位置后的子字符串
`extractBefore`	提取 Requirements Table模块中位置之前的子字符串
`insertAfter`	在 Requirements Table模块中的子字符串后插入字符串
`insertBefore`	在 Requirements Table模块中的子字符串前插入字符串
`lower`	在 Requirements Table模块中将字符串转换为小写
`upper`	在 Requirements Table模块中将字符串转换为大写
`reverse`	Requirements Table模块中字符串中字符的反转顺序
`strip`	从 Requirements Table模块中的字符串中删除前导字符和尾随字符
`strtrim`	从 Requirements Table模块中的字符串中删除前导和尾随空格

比较字符串

`matches`	确定 Requirements Table模块中两个字符串是否匹配
`strcmp`	比较 Requirements Table 模块中的字符串（区分大小写）
`strcmpi`	比较 Requirements Table 模块中的字符串（不区分大小写）
`strncmp`	比较 Requirements Table 模块中字符串的前 N 个字符（区分大小写）
`strncmpi`	比较 Requirements Table 模块中字符串的前 N 个字符（不区分大小写）

主题

创建和管理需求

使用 Requirements Table 模块创建正式需求
使用Requirements Table模块评估形式化需求。 (自 R2022a 起)
将假设添加到需求中
使用假设根据物理限制来约束 Requirements Table 模块中的正式需求数据。 (自 R2022a 起)
在 Requirements Table 模块中指定行类型
使用Requirements Table来定义需求和假设的行类型。 (自 R2022a 起)
在 Requirements Table 模块中建立层次结构
创建子行来建立需求或假设之间的父子关系。 (自 R2022a 起)
在 Requirements Table 模块中指定子评估

指定模块如何在 Requirements Table 中评估同一级别的需求。
- 创建优先需求
- 创建独家详尽的需求
通过编程创建 Requirements Table 模块
使用MATLAB命令行创建和修改 Requirements Table 模块。 (自 R2022a 起)
使用时序逻辑执行控制需求
使用时序逻辑运算符来控制需求评估和执行。 (自 R2022a 起)
使用 Requirements Table 模块检测数据变化
当数据在时间步之间发生变化时执行形式化需求。 (自 R2022a 起)
利用形式需求的评估顺序
在 Requirements Table模块中指定评估顺序。 (自 R2022a 起)
配置正式需求的属性
修改 Requirements Table模块中每个需求的类型、描述或理由。 (自 R2022a 起)
指定 Requirements Table 模块属性
配置Requirements Table模块如何与Simulink模型接口。 (自 R2022a 起)

配置需求数据

在 Requirements Table 模块中定义数据
添加或修改建立形式化需求的数据。 (自 R2022a 起)
在 Requirements Table 模块中设置数据类型
指定形式化需求中使用的数据类型。 (自 R2022a 起)
指定 Requirements Table 模块数据的大小
在 Requirements Table 模块中指定数据大小。 (自 R2022a 起)

验证需求

分析 Requirements Table 模块以解决建模问题

使用Simulink Design Verifier™来验证 Requirements Table 模块。

测试具有需求的模型

什么是规范模型？
规范模型概述及其在基于需求的验证中的应用。 (自 R2022b 起)
使用 Simulink Design Verifier 从包含 Requirements Table 模块的模型中导出测试
使用包含Requirements Table模块的模型自动生成和执行测试。

疑难解答

调试 Requirements Table 模块

在仿真期间调试Requirements Table模块需求。 (自 R2023a 起)

精选示例

使用 Requirements Table 模块仿真骰子游戏规则

使用 Requirements Table 模块仿真骰子游戏规则

使用 Requirements Table模块来模型与骰子游戏相关的规则和游戏结果。

自 R2022a 起

分析电动汽车充电器锁定机制的正式需求

分析电动汽车充电器锁定机制的正式需求

使用 Requirements Table 模块和 Simulink Design Verifier 构建、分析和更新电动汽车充电站锁定机制的形式化需求。

自 R2022a 起

打开实时脚本

定义具有持续时间的正式需求

定义具有持续时间的正式需求

定义使用持续时间的形式化需求。

自 R2022a 起

打开实时脚本

使用规范模型进行基于需求的测试

使用规范模型进行基于需求的测试

按照系统的方法根据需求验证您的设计模型。

自 R2022b 起

打开实时脚本

使用 Requirements Table 模块证明属性

使用 Requirements Table 模块证明属性

使用 Requirements Table模块和 Simulink Design Verifier 来证明模型的属性。

自 R2023a 起