Must-Have-Komponenten | Embedded Medical
Teil 4 | AbsInt: Nachweisbare Sicherheit für Medizinsoftware
Mit Astrée bietet AbsInt ein Analyse-Tool, das C/C++-Code in Embedded-Medical-Software lückenlos auf Laufzeitfehler wie Pufferüberläufe, uninitialisierte Variablen oder Data Races prüft, die Abwesenheit wird nachweisbar dokumentiert. Gut für die…