The issue that has to be answered is whether or not software engineers who work on safety-related systems should be obliged to get some kind of certification or licencing. Please include an explanation for your decision.

Formal specification and verification may be cost-effective for safety-essential software systems. Do you agree with critical systems engineers' formal approach aversion?

Despite the notion that software is linked with flaws, the aerospace industry has been providing mission-critical software for aircraft with a low risk of failure. What processes are in place and how are they executed to ensure that critical software is created without errors?

When developing safety-critical systems, should software developers be obliged to have professional credentials? Please explain your reasoning.