Zuverlässige und sicherheitskritische Softwaresysteme https://www.dlr.de/de/sc/forschung-transfer/themen/zuverlaessige-sicherheitskritische-softwaresysteme
Zuverlässige, sicherheitskritische und vertrauenswürdige Softwaresysteme sind verantwortlich für die Steuerung und Überwachung von Luft- und Raumfahrzeugen sowie modernen Fahrzeugen oder Energiesystemen.
Aber auch Software am Boden, zum Beispiel im Kontrollraum, muss extrem zuverlässig