blob: aa828532a3f2ce14a2b0406e9a595704bc9f0557 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
VS-Simulator Plan:
Version 1.1:
English version
Easy Plugin-API, w/o having the complete sources available
Update of diplomarbeit.pdf (german only), rename it into vs-sim.pdf.
Version 1.2 and later:
Ereigniseintritt bei Lamport und Vektorzeiten
Print warning if not activated protocol while doing a protocol request
vs-sim.pdf: Beschreiben, dass Aktivierung/Deaktivierung prioritaet hat bei Ereigniseditor
Splash screen
Simulationen beliebig lang machen
KeyEvent Manager
Loggingfenster soll nur Lamport/Vektorzeit anzeigen, wenn ausgewaehlt
Maybe more later:
Protocols:
Waehlermengen nach Maekawa?
NFS
AFS
Systemschnitte?
Middleware-Schicht?
Ereignisse, die Prozessvariablen aendern
Bedingte Ereignisse
|
