Towards the Formalization of a Factory Demonstrator in BeSpaceD

TL;DR

This paper discusses formalizing a food processing plant using the BeSpaceD framework, focusing on properties, relations, and domain-specific constructs for industrial automation with emphasis on spatio-temporal characteristics.

Contribution

It introduces domain-specific formalization constructs for industrial automation and demonstrates their application to a food processing demonstrator using BeSpaceD.

Findings

Formalization of component properties and relations as graphs

Development of domain-specific constructs for industrial automation

Insights into spatio-temporal formalization in food processing

Abstract

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.