Tool Seminar:2006 Project Guidelines

From Dependability

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

 

 

To clarify the project writeup a bit, we're breaking it into two separate deliverables. The first deliverable, the project report, is a description and analysis of your tool. The second is a set of teaching materials for a course component using your tool.

The Project Report: Tool Description and Analysis

  • Length:
    • Draft: at least 5 pages (but preferably more), single-spaced, 11-point font
    • Final: at least 7 pages
  • Contents:
    • Introduction: Name of tool, who produces it, what problem it was created to address
    • Capabilities
    • Problems to which the tool is suited
    • Problems to which the tool is not suited

For the final project, also a section comparing and contrasting your tool to others (this may be done jointly with other students, if appropriate, and counted towards each page total).

The Final Lab Report: Teaching Materials

This, the second deliverable, is a final draft of your lab report. While creating the teaching materials, imagine that you are teaching a 551/651 course on model checking and model-based development. The course is similar to this class, where two lectures on each tool will precede a lab activity. The materials will be supported by the tool description; you can assume that your students will have been introduced to that during lectures.

The lab activity will have the following goals:

  • Introduce students to the layout of the tool interface, helping them to get the tool up and running (this will require a document with instructions, and probably screenshots)
  • Provide a simple exercise to let them get a feel for the tool
  • Provide a set of focused exercises to demonstrate the individual merits of the tool

As an example of the kinds of things you might include in your teaching materials, see the materials on truth tables and PVS for use in Discrete Structures that are being developed by Katie Jogerst (one of our undergrads), located at http://www.people.virginia.edu/~kj6g/pvs/thesis/. You probably won’t want to provide as much detailed startup and reference material as she does, since you will be able to deal with questions more easily in our class setting. After seeing the results of running your lab activity in our class, you will have an opportunity to update the lab materials before submitting them for a final grade.

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