Tool Seminar:2006 Schedule

From Dependability


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

 

 

This is the class schedule for 2006. It includes general announcements as well as posted readings and discussion topics for each day of class. Only days on which we are actually meeting are listed on the schedule.

Current Reading Assignment

Patrick will lead us through a lab using SCRtool.

If you have a Windows laptop that you will be bringing to class, please install the SCRtool on it. You will need to get a copy of the installer from Patrick.

NEW: You should also get a copy of happy_yu.ssl and microwave.ssl.

For more details, check here.


General Announcements

April 2006

6: Project and Final Lab Report Guidelines have been revised; take a look at them here.

March 2006

10: Project Guidelines have been posted here.

February 2006

21: Schedule complete through the end of the year. Now you know what'll be coming at you. As we get closer to various events, I'll flesh out the descriptions a bit more — mostly I've put in placeholders.
20: Group Account created. You can log in as "Tool Seminar Member" and edit material on the site. Elisabeth or I will shortly send out email with the password so you can get started.
7: New website created! I've created a new, wiki-based website for the course, for a variety of reasons. The most prominent is that now you all can add content to the pages about your talks directly, without having to go through me. Much nicer. Email me with a username and password (not something you care about) and I'll create an account for you.


Reading Schedule

May 2006

8: Final Project and Final Lab Report Due

April 2006

24: Tool Comparison Presentation
19: Tool Comparison Presentation
17: Tool Comparison Presentation
12: Lab 7. Patrick will run a lab on the SCR Toolkit. more
10: Lab 6. Kendra will run a lab on SCADE. more
7: Project Report Draft Due for labs 1 - 4
5: Lab 5. Vibha will run a lab. more
3: Lab 4. Na will run a lab on KRONOS. more

March 2006

31: Project Report Draft Due for labs 5 - 7
29: Lab 3. Xiang will run a lab on SPIN. more
27: Lab 2. Ben will run a lab on scicos. more
22: Lab 1. Spiegel will run lab on Perfect Developer. more
24: SPARK more
15: Xiang will lead a discussion on SPIN. more
13: Ben will lead a discussion on Simulink. more
1: Na will lead a discussion on KRONOS. more


February 2006

27: Kendra will lead a discussion on SCADE. more
22: Spiegel will lead a discussion on Perfect Developer. more
20: Jinlin Yang will present his tool, Perracotta. more
15: Yuanfang Cai will present her job talk, describing Simon. more
13: Vibha will lead a discussion on SLAM. more
8 : Patrick will lead a discussion on the SCR model-based development tools. more
6 : Elisabeth will present an overview of Model-Based Development, based on the paper she asked us to read. more

January 2006

20 : We'll hear from John for an overview of the topics of this class.
Retrieved from "http://dependability.cs.virginia.edu/info/Tool_Seminar:2006_Schedule"