Autowunsch

>
> > Ja, genau. Stichwort ist “Programmverifikation”. Damit kann die
> > Korrektheit von Programmen bewiesen werden, d.h. das Programm macht
> > genau das, was im Algorithmus beschrieben ist.
>
> Dazu muesste der Algorithmus auch korrekt beschrieben sein.
Das stimmt natürlich, aber formale Beschreibungen von Algorithmen
können oft auf einer anderen Ebene mit anderen Werkzeugen erstellt
werden und sind in der Regel eher auch für Nicht-Informatiker
verständlich.
> Auch schliesst das keine Fehler aus, die aus
> dem Zusammenspiel des Systems (Kommunikation etc.) kommen.
Doch, gerade das Verhalten paralleler und vernetzter Programme wird
in der Programmverifikation analysiert.
> Weiterhin
> Hardwareausfaelle z.B. Sensorik…
Auch diese Umstände müssen doch von der Software korrekt verarbeitet
werden. Es sollte ja schliesslich vermieden werden, dass durch einen
Ausfall oder die Fehlfunktion eines Sensors eine gefährliche
Situation für Fahrer entsteht.
Bis denn,
Delo