Deploying software functionality to manufacturing resources safely at runtime

Automated manufacturing systems are becoming increasingly flexible in order to support a growing number of different products and product variations, as well as shortening lot sizes and product life cycles. Many manufacturing resource are already multi-purpose. But they are integrated in an automation infrastructure that may require significant effort to adapt. In this contribution, we present a system architecture for the deployment of software functionality to manufacturing resources safely at runtime. The architecture integrates software model verification to ensure the integrity of new functionality, software-defined networking (SDN) to establish new communication pathways for collaboration, and the close interaction between a flexible runtime execution environment and its safety-critical counterpart.

[1]  A.T. Endo,et al.  Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs , 2008, Testing: Academic & Industrial Conference - Practice and Research Techniques (taic part 2008).

[2]  Nawal Guermouche,et al.  Timed Model Checking Based Approach for Web Services Analysis , 2009, 2009 IEEE International Conference on Web Services.

[3]  Lu Zhang,et al.  Generating Effective Test Sequences for BPEL Testing , 2009, 2009 Ninth International Conference on Quality Software.

[4]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[5]  Javier Tuya,et al.  Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN , 2006 .

[6]  Gerardo Canfora,et al.  Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.

[7]  Valeriy Vyatkin,et al.  Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers , 2013, TECS.

[8]  Thomas I. Strasser,et al.  Zero Downtime Reconfiguration of Distributed Automation Systems: The epsilonCEDAC Approach , 2007, HoloMAS.

[9]  Wolfgang Mahnke,et al.  OPC Unified Architecture , 2009, Autom..

[10]  Lei Zhou,et al.  Automatically Testing Web Services Choreography with Assertions , 2010, ICFEM.

[11]  Mauro Onori,et al.  The IDEAS project: plug & produce at shop‐floor level , 2012 .

[12]  Alois Zoitl,et al.  Toward Self-Reconfiguration of Manufacturing Systems Using Automation Agents , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[13]  Ruth Breu,et al.  A Tool-Based Methodology for System Testing of Service-Oriented Systems , 2010, 2010 Second International Conference on Advances in System Testing and Validation Lifecycle.

[14]  Rolf Dieter Schraft,et al.  Control Architecture for Robot Cells to Enable Plug'n'Produce , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[15]  Rolf Ernst,et al.  Formal analysis based evaluation of software defined networking for time-sensitive Ethernet , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[16]  Nikolai Kosmatov,et al.  Frama-C - A Software Analysis Perspective , 2012, SEFM.

[17]  Sofiane Imadali,et al.  Fast Deployment of Services in SDN-based Networks: The Case of Proxy Mobile IPv6 , 2014, MoWNet.

[18]  Leon Urbas,et al.  Open source as enabler for OPC UA in industrial automation , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[19]  A. Murat Tekalp,et al.  OpenQoS: An OpenFlow controller design for multimedia delivery with end-to-end Quality of Service over Software-Defined Networks , 2012, Proceedings of The 2012 Asia Pacific Signal and Information Processing Association Annual Summit and Conference.

[20]  Andrea Polini,et al.  The PLASTIC Framework and Tools for Testing Service-Oriented Applications , 2009, ISSSE.

[21]  Nick McKeown,et al.  OpenFlow: enabling innovation in campus networks , 2008, CCRV.

[22]  Birgit Vogel-Heuser,et al.  Evolution of software in automated production systems: Challenges and research directions , 2015, J. Syst. Softw..

[23]  U. Epple,et al.  Increasing flexibility and functionality in industrial process control: The helpful usage of models, services and cybernetic principles , 2012, International Multi-Conference on Systems, Sygnals & Devices.

[24]  Gavin M. Bierman,et al.  Mutatis Mutandis: Safe and predictable dynamic software updating , 2007, TOPL.

[25]  Tao Zhang,et al.  Testing BPEL with Stream X-Machine , 2008, 2008 International Symposium on Information Science and Engineering.

[26]  Roberto Ierusalimschy,et al.  Lua—An Extensible Extension Language , 1996, Softw. Pract. Exp..

[27]  Jun Ota,et al.  Agile Assembly System by “Plug and Produce” , 2000 .

[28]  Florian Krebs,et al.  Towards multi-functional robot-based automation systems , 2015, 2015 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO).

[29]  Eckehard Schnieder,et al.  UML-based safety analysis of distributed automation systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[30]  Mark Harman,et al.  Testing and verification in service‐oriented architecture: a survey , 2013, Softw. Test. Verification Reliab..

[31]  G. Reinhart,et al.  Automatic configuration (Plug & Produce) of Industrial Ethernet networks , 2010, 2010 9th IEEE/IAS International Conference on Industry Applications - INDUSCON 2010.

[32]  Lars Duerkop,et al.  Using OPC-UA for the autoconfiguration of real-time Ethernet systems , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[33]  Eduardo Jacob,et al.  Using Software Defined Networking to manage and control IEC 61850-based systems , 2015, Comput. Electr. Eng..

[34]  Salvatore J. Stolfo,et al.  Concurrency attacks , 2012, HotPar'12.

[35]  Thierry Turletti,et al.  A Survey of Software-Defined Networking: Past, Present, and Future of Programmable Networks , 2014, IEEE Communications Surveys & Tutorials.

[36]  Xiang Li,et al.  Towards a Formal Verification Approach for Business Process Coordination , 2010, 2010 IEEE International Conference on Web Services.

[37]  Ana R. Cavalli,et al.  Testing Web Service Orchestrators in Context: A Symbolic Approach , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[38]  Leon Urbas,et al.  Architectures for integrating functional safety into modular process plants , 2015 .

[39]  Clément Farabet,et al.  Torch7: A Matlab-like Environment for Machine Learning , 2011, NIPS 2011.

[40]  Jens Haupert,et al.  The Object Memory Server for Semantic Product Memories , 2013, SemProM.

[41]  A. Zoitl,et al.  Framework for Distributed Industrial Automation and Control (4DIAC) , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[42]  Daniel Raumer,et al.  MoonGen: A Scriptable High-Speed Packet Generator , 2014, Internet Measurement Conference.

[43]  Henning Trsek,et al.  Towards autoconfiguration of industrial automation systems: A case study using Profinet IO , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[44]  Jürgen Beyerer,et al.  Plug & produce by modelling skills and service-oriented orchestration of reconfigurable manufacturing systems , 2015, Autom..

[45]  Tewfik Ziadi,et al.  RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications , 2012, SIMPAR.