Agenda March 16

8:30–9:00 Registration

9:00–10:00 Welcome & Introduction

9:00–9:15 Welcome

Dr. Karl-Erik Arzen, Lund University
Dr. Robin Bloomfield, City University
Dr. George Pappas, University of Pennsylvania
Dr. Shankar Sastry, University of California, Berkeley

9:15–10:00 Existing NSF and EC programs and initiatives in the areas of the workshop

ICT for Trust and Security in Information Society: Moving towards FP7

Dr. Jacques Bus, European Commission

Welcome and NSF Perspective

Dr. Helen Gill, National Science Foundation

Embedded Systems and Control in the next European ICT programme 2007-2013

Dr. Alkis Konstantellos, European Commission
Dr. Angelo Marino, European Commission

10:00–12:30 Session 1

Modeling and interdependency analysis of critical infrastructures

Co-Chairs: Dr. Bruce Krogh, Carnegie Mellon University & Dr. Claudia Eckert, Darmstadt University of Technology

10:00–10:15 High Confidence Medical Device Software and Systems (HCMDSS)

Dr. George Pappas, University of Pennsylvania

10:15–10:30 National Workshop on Software for Critical Aviation Systems

Dr. Jonathan Sprinkle, University of California, Berkeley

10:30–10:45 Beyond SCADA:Networked Embedded Control Systems

Dr. Bruce Krogh, Carnegie Mellon University

10:45–11:00 Securing Critical Infrastructures: The power and ICT perspective

Dr. Hadjsaid Nouredine, INPG

11:00–11:15 IT Security for Large-Scale Critical Infrastructures – The ABB Perspective

Dr. Martin Naedele, ABB

11:15–11:30 ICT-based Critical Infrastructures (Inter)dependency Analysis

Dr. Eric Luiijf, TNO

11:30–12:30 Open Discussion: Road Mapping

12:30–14:00 Lunch (provided)

14:00–16:15 Session 2

Safety and security in pervasive information and communication networks

Chair: Dr. Paulo Verissimo, University of Lisboa

14:00–14:15 Assurance case workshops

Dr. Robin Bloomfield, City University London, Dr. Ann Miller, University of Missouri Rolla

14:15–14:30 Safety and Security in Pervasive Information and Communication Networks

Dr. Raj Rajkumar, Carnegie Mellon University

14:30–14:45 TRUST:Team for Research in Ubiquitous Secure Technologies Overview

Dr. Shankar Sastry, University of California, Berkeley

14:45–15:00 Information Diffusion and Information Sharing in a System of Systems

Dr. Roberto Baldoni, Universita di Roma I

15:00–15:15 From models to large scale IT systems and back

Dr. Andrαs Pataricza, Budapest University of Technology

15:15–15:30 Security in RUNES

Dr. Andrαs Tσth, Ericsson

15:30-15:45 TCIP: Trustworthy Cyber Infrastructure for the Power Grid

Dr. William Sanders, UIUC

15:30–16:15 Open Discussion

16:15–16:30 Break

16:30–18:00 Breakout Discussion

Open research issues, cross-cutting links, road mapping between Sessions 1 and 2 – possible research areas for a joint US/EU collaboration. The plan here is to harvest into a outbrief style document a roadmap for research and transatlantic collaboration.

Co-chairs: Dr. George Pappas, University of Pennsylvania & Dr. Robin Bloomfield, City University

18:00 Closing of first day