isis logo

Composable and Systems Technology
High Confidence Cyber-Physical Systems

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.