INTEL PRODUCTS ARE NOT INTENDED FOR USE IN MEDICAL, LIFE SAVING, OR LIFE SUSTAINING APPLICATIONS

14. Juli 2010 – Reuters meldet: Der weltgrößte Chiphersteller Intel hat mit seinen Bilanzdaten die Märkte positiv überrascht.

Fehler in der Arithmetik von Computern

Besonders der endliche Speicher des Computers ist die Quelle ernsthafter und tiefer Probleme. Denn Computer sind ‚mathematische‘ Werkzeuge; sie dienen als Werkzeug für mathematische Berechnungen, für die mathematische Modellbildung, für Simulationsverfahren aller Art. In der Mathematik gehört jedoch der Umgang mit unendlichen Mengen, insbesondere mit der Menge der reellen Zahlen zum Alltag. Und solche Mengen lassen sich nicht oder nur sehr schwer im Computer darstellen. Die klassische Software (Programmiersprachen, Anwendersoftware) verwendet meist die ‚Gleitkomma-Technik‘ zur Darstellung von reelen Zahlen  […] Jede in der Realität vorkommende reelle Zahl muss bei der Übertragung in den Computer einer dieser Gleitkommazahlen zugeordnet werden. […]
Man kann den Rechnungen auf der Basis der Gleitkommazahlen, streng genommen, nicht rauen; dennoch wird es tagtäglich milliardenfach getan. Und natürlich wird der Mikroprozessor, vor dessen Benutzung Herstellerfirmen [wie Intel warnen], auch in Situationen eingesetzt, wo das Leben und die Gesundheit von Menschen vom ‚richtigen‘ Funktionieren des Prozessors abhängt.

Ziegenbalg, Jochen; Ziegenbalg, Oliver; Ziegenbalg Bernd [2016]: Algorithmen von Hammurapi bis Gödel. Springer Spectrum: Wiesbaden; S. 191f.

Fehlerfreiheit
In Spezialfällen ist ein Beweis der Fehlerfreiheit eines Programms möglich. Insbesondere in Bereichen, in denen der Einsatz von Software mit hohen finanziellen, wirtschaftlichen oder menschlichen Risiken verbunden ist, wie z. B. bei militärisch oder medizinisch genutzter Software oder in der Luft- und Raumfahrt, verwendet man zudem eine (formale) Verifizierung genannte Methode, bei der die Korrektheit einer Software formal-mathematisch nachgewiesen wird. Dieser Methode sind allerdings wegen des enormen Aufwands enge Grenzen gesetzt und sie ist daher bei komplexen Programmen praktisch unmöglich durchzuführen (siehe auch Berechenbarkeit). Allerdings gibt es mittlerweile Werkzeuge, die diesen Nachweis laut eigenen Angaben zumindest für Teilbereiche (Laufzeitfehler) schnell und zuverlässig erbringen können.