The paper presents the application of object-oriented modeling techniques to control software development for complex manufacturing systems, with particular focus on case studies taken from the packaging industry and ...
详细信息
The paper presents the application of object-oriented modeling techniques to control software development for complex manufacturing systems, with particular focus on case studies taken from the packaging industry and design patterns that can be abstracted from such case studies. The proposed methodology for control software modeling and implementation is based on a practical approach refined on the basis of on-the-field experience and interactions with control engineers involved in the development projects. The final objective of the paper is to review and analyze patterns for the solution of design and implementation issues that typically arise in the considered application domain. (C) 2012 Elsevier Ltd. All rights reserved.
This paper presents a new, two-level, model-driven engineering approach to industrial process control software. The first level (infrastructure engineering) is concerned with the following: the definition of the devel...
详细信息
This paper presents a new, two-level, model-driven engineering approach to industrial process control software. The first level (infrastructure engineering) is concerned with the following: the definition of the development process and guidelines, the definition of a domain-specific modeling language, the specification of the model transformations, and the development of a tool suite. This tool suite enables modeling of the process control software and the automatic code generation for programmable logic controllers. In the second level (application engineering), the process control software is engineered using the results of the infrastructure level. The approach is demonstrated on excerpts from an industrial project. (C) 2013 Elsevier Ltd. All rights reserved.
An increasing number of industrial robotic devices are appended to the computerized numerical control machine tools for higher efficiency and lower labor cost. At this point the most crucial technology is to create co...
详细信息
This paper describes a formal modeling and verification of an arm pick-and-place system, in which nondeterministic behaviors of the arm state condition and timer function blocks are applied. We design an appropriate P...
详细信息
This paper describes a formal modeling and verification of an arm pick-and-place system, in which nondeterministic behaviors of the arm state condition and timer function blocks are applied. We design an appropriate PLC program using a ladder diagram (LD) for the arm pick-and-place operation and apply in it a situation where the arm may drop the product or material being gripped because of an external force. In addition, the timer function blocks are used with formalization of their finite-state logical properties. We use an actual model of the arm to verify that safe operations are established for normal product pick-and-place, as well as when the product has fallen. In addition, we perform arm model verifications for five important temporal properties using the NuSMV model checker. We present two types of experiments to validate the safety of the designed LD program. We also verify that the nondeterminism that appears as a result of the system behaviors can be formalized and used to represent logical assumptions for the properties that need to be verified.
As circuit sizes grow ever larger, test data volume and test application time grow unwieldy even in the very efficient scan based designs. Adaptive scan architecture of Design for Test (DFT) technique is used to reduc...
详细信息
The Electrical Engineering Technology (EET) Program at the University of Toledo contains two courses in programmable logic controllers (PLCs). One is a fundamentals course taught at the sophomore level. The second cou...
详细信息
The Electrical Engineering Technology (EET) Program at the University of Toledo contains two courses in programmable logic controllers (PLCs). One is a fundamentals course taught at the sophomore level. The second course, in the senior year, is structured to add depth of understanding and familiarize the student with problems similar to those faced in industry. Changes that occurred to upgrade both courses but especially the second course are the topic of this paper. The process of preparing to re-configure the labs, the procurement of equipment and the changes in how labs were to be developed are discussed. Reasons for re-configuring the labs to include the new equipment such as increased student dissatisfaction as well as benefits gained by switching to this equipment and a new series of labs provide the rationale for the paper.
Power line communication (PLC) provides a reliable and inexpensive solution to enable high data rate services for indoor environments. In this work, we consider an indoor PLC network where several devices (or users) w...
详细信息
ISBN:
(纸本)9781479913534
Power line communication (PLC) provides a reliable and inexpensive solution to enable high data rate services for indoor environments. In this work, we consider an indoor PLC network where several devices (or users) want to exchange data. To prevent severe signal attenuation and thus performance degradation over relatively long PLC links, we consider the use of a relay at a central location to assist the users in their data communication. For this scenario, we suggest the application of amplify-and-forward (AF) multi-way relaying (MWR) based on physical-layer network coding at the relay. To evaluate the performance of this scheme, its achievable data rate is studied with practical assumptions applicable to PLC systems. Our study shows that the employed AF MWR improves the system performance and increases the achievable common data rate at the users.
In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach. Many benefits emerge from this...
详细信息
ISBN:
(纸本)9781467362849
In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach. Many benefits emerge from this tool, including the ability to automatically generate test suites from an FBD program in order to comply to quality requirements such as component testing and specific coverage measurements. Search-based testing methods are used to generate test data based on executable code rather than the FBD program, alleviating any problems that may arise from the ambiguities that occur while creating FBD programs. Test cases generated by both approaches are executed and used as a way of cross validation. In the current work, we describe the architecture of the tool, its workflow process, and a case study in which the tool has been applied in a real industrial setting to test a train control management system.
The purpose of this paper is to present an example application based on a programmablelogic controller module used for the operation and the control of a industrial unmanned system, namely a two conveyors and a pneum...
详细信息
ISBN:
(纸本)9781467359801;9781467359795
The purpose of this paper is to present an example application based on a programmablelogic controller module used for the operation and the control of a industrial unmanned system, namely a two conveyors and a pneumatic crane. The methodology applied during the design of the systems is also presented.
Increasing complexity and decreasing time-to-market require changes in the traditional way of building automation systems. The paper describes a novel approach to automatically generate the Human Machine Interface (HM...
详细信息
ISBN:
(纸本)9781479902248
Increasing complexity and decreasing time-to-market require changes in the traditional way of building automation systems. The paper describes a novel approach to automatically generate the Human Machine Interface (HMI) screens for component-based manufacturing cells based on their corresponding virtual models. Manufacturing cells are first prototyped and commissioned within a virtual engineering environment to validate and optimise the control behaviour. A framework for reusing the embedded control information in the virtual models to automatically generate the HMI screens is proposed. Finally, for proof of concept, the proposed solution is implemented and tested on a test rig.
暂无评论