Program Schedule

Monday, July 9, 2007

7:30 a.m. – 8:30 a.m.           

Continental Breakfast

8:30 a.m. – 8:45 a.m.

Opening Remarks Workshop Overview – Workshop Co-Chairs, Raj Rajkumar (CMU), Azer Bestavros (BU), and Doug Schmidt (Vanderbilt)

8:45 a.m. – 9: 00 a.m.

Welcome and NITRD Program Overview – Charles Romine, Acting Director, NCO/NITRD

9:00 a.m. - 9:30 a.m.

Kickoff Talk - Jeannette Wing, AD, NSF/CISE

9:30 a.m. – 10:15 a.m.

Government Panel Session: CPS Concerns and Needs

Moderator: Azer Bestavros

Scott Midkiff (NSF)

Brad Martin (NSA)

Ray Bortner (AFRL)

Helen Gill (NSF)

10:15 a.m. – 10:30 a.m.

Morning Break

10:30 a.m. – 12:00 p. m.

Panel: Bridging the Gap between the Science and Practice of CPS

Moderator: Raj Rajkumar

12:00 p.m. – 1:00 p.m.

Lunch Break

1:00 p.m. – 2:00 p.m.

3-5 Minute Statements for a Research Manifesto

Moderator: Azer Bestavros

2:00 p.m. – 3:30 p.m.

Parallel Breakout Sessions #1, #2, and #3

Breakout #1: Systems (S) and Platforms (P) Mashup

Title: Programming and Virtualization Abstractions for CPS

John Regher – S (Co-lead)

Ben Watson – P (Co-lead)

Katherine Compton (Scribe)

Breakout #2: Verification (V) and Platforms (P) Mashup

Title: Compositional Development and Analysis of CPS

Oleg Sokolsky – V (Co-lead)

Nick Dutt – P (Co-lead)

Bill Bush – (Scribe)

Breakout #3: Verification (V) and Systems (S) Mashup

Title: Certification-friendly CPS Services and Runtime Support

Chris Gill – S (Co-lead)

David Naumann – V (Co-lead)

Rich West (Scribe)

3:30 p.m. – 3:45 p.m.

Afternoon Break and Preparation for Outbriefs

3:45 p.m. – 5:00 p.m.

Outbriefs of first day and Q&A

(You are invited by OMG to attend the following):

Tuesday, July 10, 2007

7:30 a.m. – 8:30 a.m.

Continental Breakfast

8:30 a.m. – 10:00 a.m.

Technical Talks:

Moderator: Insup Lee (UPenn)

Standard Binaries for FPGAs/eBlocks – Frank Vahid, University of California, Riverside

Possible Role and Advances of Open Source for HCSS –

Plenary Discussion and Q&A

10:00 a.m. – 10:15 a.m.  

Morning break

10:15 a.m. – 12:00 p. m.

Resume Parallel Breakout Sessions #1, #2, and #3

12:00 p.m. – 1:00 p.m.

Lunch Break

1:00 p.m. – 3:00 p.m.

Parallel Breakout Sessions for V, S, and P Constituents

3:00 p.m. – 4:30 p.m.

Final Outbriefs by Breakout Group Leads #1, #2, and #3

4:30 p.m. – 5:00 p.m.

Discussion and Q&A

5:00 p.m. – 5:30 p.m.

Conclusion of CST-HCCPS Workshop and Planning for Next Steps

(You are invited by OMG to attend the following):

6:00 p.m. – 7:00 p.m.

Demonstration Area Reception

(You are invited by OMG to attend the following):

7:00 p.m. – 8:00 .pm.

BOF: SOA in Real-Time