問題タブ [safety-critical]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
c - MISRA-2012 ルール 20.12 違反: misra_c_2012_rule_20_12_violation: マクロ パラメーター「val」が展開された形式と生の形式の両方で使用されています
このMISRA違反に直面しています：
定義:
発信者の詳細:
Misra-2012 がルール 20.12 違反を報告misra_c_2012_rule_20_12_violation: macro parameter "val" is used in both expanded and raw forms
c - メモリ保護ユニットなしの CPU での IEC 61508 のソフトウェア要素の独立性
IEC 61508、パート 3、付属書 F によるソフトウェア要素の独立性を正当化して、安全関連コンポーネントを SIL 2 と評価し、非安全コンポーネント (UI、通信など) を評価しないままにすることは可能ですか? SIL 2 と評価された全体的な結果がまだありますか?
特に、安全要素と非安全要素がすべて単一のプロセッサで実行されており、プロセッサがハードウェア メモリ保護の形式を実装していない場合の見解に関心があります。ソフトウェア要素が干渉しないようにするためにできることはたくさんあります。たとえば、データの整合性を確保する、データの受け渡しが厳密に制御および検証される、タスクのスケジューリングが決定論的である (安全でないタスクの終了が保証される)、およびすぐ。
そのような技術を厳密に適用するだけで十分でしょうか?