NASA's Power of 10 rules for writing space-proof code

NASA has a set of rules called the Power of 10 to help developers write space-proof code for robots that operate in space. Examples of these rules include using simple control flow and avoiding recursion, limiting loops to a fixed upper bound, not using heap memory, limiting the size of functions, hiding data by declaring variables as close as possible to where they are used, restricting pointer use and avoiding function pointers, compiling in pedantic mode by treating warnings as errors, and extensively analyzing and testing code to ensure its reliability in the harsh conditions of space.