Networking and Information Technology R&D

High Confidence Software and Systems (HCSS)

Coordinating Group (CG)


National Workshop on New Research Directions in Composable and Systems Technologies for High Confidence Cyber Physical Systems



Westin Arlington Gateway Hotel

Arlington, VA

July 9-10, 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)

Al Wavering (NIST)

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


Panel Introduction

Dasarathy Balakrishnan, Telcordia

Peter Dibble, TimeSys

Joe Loyall, BBN

Bill Milam, Ford

Robert Baillargeon, General Motors

Richard Selby, Northrop Grumman

Ben Watson, Lockheed Martin


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


Systems Group

Platforms & Systems

V&P Mashup-day 1


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