Main Content

要件の考慮事項

hisl_0070: モデル内の要件リンクの配置

ID: タイトルhisl_0070: モデル内の要件リンクの配置
説明

モデル要件と要件の実装に使用されるモデル要素との間に双方向トレーサビリティを確立します。1 つの要素または要素の組み合わせを要件にリンクできます。

要件をリンクする際に、以下のガイドラインに従います。

A要件リンクはモデル要素の最下位レベルのコンポーネントに適用する。モデルの動作または生成コードに影響しないモデル要素は要件リンクから除外される。その他の情報については「メモ」を参照してください。
B各コンポーネントに関連付けられている固有の要件リンク最大数をプロジェクト レベルで定義する。少なくとも 1 つの要件リンクが必要である。
Cプロジェクト レベルで、リンクされた各コンポーネントの子モデル要素の最大数を定義する。
メモ

Requirements Toolbox™ を使用して、モデルとモデルが開発された要件の間をトレースします。ユーザー タグ (Requirements Toolbox)を適用して、派生要件または安全要件としてモデル要素を定義します。

モデルにリンクされる要件の数を減らすには、コンポーネントレベルで要件を適用します。コンポーネントには、たとえば次のようなモデル要素のグループが含まれます。

  • Simulink® の場合、コンポーネントが最上位レベルのブロック線図、サブシステム、MATLAB® 関数、または領域の注釈。

  • Stateflow® の場合、コンポーネントがチャート、スーパーステート、ボックス、Simulink 関数、グラフィカル関数、Simulink ステート、MATLAB 関数、または Truth Table。

  • MATLAB の場合、コンポーネントが関数。

  • System Composer の場合、コンポーネントが Adapter ブロックまたは Component ブロック。

以下のモデル要素 "のみ" が含まれるコンポーネントは要件リンクから除外されます。

リンクされたコンポーネントに除外対象でない子モデル要素が含まれる場合、関連付けられている要件は子によって部分的または全体的に実装されます。

根拠Aコンポーネント レベルで要件リンクを確立することにより、モデル要素の関係が取得される。さらに、マイナーなロジックの変更に対する要件リンクの更新の必要性が低減されるため、保守性が向上する。
B、C要件の変更による影響分析をサポートする。
モデル アドバイザー チェックCheck for model elements that do not link to requirements (Simulink Check)
参考文献
  • DO-331, Section MB.6.3.2.f - 'Low-level requirements trace to high-level requirements'

  • IEC 61508-3, Table A.2 (12) - 'Computer-aided specification and design tools'
    IEC 61508-3, Table A.2 (9) - 'Forward traceability between the software safety requirements specification and software architecture'
    IEC 61508-3, Table A.2 (10) - 'Backward traceability between the software safety requirements specification and software architecture'
    IEC 61508-3, Table A.4 (8) - 'Forward traceability between the software safety requirements specification and software design'
    IEC 61508-3, Table A.8 (1) - 'Impact analysis'

  • IEC 62304, 5.2 - 'Software requirements analysis'
    IEC 62304, 7.4.2 - 'Analyze impact of software changes on existing risk control measures'

  • ISO 26262-6, Table 2 (1a) - 'Natural language'
    ISO 26262-6, Table 3 (1b) – ‘Restricted size and complexity of software components’
    ISO 26262-6, Table 5 (1a) – Natural language
    ISO 26262-6:7.4.2.a - The verifiability of the software architectural design
    ISO 26262-8:8.4.3 Change request analysis

  • EN 50128, Table A.3 (23) - 'Modeling supported by computer aided design and specification tools'
    EN 50128, Table D.58 - Traceability
    EN 50128, Table A.10 (1) - 'Impact Analysis'

参考

要件のトレーサビリティ (Requirements Toolbox)

最終更新R2021a

推奨: 親コンポーネントへの要件リンク

サブシステムをもたない最上位モデルに配置された要件リンク。

推奨: 領域の注釈に配置された要件リンク

領域の注釈に配置された要件リンク。