Skip to content
Open access

Scalable Behavioral Inheritance and Reuse in Siemens NX Mechatronic Concept Designer

Aug 2026 · Applied Sciences · Vol 16, pp. 8211 · 0 citations · 24 references

TL;DR

A formal, symmetry-based framework for behavioral reuse in arbitrary cyber–physical manufacturing systems, implemented within the Siemens NX Mechatronic Concept Designer, version NX 2506, environment is introduced, establishing symmetry-based modular simulation as a principled and scalable methodology for industrial digital-twin development in multi-robot manufacturing environments.

Abstract

The increasing complexity of cyber–physical manufacturing systems demands simulation architectures that scale with the physical plant without a proportional growth in engineering effort. This paper introduces a formal, symmetry-based framework for behavioral reuse in arbitrary cyber–physical manufacturing systems, implemented within the Siemens NX Mechatronic Concept Designer (MCD), version NX 2506, environment. Symmetry is treated rigorously, as an equivalence relation induced by a symmetry-group action over the set of plant components, and three exploitable classes are defined on this basis: structural symmetry, arising from replicated kinematic configurations; functional symmetry, arising from shared behavioral specifications across instances of a common component class; and temporal symmetry, arising from synchronized cyclic behavior across concurrent actors. From these definitions, a four-condition behavioral inheritance protocol is derived, specifying the prerequisites under which a single behavioral library template is correctly instantiated across an arbitrary number of interchangeable components. The framework is demonstrated on a production cell comprising ten conveyor sections, nine CNC machining centers (5-axis, X/Y/Z/A/B/SP), and two COMAU NJ420-3.0 manipulators—each a 6-axis articulated arm extended by an external linear rail to seven controlled axes—governed through Siemens Sinumerik RunMyRobot/Direct Control and exercised in a co-simulation environment that integrates a Create MyVirtual Machine (CMVM) Software-in-the-Loop (SiL) controller, a Simit Model-in-the-Loop (MiL) communication layer, and MCD for kinematic and behavioral emulation. Using the number of independent behavioral configuration operations as the effort metric, the symmetry-driven approach reduces machining-center configuration effort by 88.9% (from nine independent configurations to one template instantiated nine times) and robot behavioral configuration effort by 100% (both manipulators inherit from a single seven-axis library entry), while preserving full kinematic and signal-level fidelity. The inheritance mechanism is shown to tolerate heterogeneous kinematic substitution: a COMAU NJ420-3.0 may be replaced by any kinematically equivalent 6-axis manipulator in the RunMyRobot database without behavioral reconfiguration. The component and capability mapping matrix (CCMM) introduced in prior work is extended with a symmetry-annotation layer that explicitly encodes instance relationships and inheritance chains, providing a structured input to automated behavioral-deployment workflows. The results establish symmetry-based modular simulation as a principled and scalable methodology for industrial digital-twin development in multi-robot manufacturing environments.

Read PDF

Similar papers

Conference Sep 2026

Beyond Automation: Is RAMI 4.0 Ready for Industry 5.0? An MBSE Perspective

Industrial production is increasingly shaped by automation, interoperability, and data-driven engineering. While these developments are commonly associated with Industry 4.0, the human role in such systems is often only implicitly considered. More recent discussions under the term Industry 5.0 therefore emphasize human...

Christoph Binder, Tobias Bein, David Hoffmann · 0 citations
#artificial intelligence Review Sep 2026

An Empirical Study of Architectural Shift from Traditional to AI-Enabled Simulink Controllers

Effective AI adoption in cyber-physical systems (CPS) depends on embedding design knowledge into engineering practice. Yet as AI-enabled components increasingly replace analytically derived control laws, this occurs without a systematic understanding of how controller architectures differ or remain similar across parad...

H. Yusuf, Khouloud Gaaloul · 0 citations

High Level Synthesis and Verification of Solidity Smart Contracts

This paper presents a framework where programmers can use schemas and reusable constructs for a given domain, which domain experts can then use to specify smart contracts in familiar terms and concepts rather than in a specialized programming language.

Yun-Tao Cai, Keerthi Nelaturu, A. Veneris · 0 citations
2026

Automated Discovery of Finite State Automata for the Control of Discrete Event Systems

In many industrial systems, control-related information is often opaque, undermining the ability to formally ensure safety, correctness, and performance. Representing such systems as Discrete Event Systems (DES) models enables rigorous analysis, synthesis, and correct-by-construction control, but modeling is typically...

Jhonnatan R. Semler, Rosaine F. Semler, M. Wehrmeister et al. · 0 citations
Book Open access Oct 2026

DesignSpace: A Tool for Collaborative Engineering in Model-Driven Development

We contribute a solution to the Model Management (MoM) Challenge 2026 (available at doi: 10.5281/zenodo.19608752) using the DesignSpace framework. DesignSpace provides a common operation-based model management infrastructure that supports collaborative engineering, consistency management, traceability, and version cont...

Marcel Homolka, Andrei Blokhin, A. Egyed · 0 citations
Book Open access Sep 2026

Welder: Compositional Liveness Verification of Cluster Control Planes

We present the first compositional approach to formally verifying cluster control planes such as Kubernetes. Control planes are large, distributed systems composed of interacting controllers with subtle liveness and safety dependencies. Our approach, Welder, emphasizes compositionality to make verification manageable a...

Zhi-Xiang Cai, Nikhil Date, J. Gu et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.