8:15 Paulo Verissimo (University of Luxembourg), Jean Arlat (LAAS-CNRS, Toulouse, FR)
Meeting Start: Introduction to the meeting and workshop

Session 1 – Global Overview and On-Going Initiatives

8:30 Smart Production in Future Aircraft Factory: Designing a CPS Platform Approach for Manufacturing Processes

Sébastien Boria, R&D Mechatronics Technology, Airbus, Toulouse, FR

N.A.

9:15 New Robotics for Factories of the Future

Raja Chatila, ISIR - CNRS & UPMC Sorbonne Universités, Paris, FR

Session 2 – Architecture Design

10:30 Open Manufacturing Operating System (OpenMOS) for Intelligent Plug-and-Produce: Architecture Design and Cross-Cutting Concerns Regarding Safety and Security
Chih-Hong Cheng, FORTISS-TUM, Munich, DE

Session 3 – Collaborative Robots and Assessment

16:00 Safety Rules Synthesis for Run-Time Monitoring of Autonomous Robots in Human Environment Jérémie Guiochet, LAAS-CNRS, Toulouse, FR
16:45 SAFER-HRC: Safety Analysis through Formal vERification in Human-Robot Collaboration Matteo G. Rossi, Politecnico di Milano, Milan, IT

Session 4 – Connected Objects and Communications

9:00 Deterministic Ethernet: Consolidation of IT and OT based Real-Time Virtualization Wilfried Steiner, TTTech Labs., Vienna, AT
9:45 Smart Factories and Secure Cloud Storage Services: Vulnerabilities and Countermeasures Chia-Mu Yu, Yuan Ze University, Taoyuan City, TW

Session 5 – Workshop Wrap up

11.15 Presentation of Summaries by Session Rapporteurs and Discussion
Report on Session 1: Farnam Jahanian, Carnegie Mellon University, Pittsburgh, PA, US
Report on Session 2: Nuno Neves, LASIGE, Faculdade de Ciências da Universidade de Lisboa, PT
Report on Session 3: Doug Blough, Georgia Institute of Technology, Atlanta, GA, US
Report on Session 4: Elmootazbellah Elnozhay, King Abdullah University of Science & Technology, Thuwal, SA

Research Reports

Saurabh Bagchi, Purdue University, US: User-Centric Workload Analytics: Towards Better Cluster Management
AntónioCasimiro, LaSIGE, Faculdade de Ciências, Universidade de Lisboa, PTl: Dependable Monitoring with Wireless Sensors inAquatic Environments
Zbigniew Kalbarczyk, UIUC, Urbana-Champaign,US: Data Driven Probabilistic Graphs for Preemptive Attack Detection
Philip Koopman, Carnegie Mellon University: Challenges in Autonomous Vehicle Testing and Validation
H. Kopetz: Emergence in Cyber-Physical Systems of Systems (CPSoS)
Carl Landwehr: Developing Building Codes for Building Code
Nuno Neves, LASIGE, Faculdade de Ciências da Universidade de Lisboa, PT: Improving the resilience of SCADA in Critical Infrastructures
Karthik Pattabiraman, University of British Columbia (UBC): Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study
M. Rossi, Politecnico di Milano, Milan, IT: Formal Verification of Date-Intensive Applications
Lorenzo Strigini, Centre for Software Reliability, City University London, GB: Diversity for Safety and Security in Embedded Systems: Decisions Given Supply Chain Risks
Saman Zonouz, Rutgers University, US: Cyber-Physical Resilience via Physics-Aware Devices

Business Meeting

IFIP Working Group 10.4 Business Meeting

List of Attendees

Names and Contact Information

Historical Perspective of IFIP WG10.4 Activity

Interactive Map - List of locations features links to digests available for the Meetings

IFIP Working Group 10.4 Dependable Computing and Fault Tolerance

List of Attendees

Historical Perspective of IFIP WG10.4 Activity

Workshop Smart Factories: A New Challenge for Dependable and Secure Computing

June 24-27, 2016 (Friday to Monday)

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance