JSF (Joint Strike Fighter) как стандарт для C

есть хорошо известный стандарт Joint Strike Fighter (JSF) для C++, есть ли аналогичный стандарт для C, которые способствуют использованию качества программистов C при кодировании для критически важной платформы?

7
c coding-style

2 ответов

MISRA C Ассоциацией надежности программного обеспечения автомобильной промышленности:

MISRA-C:2004, руководство по использованию языка C в критических системах, http://www.misra.org.uk

9

Лес Хаттон указал подмножество ISO C для критических систем и написал довольно много о MISRA C. я прочитал (по крайней мере, большую часть), что он должен сказать, прежде чем принимать какие-либо решения. Если ты в tl:dr mode, короткий ответ заключается в том, что большинство таких рекомендаций (включая MISRA C) включают правила, выполняющие всю гамму от чрезвычайно полезных до несколько полезных, до нескольких, которые, вероятно, активно вредны (например, редактирование кода, чтобы следовать им, скорее всего, представит ошибки чем исправить что-нибудь).

4