Die NASA/JPL hat 2006 10 Regeln für das Schreiben von sicherer Software erstellt.

https://de.wikipedia.org/wiki/Die_Macht_der_10:_Regeln_f%C3%BCr_die_Entwicklung_sicherheitskritischen_Codes

https://yurichev.com/mirrors/C/JPL_Coding_Standard_C.pdf