Spezifikationsmodule - Software and Systems Engineering - TUM

Weitere Magazine

Empfehlungen

Info

(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
ErrorTreatment Verhalten :Cntrl?Start: Sts!Started: Operate Press Verhalten Operate Init :Cntrl?Stop: Sts!Stopped: ::Sts!Error: errCode=1 errCode=0:Cntrl?Start:Sts!Started: D :Cmd!Off:: :Cntrl?Reset: Sts!Initial: errCode=0 Stop Off MergedController Verhalten :CntrlCmd?StartOn: Sts!Started: Operate Operate D Init :CntrlCmd?StopOff: Sts!Stopped: ::Sts!Error: errCode=1 errCode=0: CntrlCmd!StartOn: Sts!Started: :CntrlCmd?Reset: Sts!Initial: errCode=0 StopOff :Cmd!On:: Abbildung 2.6: Spezifikationsvereinigung der Verhaltenssicht Press.Operate Verhalten Wait :SnsPc?Signal: Act!Lower: timer = 0 :Cmd!Off:: timer
Seite 1 und 2: Modellbasierte Entwicklung: Spezifi
Seite 3 und 4: Ich versichere, dass ich diese Dipl
Seite 5 und 6: Zusammenfassung Im Bereich eingebet
Seite 7 und 8: 6 Fazit und Ausblick 58 6.1 Einordn
Seite 9 und 10: Entwicklungsprozesses und der Einze
Seite 11 und 12: Kapitel 2 Modelltransformationen, W
Seite 13 und 14: Recheneinheiten bzw. -funktionen da
Seite 15 und 16: oder Ausgabeschnittstelle der Kompo
Seite 17 und 18: Modellschnittstellen Datentypen, Te
Seite 19: ) result has Name(np, data.s) and r
Seite 23 und 24: 2.5 Einschränkungen für die Model
Seite 25 und 26: Kapitel 3 Einführungsbeispiel: Typ
Seite 27 und 28: DTD 0..* DTDModule 0..* TypeDef 0..
Seite 29 und 30: 1. eines der beiden Zeichen ist ein
Seite 31 und 32: Haben wir namensgleiche Konstruktor
Seite 33 und 34: Abschließend erzeugen wir die Kons
Seite 35 und 36: 30 Abbildung 3.3: Eingabedialog zur
Seite 37 und 38: Kapitel 4 Spezifikationsvereinigung
Seite 39 und 40: ErrorTreatment Verhalten :Cntrl?Sta
Seite 41 und 42: DataDefinition Component Constructo
Seite 43 und 44: ... exists constructorMap: set (Con
Seite 45 und 46: Kapitel 5 Interaktive Spezifikation
Seite 47 und 48: 5.2.1 Struktursicht Die Struktursic
Seite 49 und 50: Abbildung 5.3: Dialog für Zuständ
Seite 51 und 52: leiten wir die zu vereinigenden Kon
Seite 53 und 54: 5.4 Umsetzung der Dialogführung in
Seite 55 und 56: tm_fp3.one = fp3_it.one.TransitionS
Seite 57 und 58: Abhängigkeiten bezüglich dieser b
Seite 59 und 60: deten Quellstrukturen identisch zum
Seite 61 und 62: esult has Name(mk_prt.copy, concat(
Seite 63 und 64: Kapitel 6 Fazit und Ausblick Abschl
Seite 65 und 66: nisch umsetzbar, da die bisherigen
Seite 67 und 68: Anhang A ODL Programm der Spezifika
Seite 69 und 70: Das im nächsten Abschnitt abgedruc
Seite 71 und 72:
sel1:Selector, sel2:Selector ) := (
Seite 73 und 74:
* LocVariable */ exists lvar_map_po
Seite 75 und 76:
exists lvm_fpactm:lvar_map . ( fpac
Seite 77 und 78:
forall ap1:(ae.one.Args) . exists a
Seite 79 und 80:
fpclvrs_it.Component = component_pa
Seite 81 und 82:
exists copy_action_set: lfp FP_CACT
Seite 83 und 84:
exists new_automaton:new Automaton
Seite 85 und 86:
)) and /* copy constructors not mer
Seite 87 und 88:
* merged states are part of root st
Seite 89 und 90:
nctsgm_mkifp.orig.SourcePoint = mk_
Seite 91 und 92:
nlvm_elem_lvcnm.orig.one = mk_lvc.o
Seite 93 und 94:
nlvarcopy_arg.orig = param and resu
Seite 95 und 96:
exists new_copy_output_map:map orig
Seite 97 und 98:
new_constructor_map, new_copy_const
Seite 99:
[TUM04b] AutoRaid. http://www4.in.t
Alle anzeigen

Spezifikationsmodule - Software and Systems Engineering - TUM

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

Template löschen?

Als Template speichern?