Participants: HDCP technology providers and testbed developers, HDCP management, NASA representatives, and NSF High Dependability Program Principal Investigators (Complete list of participants - click here )

Date: June 8th and 9th 2004
Location: University of Maryland, College Park

Agenda

Day 0ne (Tuesday June 8 2004)

• 8:00 - 8:30 Breakfast
  
• Morning Session (Goal Setting and Experimentation)

Session Chair: Ray Madachy

• 8:30 - 9:00 Overview of workshop goals and testbeds
  Victor Basili, University of Maryland.
• 9:00 - 10:00 Experimental methods and methodology goal setting
  Forrest Shull, Fraunhofer Center
• 10:00 - 10:15 Coffee Brea
• 10:15 - 11:00 Experimental methods and methodology goal setting (continued)
  Forrest Shull, Fraunhofer Center
• 11:00 - 12:00 Use of Testbeds; Examples of SCRover robot full service testbed use
  Barry Boehm USC
  Architecture-based Design Tools for MDS Systems
  David Garlan CMU
  Empirical ADL Evaluation on SCRover Testbed

Nenad Medvidovic USC

• 12:00 - 2:00 (Parallel Sessions)

Lunch and Discussion: The participants will discuss (in groups based on technology to be tested), over lunch, their preliminary goals and hypotheses and will create the initial design of their study

• Afternoon Session (Testbeds and Study design)

Session Chair: Marvin Zelkowiz

• 2:00 - 3:45 Testbeds
  • MIT TSAFE (30 minutes)
    Mikael Lindvall, Fraunhofer Center      
  •  CMU Testbeds(45 minutes)   
    • Development of the Dependability Testbed technology (15 min.) 
      Vadim Kotov
    • Dependable Real-Time Software Testbed.(Golden Gate) (15min.)
      Brian Giovannoni 
    • Dependable Air-Traffic Management Testbed. (CMU TSAFE) (15 min.)
      Haubin Tang
  • SCRover Testbed (30 minutes)
    Alex Lam, USC
• 3:45-4:00 Coffee break
• 4:00 - 5:30 (Parallel Sessions and Demos)
  • Parallel sessions on Study Design:
    Integrating the technology into the testbed, writing test scripts, instrumentation, defect seeding, executing, simulating, and analyzing test data
  • Demo Session
    • CMU testbeds
    • Other

Day Two (Wednesday June 9 2004)

• 8:30 - 9:00 Breakfast

• Morning Session

(Evaluation of initial testbed experiments and Dependability Modeling)

Session Chair: Paolo Donzelli

• 9:00 - 10:00 Group discussion on the needs of each study based on status of available testbeds.
• 10:00 - 10:30 Dependability Modeling: Definitions and Frameworks
  Victor Basili, UMD
  Towards a Dependability Model
  Bill Scherlis, CMU
• 10:30 - 10:45 Coffee Break
• 10:45 - 11:15 Dependability Modeling: Definitions and Frameworks (continued)
  Barry Boehm, USC

• 11:15 - 12:00 Parallel Sessions (will continue over lunch)
  Work on experiments, (integrating dependability model concepts).
  The technology developers will work with testbed providers to develop models of dependability for their systems.

• 12:00 - 2:00 (Parallel Sessions)

Lunch and Lab.: Revise study designs over lunch (groups divided based on the testbeds used)

• Afternoon Session (Conclusion and Future Plans)

Session Chair: Barry Boehm

• 2:00 - 3:45 Technology developers explain their designed studies.
  Testbed Questions
  Usability and Software Architecture: Case Study of MERBoard Testbed , Bonnie John, CMU
•  3:45 - 4:00 Coffee break
• 4:00 - 5:00 HDCP Future Planning