IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

70th Meeting

Sorèze, France, FR

June 24-27, 2016


Meeting Host

  Jean Arlat, LAA-CNRS (Toulouse, France)


Program-at-a-Glance and Contents

 Smart Factories: A New Challenge for Dependable and Secure Computing


Jean Arlat, Michel Devy, Mohamed Kaâniche, LAAS-CNRS, Toulouse, FR



Session 1

Session 2

Session 3

Session 4

Session 5

Research Reports

Business Meeting

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)

Introduction to the Meeting

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


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