Fehlerfreie Medizinsoftware
Von der Vision zur Wirklichkeit
Aktuelle Sicherheitsnormen fordern den Nachweis, dass die funktionalen Anforderungen erfüllt und sicherheitsrelevante nicht-funktionale Softwarefehler ausgeschlossen sind. Hierzu zählen Stacküberläuge, Laufzeit- und Compiler-Fehler. Deren Abwesenheit…