LogoDSN12

Workshop on Open Resilient human-aware Cyber-physical Systems
(WORCS-2012)

Monday June 25, 2012  —  Boston, USA

Organizers:

 • Mohamed Kaâniche, LAAS-CNRS, Université de Toulouse, France
 • Michael Harrison, Queen Mary U. London, UK
 • Hermann Kopetz, Technical U. Vienna, Austria
 • Daniel Siewiorek, CMU, USA

Workshop Program

[Final]

Schedule
  Slides
08:30-10:15 SESSION 1: Resilient Medical and Health Care CPS  
  Introduction to the Workshop
Mohamed Kaâniche, LAAS-CNRS

Kaaniche-Opening.pdf
 

Keynote TalkChallenges in Medical Cyber-Physical Systems
Insup Lee, University of Pennsylvania, USA

Lee.pdf
 

Keynote Talk Virtual Coaches in Health Care
Daniel Siewiorek, Carnegie Mellon University, USA


DSiewiorek.pdf

10:15-10:45

Refreshment Break   
10:45-12:00

SESSION 2: User-Centric Approaches

 
 

Keynote Talk A Model and Simulation for User-Centric Automation Devices and Systems
Jane Liu, Institute of Information Science, Academica Sinica, Taiwan

JaneLiu.pdf
 

Smart Checklist for Human intensive Medical Systems
Goerge Avrunin(1), Lori Clarke(1), Leon Osterweil(1), Julian Goldman (2); Tracy Rauch (3);
(1) University of Massachusetts Amherst; (2) Massachusetts General Hospital
; DocBox, Inc.; USA

Avrunin.pdf

12:00-13:30

Lunch  
13:30-15:00 SESSION 3: Design, Monitoring, and Security
 
 

Toward Resiliency in Embedded Monitoring Systems
Homa Alemzadeh(1), Catello Di Martino(1), Zhanpeng Jin (2), Zbigniew Karlbarczyk(1), Ravishankar Iyer(1);
(1) University of Illinois at Urbana Champaign; (2) State University of New York;
USA

Alemzadeh.pdf
  A Rigorous Approach to the Design of Cyber-Physical Systems through Co-Simulation
John Fitzgerald, Ken Pierce, Carl Gamble, University of Newcastle, UK
Pierce.pdf
  Physical Attack Protection with Human-secure Virtualization in Data Centers
Jakub Szefer, Pramod Jamkhedkar, Yu-Yuan Chen, Ruby Lee, Princeton Univ, USA
Szefer.pdf

15:00-15:30

Refreshment Break   

15:30-16:00

SESSION 3 (cont.)
 

 

MILS-Related information Flow Control in the Avionic domain: A View on security-Enhancing Software Architectures
K. Muller (1), M. Paulitsch (1), S. Tverdyshev (2), and H. Basum (2)
(1) EADS Innovation Works, Munich; (2) SYSGO AG, Kelin-Winternheim; Germany
Paulitsch.pdf
16:00-17:00 SESSION 4: Panel and Workshop Wrap-up
 
 

Panel Challenges and Research Directions in Resilient Cyber-Physical Systems

 
 

Panelists:
 Insup Lee, University of Pennsylvania, USA

 Jane Liu, Institute of Information Science, Academica Sinica, Taiwan
 Keith Marzullo, National Science Foundation, USA
 Takashi Nanya, Canon Inc., Tokyo, Japan
 Daniel Siewiorek, Carnegie Mellon University, USA

Workshop Wrap-up : Mohamed Kaâniche

Marzullo.pdf

Siewiorek-Panel.pdf

Wrap-up-Kaaniche.pdf

17:00 Adjourn