A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools

Digital twins are a fundamental building block for the Industrie 4.0. With the Asset Administration Shell, a standard has been published that describes a meta model of such digital twins and the interfaces to access them. One of these interfaces is file-based access. Since the advent of the standard, various implementations have been developed. To ensure interoperability between different implementations, compliance with the specification must be verified. To test the correctness of a compliance check tool, a set of digital twins with known properties is used as test input. Since manually specifying such test models is error-prone, this work contributes an automated generation approach. It leverages flow graphs to represent the space of possible models. The subsequent path selection aims to generate expressive, yet efficient test input.