Средства и методы разработки

MISRA по своей сути есть лишь проверка грамматики :), что совершенно не гарантирует отсутствия ошибок. Поэтому баги во всех случаях ловятся одинаково, как в Arduino, так и в компиляторах и операционных системах, - вылавливаются ошибки, ими порождаемые. Поэтому обычно меньше ошибок не там, где формализм расцвел, а там где большее число пользователей вынуждено занято непрерывным тестированием.