Prozedursteuerung, Ablaufsteuerung - Fakultät Elektrotechnik und ...
Prozedursteuerung, Ablaufsteuerung - Fakultät Elektrotechnik und ...
Prozedursteuerung, Ablaufsteuerung - Fakultät Elektrotechnik und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Unsichere Strukturen in Schrittketten<br />
• Fehlerhafte Schrittketten durch Schleifen <strong>und</strong> Sprünge<br />
– Unsichere Kette: enthält Strukturen, deren Erreichbarkeit<br />
durch das definierte Ablaufverhalten nicht sichergestellt ist<br />
– Partielle Verklemmung: Kette enthält eine innere Schleife,<br />
die nicht mehr verlassen wird<br />
– Totale Verklemmung: Kette enthält eine Struktur, für die<br />
keine zulässige Weiterschaltbedingung existiert<br />
� Solche Strukturen müssen mit formalen Entwurfsmethoden<br />
ausgeschlossen werden<br />
22.05.2012 PLT1 / Urbas (c) 2008-2012 Folie 17