Zuverlässige Embedded-Systeme-Software
Statische Analysen für funktionale Sicherheit
Systeme, die Sicherheitsfunktionen erfüllen, müssen besonders streng auf Zuverlässigkeit und Fehlerfreiheit überprüft werden. Zahlreiche Normen machen hierzu strikte Vorgaben. Hier kann die statische Code-Analyse den Entwicklern einiges an Arbeit…