Spezifikationsmodule - Software and Systems Engineering - TUM

(Cmd), drei Signalleitungen zu Sensoren und eine Signalleitung zu einem Aktuator.
Sie haben die folgenden Bedeutungen:
• SnsUp - Sensorsignal, das anzeigt, dass die Presse gehoben ist.
• SnsDn - Sensorsignal, das anzeigt, dass die Presse gesenkt ist.
• SnsPc - Sensorsignal, das anzeigt, ob sich ein Werkstück in der Presse
befindet.
• Act - Aktuatorsignal, zum Ansteuern des Motors, der die Presse bewegt.
Die vereinigte Komponente MergedController hat ebenfalls die drei Sensorports,
den Status- und den Aktuatorport. Sie wurden als Kopie von den beiden
Quellkomponenten übernommen. Die Besonderheit ist allerdings der neue
Steuerport CntrlCmd, der die Vereinigung der beiden Steuerports Cntrl von
ErrorTreatment und Cmd von Press darstellt. Insbesondere muss für diesen neuen
Port auch der kombinierte Typ ControlCommand generiert werden (siehe unten).
2.4.2 Verhaltenssicht
Die Abbildung 2.6 zeigt die Automaten der beiden Quellkomponenten und der
verschmolzenen Komponente. Das dargestellte Ergebnis ist nur eines von mehreren
syntaktisch korrekten Ergebnissen. Wir haben hier die sinnvolle Variante
gewählt, die möglichst viele Elemente vereinigt.
Es werden die Zustandspaare (Operate, Operate) und (Stop, Off) vereingt.
Die Benennung der neuen Zustände erfolgt durch Konkatenieren der Quellzustandsnamen.
Die Transitionen werden entsprechend dem Verlauf in der Abbildung unifiziert.
Besonders sei angemerkt, dass die Vereinigung der beiden Transitionen
von Stop nach Operate und von Off nach Operate erzwingt, dass das Eingabesignal
für die Transition zwischen Init und Operate ebenfalls angepasst wird.
Siehe hierzu auch die unten gezeigte Vereinigung der Typen.
Die mit (D) gekennzeichneten Zustände zeigen an, dass diese Zustände Unterautomaten
bzw. Unterzustände besitzen. In unserem Beispiel ist die Steuerungslogik
der Presse hier als Unterautomat gekapselt. Abbildung 2.7 zeigt diese
Steuerung.
Nach dem Start wird die Presse zunächst gehoben (Zustand Up). Dies geschieht
für maximal 100 Zeitschritte oder bis der Sensor SnsUp das vollständige
Heben anzeigt. Danach wartet die Presse auf ein Werkstück (Zustand Wait).
Sobald das Vorhandensein eines Werkstücks durch den Sensor SnsPc erkannt
wurde, wird die Presse gesenkt (Zustand Down). Auch dies geschieht wieder
für 100 Zeiteinheiten oder bis die volle Senkung erreicht wurde. Für die Zustandsübergänge,
die die Presse in Bewegung setzen, sind Sensorsignale absolut
notwendig. Wir wollen nicht, dass Zustandsübergänge aufgrund von Zeitbedingungen
geschehen. Sollte nach 100 Zeiteinheiten kein Signal eingetroffen sein, so
bleibt die Steuerung im entsprechenden Zustand und muss abgeschaltet werden.
Man sieht an diesem Fall, das die Vereinigung dieser Steuerungslogik mit der
Fehlerbehandlungslogik praktische Bedeutung hat. Auch wenn die verschmolzene
Anwendungslogik noch unvollständig ist und angepasst werden muss, können
15