Abstract:Recent technological advances and manufacturing paradigm evolutions in industrial settings will dramatically increase the complexity of automation control systems. Traditional solutions to the software development of low-level control kernels (e.g., numerical control kernel, motion control kernel, and real-time communication tasks) are unable to cope effectively with such complexity due to an inadequate level of abstraction and challenges for dependability. This article presents a formal semantics integrated model-driven design approach as a holistic solution. A domain-specific modeling language (DSML) is specified based on the adaption of IEC 61 499 architecture, along with the extensions of task model, task-to-resource allocation, and nonfunctional specification. Both formal structural and behavioral semantics of the proposed DSML are then explicitly defined. Design-time formal verification is also achieved by automated model transformations. A metaprogrammable environment is adopted to facilitate flexible modeling, verification, and code generation. A case study is demonstrated on implementing a prototype computer numerical control (CNC) system using the proposed solution. Note to Practitioners—The low-level automation control system in the modern manufacturing scenarios require more agility while respecting strict timing constraints. Handling such complexity with manual coding is getting harder and less efficient. The DSML and the supporting development environment presented in this article aim to enhance the level of automation, flexibility, and dependability of the whole design process. For the proposed DSML, its syntax is formalized and defined as metamodels, while the semantics is integrated through model annotation and transformation. These definitions are implemented as external rules for a metaprogrammable environment to establish our proposed development tool. The finding and insight from this article can enhance effi-iency and dependability during the development of common control kernels, such as CNC kernel and motion controller.

An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology

An ontology-based functional modeling approach for multi-agent distributed design on the semantic web

A Hybrid Approach for the Automation of Functional Decomposition in Conceptual Design

B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications

Software-physical Synergetic Design Methodology of Mechatronic Systems Based on Formal Functional Models

Ontology-based model-driven design of distributed control applications in manufacturing systems

Towards a General Ontology of Multidisciplinary Collaborative Design for Semantic Web Applications.

Self-organized evolution of mechanism kinetic scheme based on axiomatic design

Semi-automatic hardware design using ontologies

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

Exploring Semantic Web technologies for ontology-based modeling in collaborative engineering design

Ontology-based Semantic Integration for Cooperative Distributed Multidisciplinary Design Optimization Environments

A Formal Functional Representation Methodology for Conceptual Design of Material-Flow Processing Devices

A framework for automated finite element analysis with an ontology-based approach

Research on Workflow Management of Multi-Disciplinary Collaborative Design Based on Ontology

Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems

Design Software Architecture Models Using Ontology.

An ontology-based modelling and reasoning framework for assembly sequence planning

Automated Generation of Control Logic from System Design Based on SysML and the IEC 61499 Function Block

Design Ontology in a Case Study for Cosimulation in a Model-Based Systems Engineering Tool-Chain

An Ontology-Based Product Design Framework for Manufacturability Verification and Knowledge Reuse