Agenda March 16
8:309:00 Registration
9:0010:00 Welcome & Introduction
9:009:15 Welcome
9:1510: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
Embedded Systems and Control in the next European ICT programme 2007-2013
10:0012:30 Session 1
Modeling and interdependency analysis of critical infrastructures
10:0010:15 High Confidence Medical Device Software and Systems (HCMDSS)
10:1510:30 National Workshop on Software for Critical Aviation Systems
10:3010:45 Beyond SCADA:Networked Embedded Control Systems
10:4511:00 Securing Critical Infrastructures: The power and ICT perspective
11:0011:15 IT Security for Large-Scale Critical Infrastructures The ABB Perspective
11:1511:30 ICT-based Critical Infrastructures (Inter)dependency Analysis
11:3012:30 Open Discussion: Road Mapping
12:3014:00 Lunch (provided)
14:0016:15 Session 2
Safety and security in pervasive information and communication networks
14:0014:15 Assurance case workshops
14:1514:30 Safety and Security in Pervasive Information and Communication Networks
14:3014:45 TRUST:Team for Research in Ubiquitous Secure Technologies Overview
14:4515:00 Information Diffusion and Information Sharing in a System of Systems
15:0015:15 From models to large scale IT systems and back
15:1515:30 Security in RUNES
15:30-15:45 TCIP: Trustworthy Cyber Infrastructure for the Power Grid
15:3016:15 Open Discussion
16:1516:30 Break
16:3018: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.