National Workshop on High-Confidence Automotive Cyber-Physical Systems

April 3-4, 2008

Troy, Michigan (USA)

 Agenda

Thursday, April 3, 2008

07:45 am – 08:30 am:       Registration and Breakfast

08:30 am – 08:35 am:       Welcoming Remarks and Introduction

08:35 am – 09:15 am:       Distinguished Speaker I: “Cyber-Physical Systems: Research Challenges”

Dr. Jeannette Wing, Director, NSF CISE Directorate

09:15 am – 09:35 am:       Distinguished Speaker II: “Overview of NCO/NITRD”

Dr. Ernest McDuffie, Associate Director, NCO/NITRD

09:35 am – 10:20 am:       Keynote Talk I

Dr. Alan Taub, Executive Director of Research and Development, General Motors

10:15 am – 10:40 am:       Break

10:40 am – 11:00 am:       Distinguished Speaker III: “Overview of United States Council for Automotive Research”

                                                Mr. Don Walkowicz, Executive Director, USCAR

11:00 am – 12:00 pm:       Federal Agency Panel (Moderator: Bill Milam, Ford Motor Company)

· Dr. Helen Gill (National Science Foundation)

· Ms. Frankie King (NCO/NITRD)

· Dr. Paul Jones (Federal Drug Administration)

· Dr. Al Wavering (National Institute of Standards & Technology)

· Dr. Alan Kushner (National Transportation Safety Board)

12:00 pm – 01:00 pm:       Lunch

01:00 pm – 02:00 pm:       Industry Panel (Moderator: Prof. Raj Rajkumar, Carnegie Mellon University)

· Dr. Nady Boules (General Motors)

· Dr. Rick Selby (Northrop Grumman)

· Dr. Venkatesh Prasad (Ford Motor Company)

· Dr. Shiva Sivashankar (Emmeskay)

· Dr. Ed Griffor (Chrysler)

· Mr. Craig Stephens (Ford Motor Company)

02:00 pm – 03:00 pm:       Panel of Academics (Moderator:  Robert Baillargeon, General Motors)

· Prof. Panos Antsaklis (University of Notre Dame)

· Prof. Liviu Iftode (Rutgers University)

· Prof.  Mikael Nolin (Malardalen University, Sweden)

· Prof. Jonathan Sprinkle (University of Arizona)

· Prof. Brian Williams (MIT)

· Prof. Wei Zhao (Renssalaer Polytechnic Institute)

03:00 pm – 03:15 pm:       Announce breakout groups and provide charge to the breakout groups.

03:15 pm – 03:45 pm:       Break

03:45 pm – 04:30 pm:       Breakout Sessions (contd.)

04:30 pm – 05:00 pm:       Plenary Report from Breakout Sessions

05:00 pm – 07:30 pm:       Reception sponsored by USCAR

Friday, April 4, 2008

08:00 am – 08:30 am:       Registration and Breakfast

08:30 am – 08:45 am:       Agenda Overview

08:45 am – 09:30 am:       Keynote Talk II: “Formally Proving Cyber-Physical Systems are Error Free – are we there yet?”

Dr. Scott Staley, Director of Mobility and Hybrid Fuel Cell Vehicles, Ford Motor Company

09:30 am – 09:45 am:       Provide Charges to the breakout groups

09:45 am – 10:00 pm:       Breakout Sessions

10:00 am – 10:15 am:       Break

10:15 am – 12:00 pm:       Breakout Sessions

12:00 pm – 01:00 pm:       Lunch

01:00 pm – 03:00 pm:       Breakouts (contd.)

03:00 pm – 03:15 pm:       Break

03:15 pm – 04:15 pm:       Plenary Reports from Breakout Sessions

· Networked Automotive Cyber-Physical Systems

· Model-Based Design

· Verification and Validation

· System Infrastructure

· Scientific Foundations

04:15 pm – 04:30 pm:       Action Items and Wrapup