функциональная безопасность и генераторы кода HAL
В настоящее время я работаю над достижением функциональной безопасности для встроенного проекта. Среди множества других тем внутри цепочки квалифицированных инструментов и процессов есть также HAL-код микроконтроллера STM32, который генерируется STM32CubeMX.
Этот инструмент генерирует код, который вносит свой вклад в исполняемый код системы, связанной с безопасностью. Так что, на мой взгляд, я бы оценил его как T3. Это означает, что сам инструмент должен быть разработан в соответствии со стандартами безопасности.
Поскольку это программное обеспечение не упоминается ни в одной документации по безопасности, я не считаю STM32CubeMX подходящим инструментом. Тем не менее, мне придется использовать код, сгенерированный этим программным обеспечением, если я не хочу писать его самостоятельно (что я считаю гораздо более подверженным ошибкам)
Поэтому мне интересно, как справиться с этой сложной ситуацией. Можно ли использовать код, если я провожу какой-то проверочный тест или проверяю сгенерированный код? Как я могу добиться достаточной уверенности и существуют ли какие-либо рекомендации?