高信頼性システムのモデル アドバイザー チェックでの準拠

メトリクス ID

メトリクス ID: mathworks.metrics.ModelAdvisorCheckCompliance.hisl_do178

説明

メトリクス タイプ:準拠

ファミリ ID: mathworks.metrics.ModelAdvisorCheckCompliance

[高信頼性システム] サブグループにおいてパスしたモデル アドバイザー チェックの割合を計算するには、このメトリクスを使用します。このメトリクスは Simulink® Check™ で使用できます。

slmetric.metric.AggregationMode プロパティ設定は Percentile です。

計算の詳細

メトリクス:

  • ライブラリ モデルで実行されます。

  • マスク サブシステムの内容を解析します。

  • 指定されている場合、ライブラリにリンクされたブロックまたは参照モデルの内容を解析します。

  • Stateflow® オブジェクトの内容を解析します。

結果

このメトリクスでは、slmetric.metric.Result のインスタンスで以下の結果が示されます。

  • Value:[高信頼性システム] サブグループでパスしたチェックの総数の割合。

  • AggregatedValue:コンポーネントおよびそのすべてのサブコンポーネントについて集計された、[高信頼性システム] サブグループでパスしたチェックの総数の割合。

  • Measures:サブグループでパスしたチェックの数およびサブグループ内のチェック数が含まれているベクトル。

  • AggregatedMeasures:コンポーネントおよびそのすべてのサブコンポーネントについて、サブグループでパスしたチェックの数およびサブグループ内のチェック数が含まれているベクトル。

結果の詳細

このメトリクスでは、slmetric.metric.ResultDetail Value プロパティのインスタンスで以下の結果が示されます。

  • 値 0 はチェックが実行されなかったことを示しています。

  • 値 1 はチェックがパスしたことを示しています。

  • 値 2 はチェックの警告を示しています。

  • 値 3 は失敗を示しています。

チェックの詳細については、DO-178C/DO-331 業界標準用のモデル アドバイザー チェックを参照してください。

参考

トピック