私は現在、組み込みプロジェクトの機能安全の達成に向けて取り組んでいます。認定されたツールとプロセスのチェーン内の他の多くのトピックには、STM32CubeMX によって生成される STM32 MCU の HAL コードもあります。
このツールは、安全関連システムの実行コードに貢献するコードを生成します。したがって、私の意見では、T3と評価します。つまり、安全基準に従ってツール自体を開発する必要があります。
このソフトウェアは安全に関するドキュメントのいずれにも記載されていないため、STM32CubeMX が認定ツールであるとは考えていません。それにもかかわらず、自分で書きたくない場合は、このソフトウェアによって生成されたコードを使用する必要があります (エラーが発生しやすいと思います)。
ですから、この特殊な状況をどのように処理するのだろうか。生成されたコードに対して何らかの検証テストやレビューを行う場合、コードを使用しても問題ありませんか? どうすれば十分な信頼を得ることができますか? 既存のガイドラインはありますか?