Ask HN: Q: Aircraft/Spacecraft equipment software requirements?

Where can I get some very short overview of the main requirements for software that is written within the aircraft/spacecraft industry?

For example, what are the formal reliability requirements for these systems?