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

IEEE International Conference on Automation Science and Engineering

作者： Canlong Ma Julien Provost Technical University of Munich Garching bei München Germany

In testing of programmable controllers, manual selection of test cases is still the most common method in practice. This is however tailor-made, time consuming and error-prone. Traditional model-based methods can hardly handle industrial scale systems which usually possess a significant number of states, and signals of sensors and actuators. In this paper, we propose a model-based testing framework that utilizes simplified plant features to reduce the number of test cases, and at the same time also guarantees a full coverage of nominal behavior of system under test. The proposed framework has been illustrated on a case study.

关键词： testing programmable controllers proposed framework

来源：评论

学校读者我要写书评

暂无评论

MODELING programmable LOGIC controllers FOR LOGIC VERIFICATION

引用

IEEE CONTROL SYSTEMS MAGAZINE 1994年第2期14卷 53-59页

作者： MOON, I Dept. of Chem. Eng. Yonsei Univ. Seoul

Verification method has been developed for determining the safety and operability of programmable logic controller (PLC) based systems. The method automatically checks sequential logic embedded in PLCs and provides counterexamples if it finds errors. The method consists of a system model, assertions, and a model checker. The model is a Boolean-based representation of a PLC's behavior. Assertions are questions about the behavior of the system, expressed in temporal logic. The model checker generates a state space based on the above two inputs, searches the space efficiently, determines the consistency of the model and assertions, and supplies counterexamples. A modeling technique has been developed to verify relay ladder logic (RLL), a PLC programming language. The performance of the model checker is studied in a series of alarm designs

关键词： Boolean based representation Boolean functions PLC programming language alarm designs alarm systems assertions logic testing logic verification model checker modeling operability programmable controllers programmable logic controllers relay ladder logic safety sequential circuits sequential logic state space system model temporal logic

来源：评论

学校读者我要写书评

暂无评论

Understanding and using programmable controllers

Understanding and using programmable controllers

引用

1986年

作者： Kissell Thomas E.

来源：评论

学校读者我要写书评

暂无评论

Invoking Web Services from programmable Logic controllers

Invoking Web Services from Programmable Logic Controllers

引用

15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Stoidner, Christoph Freisleben, Bernd Univ Marburg Dept Math & Comp Sci D-35032 Marburg Germany

ISBN: (纸本)9781424468508

The adoption of service-oriented architectures based on web services in industrial application domains enables the seamless integration of business software with manufacturing tasks and promises increased interoperability. To be able to invoke a manufacturing task running on a programmable logic controller (PLC) as a web service from a business application, the SOAP4PLC engine has been proposed. In this paper, an extension of the SOAP4PLC engine is presented to invoke a web service based business application from a PLC application. A use case is shown in which the extended SOAP4PLC engine is used to interface a PLC application concerned with realizing the functionality of a charging station for electrical vehicles with a web service based accounting system.

关键词： S0AP4PLC engine Web service based accounting system Web services business software electrical vehicle manufacturing processes open systems programmable controllers programmable logic controller service oriented architecture software architecture

来源：评论

学校读者我要写书评

暂无评论

programmable Logic controllers (PLC) in the Packaging Industry: an Object Oriented Approach for Developing Control Programs 9

Programmable Logic Controllers (PLC) in the Packaging Indust...

引用

International Microsystems Packaging Assembly and Circuits Technology Conference IMPACT

作者： Pineda-Sanchez, Manuel Perez-Vazquez, Marina Sapena-Bano, Angel Martinez-Roman, Javier Perez-Cruz, Juan Puche-Panadero, Ruben Perez-Vazquez, Victor Univ Politecn Valencia Dept Elect Engn Camino Vera S-N E-46022 Valencia Spain

ISBN: (纸本)9781479977277

Packaging automated industry is based on PLC control systems. Most of them are IEC 61131-3 PLC compliant. The standard was the first step to introduce Object Oriented Programming (OOP) features in the PLC based automation such as encapsulation in Function Blocks. Nevertheless, other major benefits of OOP such inheritance, or polymorphism weren't defined. On the other hand, the standard was born with the aim of create a unique structure of PLC programs providing a way to exchange programs between several PLC brands. However this goal is far from being achieved. In this paper, a new approach to include these OOP benefits is proposed. Besides, programs developed within this framework can be adapted with minimum effort and maximum reliability to different packaging.

关键词： electronics packaging encapsulation object-oriented programming programmable controllers reliability IEC 61131-3 PLC compliant OOP developing control programs function block encapsulation object oriented approach object oriented programming packaging automated industry packaging industry packaging reliability polymorphism programmable logic controllers Automation Conductors IEC standards Packaging Programming Relays object oriented programming programmable logic controllers Packing industry IEC publications Electronics packaging Automation Packaging encapsulation relay conducting bodies development control Programming Package reliability Program control

来源：评论

学校读者我要写书评

暂无评论

Automated Code Generation for programmable Logic controllers based on Knowledge Acquisition from Engineering Artifacts: Concept and Case Study

Automated Code Generation for Programmable Logic Controllers...

引用

17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Steinegger, Michael Zoitl, Alois Vienna Univ Technol Automat & Control Inst AT-1040 Vienna Austria

ISBN: (纸本)9781467347372;9781467347358

The effort for design and implementation of process automation systems increases with the complexity of modern production plants. To shorten the implementation phase we propose a conceptual approach for automated code generation for programmable logic controllers (PLCs) based on knowledge acquisition from standardized engineering artifacts and their corresponding tool database. Ontologies are defined for each engineering domain artifact, representing the concepts and relations specified in the associated domain standards. An automated data extraction and population of the domain-specific ontologies together with semi-automated mapping definitions between common engineering objects then enables a rulebased code generator to query the ontologies. The query results are translated afterward into PLC code by applying a rule transformation algorithm.

关键词： control engineering computing knowledge acquisition logic programming ontologies (artificial intelligence) program compilers programmable controllers

来源：评论

学校读者我要写书评

暂无评论

programmable Logic controllers 1

引用

2015年

作者： Hanssen Dag H.

ISBN: (数字)9781118949238

ISBN: (纸本)9781118949245

Widely used across industrial and manufacturing automation, programmable Logic controllers (PLCs) perform a broad range of electromechanical tasks with multiple input and output arrangements, designed specifically to cope in severe environmental conditions such as automotive and chemical plants. programmable Logic controllers: A Practical Approach using CoDeSys is a hands-on guide to rapidly gain proficiency in the development and operation of PLCs based on the IEC 61131-3 standard. Using the freely-available* software tool CoDeSys, which is widely used in industrial design automation projects, the author takes a highly practical approach to PLC design using real-world examples. The design tool, CoDeSys, also features a built in simulator/soft PLC enabling the reader to undertake exercises and test the examples. Key features: Introduces to programming techniques using IEC 61131-3 guidelines in the five PLC-recognised programming languages. Focuses on a methodical approach to programming, based on Boolean algebra, flowcharts, sequence diagrams and state-diagrams. Contains a useful methodology to solve problems, develop a structured code and document the programming code. Covers I/O like typical sensors, signals, signal formats, noise and cabling. Features Power Point slides covering all topics, example programs and solutions to end-of-chapter exercises via companion website. No prior knowledge of programming PLCs is assumed making this text ideally suited to electronics engineering students pursuing a career in electronic design automation. Experienced PLC users in all fields of manufacturing will discover new possibilities and gain useful tips for more efficient and structured programming. * Register at *** ***/go/hanssen/logiccontrollers

关键词： programmable controllers CodeSys PLC Programming IEC 61131-3 computer engineering computer engineering textbook SFC - Sequential Function Chart ST - Structured Text FBD Function blocks

来源：评论

学校读者我要写书评

暂无评论

programmable logic controllers : an introduction

引用

2003年

作者： Bolton W.

ISBN: (纸本)0750659866

From the Publisher: Ideal as an accessible introduction for university students, the second edition includes expanded sections on internal architecture, input-output devices, networks, and programming languages with microprocessor systems, and has been fully revised in line with the new BTEC Higher National unit on PLCs, and the 2000 specifications for the Advanced GNVQ unit from Edexcel.

关键词： Logic circuits. programmable logic devices. programmable controllers. Logic circuits Problems, exercises, etc. programmable logic devices Problems, exercises, etc. programmable controllers Problems, exercises, etc.

来源：评论

学校读者我要写书评

暂无评论

programmable automation controllers (PACs)

引用

CONTROL ENGINEERING 2006年第12期53卷 72-72页

作者： Krzysztof, Pietrusewic Dworak, Pawel Tech Univ Szczecin Inst Control Engn Szczecin Poland

When ARC Advisory Group analyst, Craig Resnick, proposed a new term for anemerging class of programmable devices for automation in 2001, few expected such growth of relatedtechnologies. The market extends beyond the formal name--programmable automation controllers (PACs).Some vendors reject the word, yet satisfy the PAC feature set with newer programmable logiccontrollers (PLCs). Control engineers are always seeking new technology to solve problemseffectively and efficiently. Industrial automation system tasks and challenges include manufacturingprocesses, logic control, PID control, motion control, vision systems, maintenance, processvisualization, HMI design, and integration with higher facility layers, including enterpriseresource planning (ERP) systems.

关键词： programmable controllers Automation Engineers Industrial engineering Mechanization

来源：评论

学校读者我要写书评

暂无评论

Software Development for programmable Logic controllers - A Methodology and a System

引用

IFAC Proceedings Volumes 1992年第31期25卷 233-238页

作者： J.P. Estima De Oliveira J.L. Azevedo J.A. Ferreira P.J. Ferreira INESC/University of Aveiro - Dept. of Electronics and Telecom. Aveiro PORTUGAL

An universal methodology and a system to program PLCs are presented. The system front end is a Graphical User Interface (GUI), supporting the relay ladder language and a simulator. The GUI is an user-friendly environment with menus, icons and a point and click interface. After the GUI, an Intermediate Literal Language (ILL) implements a virtual PLC. ILL fIles are then used by specific parser-drivers (developed with lex and yacc utilities), to translate ILL definitions into real PLC statements. Object-oriented programming techniques, based on C++, are used, along with Blaise Win++ class library. The system runs as a Microsoft Windows application.

关键词： programmable controllers object-oriented user interfaces programming environments software development

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：