Übung Software in sicherheitsrelevanten Systemen

Präsentation zum Thema: "Übung Software in sicherheitsrelevanten Systemen"—  Präsentation transkript:

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

2 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. Ralf Pinger / Stefan Gerken / Helge Zücker

3 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. Ralf Pinger / Stefan Gerken / Helge Zücker

4 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. Ralf Pinger / Stefan Gerken / Helge Zücker

5 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. Ralf Pinger / Stefan Gerken / Helge Zücker

6 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. Ralf Pinger / Stefan Gerken / Helge Zücker

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

8 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. Ralf Pinger / Stefan Gerken / Helge Zücker

9 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... Ralf Pinger / Stefan Gerken / Helge Zücker

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

11 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. Ralf Pinger / Stefan Gerken / Helge Zücker