AI/ML for Safety-Critical Software: The Case of the Space Domain

We analyze the current way of producing safety-critical software and the reference safety and assurance standards in the domain of spacecraft, namely, ECSS-Q-ST-80C and ECSS-E-ST-40. Then, we explore the readiness of correct practices to ensure that machine learning- or AI-enabled systems are safe and reliable.