Model-driven migration of supervisory machine control architectures

Abstract

Supervisory machine control is the high-level control in advanced manufacturing machines that is responsible for the coordination of manufacturing activities. Traditionally, the design of such control systems is based on finite state machines. An alternative, more flexible approach is based on task-resource models. This paper describes an approach for the migration of supervisory machine control architectures towards this alternative approach. We propose a generic migration approach based on model transformations that includes normalisation of legacy architectures before their actual transformation. To this end, we identify a number of key concerns for supervisory machine control and a corresponding normalised design idiom. As such, our migration approach constitutes a series of model transformations, for which we define transformation rules. We illustrate the applicability of this model-driven approach by migrating (part of) the supervisory control architecture of an advanced manufacturing machine: a wafer scanner developed by ASML. This migration, towards a product-line architecture, includes a change in architectural paradigm from finite state machines to task-resource systems.

Multi-Robot based Control System

“…The Collective approach enables to take in consideration many criteria to make decision [24]. The competitive approach can be categorized into five types, namely lookup-based [25], finite state machine [26][27], priority-based or hierarchical-based [28], goal-based [29] and utility-based competitive approaches [30].…”

MARS: A metamodel recovery system using grammar inference

“…Graaf, Weber and van Deursen propose a generic model transformation based approach for migration of supervisory machine control architectures [6]. Similar to Sprinkle and Karsai's approach [3], this model transformation based migration technique specifies mappings from source metamodels to target metamodels.…”

“…The approach avoids the laborious elementwise specification of source and target models encountered in conventional metamodel transformation methodology by specifying a mapping between source and target metamodels using generic operators. Graaf et al [6] formulate the migration of supervisory machine control systems as a model transformation problem based on the Symphony [7] view-driven software architecture (SA) reconstruction process. CacOphoNy [8] is a generic metamodel-driven software architecture process similar to Symphony.…”

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

“…To illustrate, we use this entire subset to model an unconventional example: a simple recipe to create the Italian dessert Tiramisu. We refer to [12,29] for examples on the use of trecs to control wafer scanners.…”