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

[qute]

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?

[informatimago]

https://yandex.ru/search/?clid=2233511&text=nasa%20embedded%...