主要内容

要求注意事项

hisl_0070:在模型中放置需求链接

ID:标题 hisl_0070:在模型中放置需求链接
描述

在模型需求和用于实现需求的模型元素之间建立双向可跟踪性。单个元素或元素组合可以链接到需求。

链接要求时,请遵循以下准则。

一个 应用需求链接到模型元素的最低级别组件。不影响模型行为的模型元素或生成的代码免征需求链接。请参阅附加信息的注释。
B 在项目级别,定义与每个组件关联的最大唯一要求链接数。需要至少一个要求链接。
C 在项目级别,为每个链接组件定义子模型元素的最大数量。
笔记

使用金宝app®要求™跟踪模型和开发模型的需求之间的关系。应用用户标签(金宝app仿真软件需求)定义模型元素作为推导和/或安全要求。

要减少与模型关联的需求的数量,请在组件级应用需求。组件包含一组模型元素,例如:

  • 在Si金宝appmulink中,组件是顶层框图、子系统、MATLAB®功能或区域注释。

  • 在Stateflow®,组件是一个图表、超状态、框、Simulink函数或图形函数。金宝app

包含的组件只有这些模型元素免于需求链接:

当链接的组件包含非豁免子模型元素时,子元素将部分或全部实现相关的需求。

基本原理 一个 在组件级别建立需求链接可以捕获模型元素的关系。此外,可维护性也得到了提高,因为为小的逻辑更改更新需求链接的需求减少了。
B,C 金宝app支持需求变更影响分析。
模型顾问检查 检查没有链接到需求的模型元素(金宝appSimulink检查)
参考
  • ——331年,部分MB.6.3.1。f -“高级需求可追溯到系统需求”

  • ——331年,部分MB.6.3.2。f -“低级需求可以追溯到高级需求”

  • IEC 61508-3,表A.2(12) -“计算机辅助规范和设计工具”
    IEC 61508-3,表A.2(9) -“软件安全需求规范和软件架构之间的向前追溯”
    IEC 61508-3,表A.2(10) -“软件安全需求规范和软件架构之间的向后追溯”
    IEC 61508-3,表A.4(8) -“软件安全要求规范和软件设计之间的向前追溯性”
    IEC 61508-3,表A.8(1) - '影响分析'

  • IEC 62304, 5.2 -“软件需求分析”
    IEC 62304, 7.4.2 -“分析软件变更对现有风险控制措施的影响”

  • ISO 26262-6,表2 (1a) -“自然语言”
    ISO 26262-6,表3(1B) - “软件组件的限制尺寸和复杂性”
    ISO 26262 - 6: 7.4.2。a -软件架构设计的可验证性
    ISO 26262-8: 8.4.3变更请求分析

  • EN 50128,表A.3(23) -“计算机辅助设计和规范工具支持的建模金宝app”
    EN 50128,表D.58 - 可追溯性
    EN 50128,表A.10(1) -影响分析

另请参阅

需求跟踪(金宝app仿真软件需求)

最后改变了 R2017b
例子

推荐:在父组件上的需求链接

需求链接位于没有子系统的顶层模型。

推荐:放在区域注释上的需求链接

放置在区域注释上的需求链接。