isis logo

Composable and Systems Technology
for
High Confidence Cyber-Physical Systems
Workshop

July 9-10, 2007 ~ Arlington, Virginia 


 
 
 
 
 
 




















































































































Question or Comment
Contact: Eric Hall
Last updated: July 9, 2007

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):

5:00 p.m. 6:00 p.m.

OMG Activity: BOF: TAO Users Session

Moderator: Douglas C. Schmidt, Professor of Computer Science & Aniruddha Gokhale,

Assistant Professor, Vanderbilt University

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

Evening Reception (in foyer plenary meeting room)

 

 

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



Printable version available here.