数学とデータ型

hisl_0045: [コンフィギュレーション パラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]

ID: タイトルhisl_0045: [コンフィギュレーション パラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]
説明

論理演算子、関係演算子、および Combinatorial Logic ブロックの使用時に明確な動作をサポートするには、コンフィギュレーション パラメーター [boolean データ (対 double) として論理信号を処理] を選択します。

メモ

[boolean データ (対 double) として論理信号を処理] を選択すると、Boolean 型のチェックが有効になり、Boolean 入力を優先するブロックが double 信号に接続するときにエラーが発生します。このチェックによって、必要メモリが少ないコードが生成されます。

根拠あいまいなモデル動作を避け、生成コードのメモリを最適化する。
モデル アドバイザー チェックCheck safety-related optimization settings for logic signals (Simulink Check)
参考文献

  • DO-331, MB.6.3.1.e 'High-level requirements conform to standards'
    DO-331, MB.6.3,2.e 'Low-level requirements conform to standards'

  • IEC 61508-3, Table A.3 (2) 'Strongly typed programming language’

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1c) 'Enforcement of strong typing'

  • EN 50128, Table A.4 (8) 'Strongly Typed Programming Language'

  • MISRA C:2012, Rule 10.1

参考Simulink ドキュメンテーションの boolean データ (対 double) として論理信号を処理
最終更新R2018b

hisl_0048: [コンフィギュレーション パラメーター]、[数学とデータ型]、[アプリケーションのライフスパン (日)]

ID: タイトルhisl_0048: [コンフィギュレーション パラメーター]、[数学とデータ型]、[アプリケーションのライフスパン (日)]
説明

連続実行するシステムのロバスト性をサポートするには、コンフィギュレーション パラメーター [アプリケーションのライフスパン (日)] を [Inf] に設定します。

メモ

組み込みアプリケーションは連続実行する可能性があります。タイマーとカウンターにライフスパンの制限を想定しないでください。. [アプリケーションのライフスパン (日)] を [inf] に設定すると、シミュレーション時間がアプリケーションのライフスパンより短くなります。

根拠連続実行するシステムのロバスト性をサポートする。
モデル アドバイザー チェックCheck safety-related optimization settings for application lifespan (Simulink Check)
参考文献

  • DO-331, Section MB.6.3.1.g 'Algorithms are accurate’
    DO-331, Section MB.6.3.2.g 'Algorithms are accurate’

  • IEC 61508-3, Table A.4 (3) 'Defensive Programming’

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1d) 'Use of defensive implementation techniques'

  • EN 50128, Table A.3 (1) 'Defensive Programming'

参考
最終更新R2018b