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?