Verifikation integrierter Software

摘要

Während die Sensorhardware auf Datenblättern spezifiziert wird, hängt die korrekte Funktion moderner Sensor-ICs auch von der integrierten Software ab. Der Artikel behandelt die ursächliche Quantifizierung des softwarebedingten Risikos eines Systemausfalls und schlägt Verifikationsver-fahren vor.