NASA menulis perangkat lunak penerbangan misi kritis di C. Dan aturannya benar-benar GINDILA. > Tidak ada rekursi. Pernah. > Setiap loop harus memiliki batas atas yang dapat dibuktikan. > Tidak ada alokasi memori dinamis setelah inisialisasi. > Maks ~60 baris per fungsi. > Minimal 2 pernyataan per fungsi. > Setiap nilai yang dikembalikan harus diperiksa. > Peringatan kompiler nol diizinkan. > Analisis statis harian. Nol peringatan di sana juga. > Tidak ada penunjuk fungsi. > Penghapusan referensi penunjuk terbatas. Beginilah cara mereka menulis kode di NASA / JPL untuk sistem misi-kritis.