17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

5.4 Zuverlässigkeits- <strong>und</strong> Sicherheitsmaßnahmen<br />

AT II<br />

Maßnahmen gegen Software-Fehler<br />

– Maßnahmen, um die Entstehung von Softwarefehlern zu verhindern<br />

<br />

Verbesserung des Softwareentwicklungsprozesses<br />

– Maßnahmen, um vor der Inbetriebnahme inhärente Softwarefehler<br />

aufzudecken<br />

<br />

Tests, Reviews<br />

Sicherheitsbezogenes Vorgehensmodell nach IEC 61508<br />

Graphische Softwareentwicklung mit Funktionsblöcken nach IEC 1131<br />

<br />

Formale Spezifikation <strong>und</strong> Verifikation<br />

– Maßnahmen, um die gefährlichen Auswirkungen von Softwarefehlern<br />

während des Betriebs zu verhindern<br />

<br />

Realisierung von Diversität<br />

© 2013 IAS, Universität Stuttgart 403

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!