Programátori NASA musia dodržiavať prísne pravidlá. Nemôžu napríklad používať rekurziu

Vývoj kritických aplikácií pre NASA (napr. na riadenie lietadiel či kozmických lodí) je doslova životne dôležitý, pričom kvalita kódu a bezpečnosť sú prvoradé. Preto NASA vypracovala štandardy na programovanie a pravidlá na zabezpečenie spoľahlivosti kritického softvéru.Tieto smernice pre Jet Propulsion Laboratory (JPL) spadajúce pod NASA boli vypracované v Kalifornskom technologickom inštitúte na základe zmluvy a v súčasnosti sa v JPL používajú experimentálne, pričom výsledky sú povzbudivé. Hoci sa zameriavajú na kód napísaný v jazyku C, pretože softvér pre sondy a ďalšie vesmírne zariadenia sa píše pre efektívnosť práve v tomto jazyku, mohli by byť upravené aj pre ďalšie programovacie jazyky.K dispozícii je 10 pravidiel, aby bol ich súbor malý, dostatočne jasný a ľahko zapamätateľný. Niektoré z nich sú vlastne všeobecne uznávané štandardy na správny štýl a postup programovania, napríklad deklarácia dátových objektov na najmenšej úrovni rozsahu či denná kontrola kódu a ...