Die Suche ergab 187 Treffer

von barracuda317
26. Mär 2013 12:18
Forum: Archiv
Thema: Keine Gleichverteilung bei select?
Antworten: 3
Zugriffe: 476

Keine Gleichverteilung bei select?

Hallo, gerade habe ich das Beispielprogramm von Folie 23 für select (Introduction Promela) ausprobiert? Die erhaltenen Werte machen mich jedoch etwas stutzig. Bei meinen Aufrufen (etwa 100) kam sehr oft 0, 1 und gelegentlich 2,3,4). Höhere Werte waren garnicht anzutreffen. Sollte select nicht eigent...
von barracuda317
26. Mär 2013 11:37
Forum: Archiv
Thema: Inlining Code - Typen
Antworten: 3
Zugriffe: 319

Re: Inlining Code - Typen

Das inline nimmt nur eine textuelle Ersetzung vor. Da wird gar nichts geprüft. Nachdem das durch den Präprozessor durch ist, sieht man nichts mehr von Funktionsaufrufen oder so. Die gibts in Promela ja eigentlich gar nicht. Aber wie willst du dieses unterschiedliche Verarbeiten realisieren? Promela...
von barracuda317
26. Mär 2013 11:31
Forum: Archiv
Thema: Keine Zuweisung mit Typdef?
Antworten: 0
Zugriffe: 133

Keine Zuweisung mit Typdef?

Hallo, gerade habe ich etwas mit den Typedefs rumprobiert. Folgenden Code mag er aber nicht ausführen: typedef DATE { byte day , month , year ; } typedef CALENDER { DATE a,b; } a c t iv e proctype P () { DATE D ; D . day = 1; D . month = 7; D . year = 62 CALENDER C; C.a=D; } Den Fehler liefert die Z...
von barracuda317
25. Mär 2013 19:47
Forum: Archiv
Thema: Inlining Code - Typen
Antworten: 3
Zugriffe: 319

Inlining Code - Typen

Hallo, ich habe eine Frage zu Folie 19 in "Introducing Promela" Es geht hierbei um Inlining Code: typedef DATE { byte day , month , year ; } i n l i n e setDate (D , DD , MM , YY ) { D . day = DD ; D . month = MM ; D . year = YY } a c t iv e proctype P () { DATE d ; setDate (d ,1 ,7 ,62) } Findet be...
von barracuda317
19. Mär 2013 18:14
Forum: Archiv
Thema: FGdI Sprechstunden
Antworten: 4
Zugriffe: 634

FGdI Sprechstunden

Hallo,

wird es vor der Klausur noch Sprechstunden geben ?
von barracuda317
18. Mär 2013 17:50
Forum: Archiv
Thema: Klausurrelevante Themen
Antworten: 15
Zugriffe: 6475

Re: Klausurrelevante Themen

Wie schaut es mit Atomare Transaktionen - Vorlesung 11 aus?
von barracuda317
17. Mär 2013 20:19
Forum: Archiv
Thema: Übung 8, Wechselseitige Authentifikation sicher gegen Replay
Antworten: 4
Zugriffe: 1572

Re: Übung 8, Wechselseitige Authentifikation sicher gegen Re

Das hier wäre in meinen Augen schon mehr als eine Replay-Attacke, eben eine Impersonation. Du benutzt zwar für die Impersonation durch den zweiten Kanal das Replay Element, du könntest es aber genauso gut weglassen und einfach eine neue Nonce generieren, in diesen Schritten brauchst du die None N*_...
von barracuda317
17. Mär 2013 18:47
Forum: Archiv
Thema: Übung 4
Antworten: 3
Zugriffe: 1169

Re: Übung 4

Hmm, stand zwar genau genommen nicht bei dem Aufgabenteil, aber das leuchtet natürlich ein.

Dann darf ich aber nicht zu viele Generatoren ausprobieren. Sonst dauert das etwas zu lang.
von barracuda317
17. Mär 2013 17:57
Forum: Archiv
Thema: Übung 4
Antworten: 3
Zugriffe: 1169

Übung 4

Hallo,

wie löse ich denn die Übung 4 ohne PC?

mein Taschenrechner mag mir 3^23 mod 47 nicht mehr ausgeben.

GIbt es da einen Trick?
von barracuda317
14. Mär 2013 19:03
Forum: Archiv
Thema: 100% Path-Coverage bei Schleifen
Antworten: 4
Zugriffe: 1269

Re: 100% Path-Coverage bei Schleifen

Mal eine (vllt doofe) Frage dazu. Ich habe mir in der Übung also Notiz: 1*2*2*2+1=9 aufgeschrieben. Aber im Nachhinein kann ich das grad nicht rekonstruieren, warum das so ist? ---- Edit: Ich habe nun nochmal nachgedacht und mir folgende Erklärung zurechtgebastelt: 1*(a!=b) + 1*(a==b) Dabei ist (a==...
von barracuda317
14. Mär 2013 17:01
Forum: Archiv
Thema: Klausurrelevante Themen
Antworten: 15
Zugriffe: 6475

Re: Klausurrelevante Themen

Foliensatz 8: Fallbeispiel Windows ist sicherlich auch nicht relevant, oder?
von barracuda317
12. Mär 2013 12:10
Forum: Archiv
Thema: Nebenläufige System
Antworten: 0
Zugriffe: 305

Nebenläufige System

Hallo, sehe ich das richtig, dass nur die Ergebnisse der Synchronen Produktkomposition und der Asynchronen Produktkomposition in dieser Veranstaltung als nebenläufige Systeme betrachtet werden können? Sobald eine kommunikation zwischen den TS stattfindet haben wir kein nebenläufiges System mehr. Die...
von barracuda317
12. Mär 2013 11:50
Forum: Archiv
Thema: Synchrone Produktkomposition
Antworten: 1
Zugriffe: 455

Re: Synchrone Produktkomposition

Genau genommen, erfordert die synchrone Produktkomposition die Definition von \rightarrow_1 und \rightarrow_2 Anhand der Definition der synchronen Produktkomposition weißt du dann, welcher Transitionen auch in \rightarrow sind. Da in der Definition von \rightarrow_1 nicht gefordert ist, dass du die ...
von barracuda317
12. Mär 2013 08:36
Forum: Archiv
Thema: Übung-13 Aufgabe-2.1
Antworten: 1
Zugriffe: 378

Re: Übung-13 Aufgabe-2.1

Hallo, am einfachsten ist es mir gefallen, indem ich einen Automaten dazu konstruiert habe. Da sich dieser in zwei äquivalente Teile aufspalten lässt sieht der Prozess so wie dargestellt aus. Eine Frage stellt sich mir dazu noch. Ist hier die Aufgabe durch den Lösungsvorschlag erfüllt, oder fehlt da...
von barracuda317
11. Mär 2013 18:33
Forum: Archiv
Thema: IMP Kalküle
Antworten: 2
Zugriffe: 548

Re: IMP Kalküle

Ja, letztes Jahr hat man auch solche Beitrag gelesen und von offizieller Seite auch gesagt bekommen "es gibt keine Aussage dazu von uns".

Es war zwar letztlich im letzten Jahr gegeben, aber verlassen sollte man sich darauf glaube ich nicht.

Zur erweiterten Suche