Tool Seminar:Lab Four

From Dependability

Overview | Schedule | Syllabus | 2006 Project Guidelines | Tool List | Editing Guidelines

 

 

We will use the Kronos tool on Monday's lab. Please download and install the tool (and the examples) here. Executables for sun5, Linux and Windows (with Cygwin installed) are all provided. I have it installed on sun5. Please let me know if you have problem on installation.

As for examples, I will focus on the CSMA/CD protocol. You can find some description on the paper we discussed in my last presentation: "Kronos: A verification Tool for Real-Time Systems". We will move to the FDDI protocol if time permitted. You can find related documents (Kronos.pdf and fddi.pdf) here. The protocols involved here are a little bit complex. Although it is not necessary (since I will explain them at class), I do recommend that you have a look at them to get a general idea about how they work.

Retrieved from "http://dependability.cs.virginia.edu/info/Tool_Seminar:Lab_Four"