检索结果-内蒙古大学图书馆

16th IEEE International Conference on Factory Communication systems (WFCS)

作者： Bruns, Friederike Nebel, Wolfgang Walter, Jorg Gruttner, Kim Carl von Ossietzky Univ Oldenburg Oldenburg Germany OFFIS Inst Informat Technol Oldenburg Germany

ISBN: (数字)9781728152974

ISBN: (纸本)9781728152974

Real-time communication of distributed automation systems come with many challenges as there is no common time basis. Often a periodic execution of applications is considered which leads to time phenomena like drifts or jitter. Thus, this type of communication requires observance and enforcement of real-time properties to guarantee reliability of distributed systems. New industrial technologies like Time-Sensitive Networking (TSN) and the IEC 61499 standard provide support to conquer upcoming challenges. Therefore, we are using these jointly with contract-based design to propose a design methodology for verification of real-time communication in IEC 61499 systems. We implemented a simulation-based verification environment and performed postmortem trace-based verification against timing specifications. The evaluation confirms the possibility of integrating our proposed representation for non-local communication into IEC 61499 for analyzing time behavior of applications.

关键词： distributed automation systems Real-time communication IEC 61499 systems

来源：评论

学校读者我要写书评

暂无评论

A Cloud-Based Decision Support System for Self-Healing in distributed automation systems Using Fault Tree Analysis

引用

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2018年第3期14卷 989-1000页

作者： Dai, Wenbin Riliskis, Laurynas Wang, Peng Vyatkin, Valeriy Guan, Xinping Shanghai Jiao Tong Univ Dept Automat Shanghai 200240 Peoples R China Stanford Univ Dept Comp Sci Stanford CA 94305 USA Chinese Acad Sci Shenyang Inst Automat Key Lab Networked Control Syst Shenyang 110016 Peoples R China Aalto Univ Espoo Finland Lulea Univ Technol Lulea Sweden

Downtime is a key performance index for industrial automation systems. An industrial automation system achieves maximum productivity when its downtime is reduced to the minimum. One approach to minimize downtime is to predict system faults and recover from them automatically. A cloud-based decision support system is proposed for rapid problem identifications and to assist the self-management processes. By running multiple parallel simulations of control software with real-time inputs ahead of system time, faults could be detected and corrected automatically using autonomous industrial software agents. Fault trees, as well as control algorithms, are modeled using IEC 61499 function blocks that can be directly executed on both physical controllers and cloud services. A case study of water heating process is used to demonstrate the self-healing process supported by the cloud-based decision support system.

关键词： Cloud-based decision support systems distributed automation systems faster-than-real-time simulation fault tree analysis (FTA) IEC 61499 function blocks (FBs) programmable logic controllers self-healing supervisory control

来源：评论

学校读者我要写书评

暂无评论

Time-Complemented Event-Driven Architecture for distributed automation systems

引用

IEEE TRANSACTIONS ON systems MAN CYBERNETICS-systems 2015年第8期45卷 1165-1177页

作者： Pang, Cheng Yan, Jeffrey Vyatkin, Valeriy Lulea Univ Technol S-97187 Lulea Sweden Univ Auckland Auckland 1142 New Zealand Aalto Univ FI-00076 Aalto Finland

Time-driven and event-driven control models are two fundamental design paradigms applied in distributed control systems for synchronizing decentralized activities. This paper proposes a unified architecture for combining both approaches. The combination offers the best of both worlds' properties, such as the expressiveness of event-driven programming and the determinism of time-driven logic. The foundations of this symbiosis are the IEC 61499 Function Block standard providing event-driven distributed control architecture and the IEEE 1588 Precision Time Protocol establishing the basis for highly-accurate time synchronization. The proposed time-complemented event-driven distributed control model aims at improving the modularity and flexibility of automation software with satisfactory control performance. The new control model has been compared with conventional centralized and distributed control approaches analytically and by simulation. The comparison results reveal that the proposed control model is efficient and flexible. Finally, a reference example has been used to demonstrate merits of the new approach.

关键词： distributed automation systems distributed control distributed time synchronization IEC 61499 IEEE 1588

来源：评论

学校读者我要写书评

暂无评论

Semantic automation systems, a Suitable Approach for automation Networks in the Industry 4.0 4

Semantic Automation Systems, a Suitable Approach for Automat...

引用

IEEE 4th Colombian Conference on Automatic Control (CCAC) - Automatic Control as Key Support of Industrial Productivity

作者： Gil, Santiago Zapata-Madrigal, German D. Univ Nacl Colombia Fac Minas Grp T&T Medellin Colombia

ISBN: (纸本)9781538669624

The Industry 4.0 demands a change of paradigm for the automation engineering and some new requirements that has to be accomplished like data integration, big data processing, semantics, communication protocols, and standardization. The interoperability is another essential concept, it is a key for the development of the Industry 4.0. This work presents a semantic approach to model automation systems through an ontology, and its applicability in industrial automation networks using OPC HA. The automation 14.0 Ontology, the model proposed in this project, provides a semantic tool to represent high-, middle, and low-level concepts of automation systems, and offers a way to integrate directly in software applications and semantic -based communications protocols such as OPC LTA. It demonstrates the suitability of the semantic -based automation systems to he implemented by semantic-based or object-based communication protocols in Industry 4.0 applications. This initiative intends to empower the development of the Industry 4.0 and the Internet of Things for the automation engineering.

关键词： Ontologies distributed automation systems Semantic Models Industry 4.0 Internet of Things OPC UA

来源：评论

学校读者我要写书评

暂无评论

Towards Formal Verification for Cyber-physically Agnostic Software: a Case Study 43

Towards Formal Verification for Cyber-physically Agnostic So...

引用

43rd Annual Conference of the IEEE-Industrial-Electronics-Society (IECON)

作者： Drozdov, Dmitrii Patil, Sandeep Dubinin, Victor Vyatkin, Valeriy Lulea Univ Technol Lulea Sweden Penza State Univ Penza Russia Aalto Univ Helsinki Finland

ISBN: (纸本)9781538611272

Cyber-physical agnosticism (CPA) is a property of software in cyber-physical systems (CPS) to withstand various disturbances and keep maintaining the required behaviour of the physical process. With the increased research on the use of internet of things (IoT) in industrial automation (IoT-A), there is a need for robust distributed automation control systems that can take into account some overheads of using wireless devices in such an IoT setup. For example, data transfer delays between wireless sensors and the controller might result in the controller acting on a stale sensor value. In this paper, we present an approach of using time-aware computations to let the controller to assess quality of the input data and formal verification as a method to check the CPA property of the IoT-A applications. The paper specifically considers IEC 61499 standard for implementation of distributed IoT-A application. Ptolemy II PTIDES inspired time stamped event semantics is used in the application to keep track of the origin of different events. Timed automata are used to model the plant. The IEC 61499 application together with abstract plant model is then converted to SMV language and NuSMV model checker is used for formal verification. The paper presents a case study of an elevator example to demonstrate the proposed approach. A random delay is used to model the communication delay in the wireless network. It is shown that if the communication delay was not accounted for, then the elevator would stop in-between the floors and open the doors that is considered unsafe. The paper then shows how time-aware computation is used to make sure that the elevator always follows safe behaviour.

关键词： cyber-physical agnosticism distributed automation systems model checking IEC 61499 timestamp time-aware computations

来源：评论

学校读者我要写书评

暂无评论

A multi-protocol on-line monitoring system for distributed automation systems

引用

IFAC Proceedings Volumes 2003年第12期36卷 1-6页

作者： Ronaldo Hüsemann Carlos Eduardo Pereira Laboratório de automação industrial departanlento de engenharia elétrica universidade federal do rio grande do sui

This work describes an on-line monitoring system that allows the evaluation of tilning characteristics of automation systems implemented as a distributed network based on fieldbus technology. The monitoring system is composed by a programmable message logging module. which supports different standardized industrial protocols, and a validation toolset responsible for requirement analysis, timing requirements checking, and graphical visualization of the results.

关键词： Fieldbus real-time monitoring distributed automation systems

来源：评论

学校读者我要写书评

暂无评论

Advanced use of PLCopen motion control library for autonomous servo drives in IEC 61499 based automation and control systems

引用

ELEKTROTECHNIK UND INFORMATIONSTECHNIK 2006年第5期123卷 191-196页

作者： Suender, C. Zoitl, A. Mehofer, F. Favre-Bulle, B. Vienna Univ Technol Automat & Control Inst ACIN Gusshausstr 27-29-376 A-1040 Vienna Austria

This article presents the use of autonomous components for motion control applications in distributed automation systems. Current realizations based on IEC 61131 lack of a seamless integration into the resulting system consisting of functional units. The basis for the new concept is the PLCopen Motion Control Library which is applied to the reference model of the new standard IEC 61499.

关键词： distributed automation systems autonomous components motion control PLCopen motion control library IEC 61499

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of distributed hierarchical automation and control systems with IEC 61499

Design and implementation of distributed hierarchical automa...

引用

3rd IEEE International Conference on Industrial Informatics (INDIN)

作者： Ferrarini, L Veber, C Politecn Milan Dipartimento Elettr & Informaz Milan Italy

ISBN: (纸本)0780390946

The paper presents a prototypical implementation of a Java thread-based Run-Time Environment for IEC 61499 applications and its use in the application design process. In particular, the paper focuses on the features of the developed environment and on its advantages and disadvantages. The purpose of this work is also to show the potentialities and the limitations of the IEC 61499 models in practical utilization. The described Run-Time Environment has been tested for different application examples for both discrete manufacturing systems and motion control problems.

关键词： IEC 61499 standard distributed automation systems Java object orientation

来源：评论

学校读者我要写书评

暂无评论

The EN50170 standard for a European fieldbus

引用

COMPUTER STANDARDS & INTERFACES 1998年第5-6期19卷 257-273页

作者： Demartini, C Valenzano, A Politecn Torino Dipartimento Automat & Informat Ctr Studi Elaboraz Numerale Segnali I-10129 Turin Italy

With the advent of newer and newer products on the industrial automation markets, fieldbuses are becoming a reality and their adoption is significantly increasing in a large number of different application fields. Unfortunately the long delays experienced in the definition of a worldwide international fieldbus standard by IEC has contributed to make the fieldbus situation unstable and confused at least from the points of view of the users and system integrators. This important fact, and the need to protect the significant investments made by the European industry to gain the leadership in fieldbus technologies, convinced CENELEC in 1993 to promote the definition of a European standard concerning field communications. The new standard, known as EN50170, was formally approved in March 1996 and was based on existing and well-established technical solutions. The attention of this paper is focused on the EN50170 specifications. As well as a discussion of the reasons and the criteria considered in defining the standard, the paper contains a brief introduction to the technical characteristics of the three different solutions contained in the EN50170 documents and referred to as volume 1, 2, and 3 respectively. (C) 1998 Elsevier Science B.V. All rights reserved.

关键词： factory communications industrial networks fieldbuses real-time communications European standards distributed automation systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：