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 />

Grafische Softwareentwicklung in Form von<br />

Funktionsblöcken nach IEC 1131<br />

Schritt 1:<br />

Aufbau einer Funktionsblock-Bibliothek <strong>und</strong> Nachweis der<br />

Korrektheit mit formalen Methoden<br />

Schritt 2:<br />

Anwendungsspezifische Verknüpfung der Funktionsblöcke<br />

<strong>und</strong> Nachweis der korrekten Zusammenschaltung<br />

© 2013 IAS, Universität Stuttgart 404

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!