Towards the Formalization of a Factory Demonstrator in BeSpaceD

This report gives an overview of our efforts towards a formalization for a food processing demonstrator plant. Our BeSpaceD framework is used for the formalization. The formalization comprises properties of components and relations between components. We present domain-specific constructs for the formalization of industrial automation facilities and provide some insights into the concrete food processing formalization. We are particularly interested in spatio-temporal and other physical characteristics. Relation- ships are formalized as graphs with annotated edges and components are represented as nodes.

[1]  Srini Ramaswamy,et al.  Efficient incident handling in industrial automation through collaborative engineering , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[2]  Jan Olaf Blech.  An Example for BeSpaceD and its Use for Decision Support in Industrial Automation , 2015, ArXiv.

[3]  Jan Olaf Blech,et al.  Example Data Sets and Collections for BeSpaceD Explained , 2016, ArXiv.

[4]  Jan Olaf Blech,et al.  Towards Modeling and Checking the Spatial and Interaction Behavior of Widely Distributed Systems , 2013 .

[5]  Jan Olaf Blech,et al.  Collaborative Model-based Development of a Remote Train Monitoring System , 2016, ENASE.

[6]  Jan Olaf Blech,et al.  Cyber-virtual systems: Simulation, validation & visualization , 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[7]  Vidar Slåtten,et al.  Tool support for the rapid composition, analysis and implementation of reactive services , 2009, J. Syst. Softw..

[8]  James Harland,et al.  Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation , 2016, ENASE.

[9]  Simon Hordvik,et al.  A Methodology for Model-based Development and Safety Analysis of Transport Systems , 2016, ENASE.

[10]  Jan Olaf Blech,et al.  BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems , 2014, ArXiv.

[11]  D. Jannach,et al.  Evaluation of Novel Approaches to Software Engineering , 2017, Communications in Computer and Information Science.

[12]  Jan Olaf Blech,et al.  Operators for Space and Time in BeSpaceD , 2016, ArXiv.

[13]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[14]  Jan Olaf Blech,et al.  Spatio-temporal reasoning and decision support for smart energy systems , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[15]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[16]  Srini Ramaswamy,et al.  Collaborative engineering through integration of architectural, social and spatial models , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[17]  Juan Chen,et al.  A survey of qualitative spatial representations , 2013, Knowledge engineering review (Print).

[18]  Jan Olaf Blech,et al.  The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization , 2016, AVR.