1
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?