Dear All,
Based on everyone's decision to send out a written summary of past week's work, I am enlisting my updates as follows:
1) I began my summer RA at Argonne last Tuesday.
2) Installed and built ROSS, the bit wise simulator on which I hope to simulate the security system eventually.
3) Successfully created a basic model on ROSS (only 2 states of a logic process, and no roll back).
4) Currently, trying to gain a better understanding on how ROSS maintains states based on events (messages), and will further modify the model to include Roll back of the Logic process state.
I hope this is detailed enough and yet not too verbose.