Übung Software in sicherheitsrelevanten Systemen Helge Zücker Sommersemester 2019

Beispiel Counter Es soll ein Counter in SCADE modelliert werden. Der Counter hat die Inputs „in_countUp“ und „in_reset“ und einen Output „out_countValue“. Jedesmal wenn der Input „in_countUp“ seinen Wert von „false“ auf „true“ wechselt soll der ganzzahlige Wert des Outputs „out_countValue“ um eins inkrementiert werden. Immer wenn der Input „in_reset“ den Wert „true“ hat soll der Counter zurückgesetzt werden und mit dem Wert „0“ wieder starten. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

MyCounter Jedesmal wenn der Input „in_countUp“ seinen Wert von „false“ auf „true“ wechselt gibt die RisingEdge „true“ aus, der Wert aus dem letzten Zyklus wird um das „inkement“ inkrementiert. Wenn der Input „in_reset“ den Wert „true“ enthält wird der bisherige Wert durch den „initValue“ überschrieben. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

Beispiel Erweiterung Counter Die Logik des Counters soll erweitert werden. Durch den zusätzlichen Input „in_opperate“ soll der gesamte Counter aktiv oder inaktiv geschaltet werden. Im inaktiven Zustand soll der Wert des Counters 0 sein. Beim aktivieren des Counters soll dieser bei 0 anfangen zu zählen. Durch den zusätzlichen Input „in_countDown“ soll der Wert des Counters um 1 gesenkt werden. Durch den zusätzlichen Input „in_countUpFive“ soll der Wert des Counters um 5 erhöht werden. Durch den zusätzlichen Input „in_countDownFive“ soll der Wert des Counters um 5 gesenkt werden. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

MyCounter Erweiterung Die Aktivierung des Counters kann mit einer StateMachine modelliert werden. Diese enthält die beiden Zustände „active“ und „inactive“. Im Zustand „inactive“ wird nur der initValue ausgegeben. Das Verhalten im Zustand „active“ wird auf einem zusätzlichen Diagramm modelliert. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

MyCounter Erweiterung Die Inputs zum zählen werden mit einer RisingEdge entprellt in eine lokale Variable geschrieben. In einem If-Block wird die entsprechende Operation ausgeführt. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

MyCounter Erweiterung Bei Nutzung der last‘ Eigenschaft des Outputs out_CountValue muß ein initialer Wert in den Eigenschaften des Outputs angegeben werden. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

Aufgabe ChangeCounting Es soll ein Counter modelliert werden, welcher in jedem Zyklus um eins auf oder ab zählt. Nach dem Start soll der Counter herauf zählen. Jedesmal wenn der einzige Input „in_Button“ den Wert von „false“ auf „true“ wechselt soll der Counter die Richtung wechseln. Tip: Die RisingEdge und der Counter aus den Bibliotheken können wiederverwendet werden. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

Aufgabe Fibonacci-Zahlen Es soll ein Operator modelliert werden, welcher die Fibonacci-Zahlenreihe ausgibt. Eine Fibonacci-Zahl pro Zyklus. Berechnet wird die Zahlenreihe wie folgt: 𝐹 1 =1 𝐹 2 =1 𝐹 𝑛 = 𝐹 𝑛−1 + 𝐹 𝑛−2 Die ersten Zahlen aus der Reihe lauten: 1,1,2,3,5,8,13,21... 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

Beispielprojekt Bahnübergang 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker

Beispielprojekt Bahnübergang Der Bahnübergang besteht aus einem Gleis welches eine Straße kreuzt. Aus beiden Richtungen auf der Straße befindet sich jeweils eine Schranke und eine Lichtsignalanlagen mit Andreaskreuzen. Auf dem Gleis gibt es zwei Achszähler, welche zählen wie viele Achsen in den Bereich des Bahnübergangs ein- und ausfahren. Für jede Fahrtrichtung gibt es ein Signal BÜ1 welches signalisiert, ob der Zug den Bahnübergang passieren darf. 28.07.2019 Ralf Pinger / Stefan Gerken / Helge Zücker