'RESOLUTION' 'Entgegen dem Glauben, dass Computersysteme unfehlbar sind, ist es eine Tatsache ,dass Computersysteme fehlerhaft arbeiten können und dies auch tun. Es ist daher nicht möglich, die Zuverlässigkeit eines von Computern abhängigen Systems als gewährleistet zu betrachten. Dies gilt für alle computerabhängigen Systeme, in besonders kritischer Weise jedoch für Systeme, deren fehlerhaftes Verhalten ein grosses Risiko für die Öffentlichkeit darstellt. In zunehmendem Masse hängt menschliches Leben von der Sicherheit solcher Systeme ab. Gedacht ist dabei an Kontrollsysteme für...