Challenges of Safety Assurance for Industry 4.0

The Internet-of-Things (IoT) has enabled Industry 4.0 as a new manufacturing paradigm. The envisioned future of Industry 4.0 and Smart Factories is to be highly configurable and composed mainly of the `things' that are expected to come with some, often partial, assurance guarantees. However, many factories are categorised as safety-critical, e.g. due to the use of heavy machinery or hazardous substances. As such, some of the guarantees provided by the `things', e.g. related to performance and availability, are deemed as necessary in order to ensure the safety of the manufacturing processes and the resulting products. In this paper, we explore key safety challenges posed by Industry 4.0 and identify the characteristics that its safety assurance should exhibit. We propose a set of safety assurance responsibilities, e.g. system integrators, cloud service providers and `things' suppliers. Finally, we reflect on the desirable modularity of such a safety assurance approach as a basis for cooperative, on-demand and continuous reasoning for Industry 4.0 architectures and services.

[1]  Behzad Esmaeilian,et al.  The evolution and future of manufacturing: A review , 2016 .

[2]  A. Coronato ISO 14971: medical devices - application of risk management to medical devices , 2018 .

[3]  John A. McDermid,et al.  Safety Assurance Contracts for Integrated Modular Avionics , 2003, SCS.

[4]  John Rushby,et al.  The Interpretation and Evaluation of Assurance Cases , 2015 .

[5]  Daniel Schneider,et al.  Conditional Safety Certification of Open Adaptive Systems , 2013, TAAS.

[6]  Wu He,et al.  A state-of-the-art survey of cloud manufacturing , 2015, Int. J. Comput. Integr. Manuf..

[7]  Richard Hawkins,et al.  A New Approach to creating Clear Safety Arguments , 2011, SSS.

[8]  Ewen Denney,et al.  Dynamic Safety Cases for Through-Life Safety Assurance , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[9]  Richard Hawkins,et al.  Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study , 2007, SSS.

[10]  Antonio Iera,et al.  The Internet of Things: A survey , 2010, Comput. Networks.

[11]  Jonathan M. Ford,et al.  Modular Certification , 2002 .

[12]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[13]  Rüdiger Kapitza,et al.  A look to the old-world_sky: EU-funded dependability cloud computing research , 2012, OPSR.

[14]  John Rushby Trustworthy Self-Integrating Systems , 2016, ICDCIT.

[15]  Jérémie Guiochet,et al.  A Model for Safety Case Confidence Assessment , 2015, SAFECOMP.

[16]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[17]  T. Kelly,et al.  Concepts and Principles of Compositional Safety Case Construction , 2002 .

[18]  Robert J. Stroud,et al.  Security-Informed Safety: If It's Not Secure, It's Not Safe , 2013, SERENE.

[19]  Ian Lumb,et al.  A Taxonomy and Survey of Cloud Computing Systems , 2009, 2009 Fifth International Joint Conference on INC, IMS and IDC.

[20]  Dazhong Wu,et al.  Cloud manufacturing: Strategic vision and state-of-the-art☆ , 2013 .