Von getestet zu bewährt
Zuverlässige Fahrzeugsoftware – die nächste Phase
Fahrzeugsoftware muss absolut zuverlässig sein. Herkömmliche Verifizierungsansätze, die auf Tests und inkrementeller Analyse beruhen, reichen jedoch nicht mehr aus. Insbesondere Verletzungen der Speichersicherheit bleiben ein anhaltendes Risiko im…