Model-Driven Design Using IEC 61499

Model-Driven Design Using IEC 61499
Author: Li Hsien Yoong
Publisher: Springer
Total Pages: 209
Release: 2014-11-13
Genre: Technology & Engineering
ISBN: 3319105213

This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industrial control systems. Several realistic examples are used to demonstrate for readers how the methodology can enable them to reduce the time-to-market, while improving the design quality and productivity.

Modelling Control Systems Using IEC 61499

Modelling Control Systems Using IEC 61499
Author: Alois Zoitl
Publisher: IET
Total Pages: 246
Release: 2014-05-30
Genre: Technology & Engineering
ISBN: 1849197601

This book provides a concise introduction to the main concepts and models defined in the standard for modelling distributed control systems for use in factory automation.

Advances in Computer, Information, and Systems Sciences, and Engineering

Advances in Computer, Information, and Systems Sciences, and Engineering
Author: Khaled Elleithy
Publisher: Springer Science & Business Media
Total Pages: 466
Release: 2006-08-15
Genre: Computers
ISBN: 140205260X

The conference proceedings of: International Conference on Industrial Electronics, Technology & Automation (IETA 05) International Conference on Telecommunications and Networking (TeNe 05) International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 05) include a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of: Industrial Electronics, Technology and Automation, Telecommunications, Networking, Engineering Education, Instructional Technology and e-Learning. The three conferences, (IETA 05, TENE 05 and EIAE 05) were part of the International Joint Conference on Computer, Information, and System Sciences, and Engineering (CISSE 2005). CISSE 2005, the World's first Engineering/Computing and Systems Research E-Conference was the first high-caliber Research Conference in the world to be completely conducted online in real-time via the internet. CISSE received 255 research paper submissions and the final program included 140 accepted papers, from more than 45 countries. The whole concept and format of CISSE 2005 was very exciting and ground-breaking. The powerpoint presentations, final paper manuscripts and time schedule for live presentations over the web had been available for 3 weeks prior to the start of the conference for all registrants, so they could pick and choose the presentations they want to attend and think about questions that they might want to ask. The live audio presentations were also recorded and are part of the permanent CISSE archive, which includes all power point presentations, papers and recorded presentations. All aspects of the conference were managed on-line; not only the reviewing, submissions and registration processes; but also the actual conference. Conference participants - authors, presenters and attendees - only needed an internet connection and sound available on their computers in order to be able to contribute and participate in this international ground-breaking conference. The on-line structure of this high-quality event allowed academic professionals and industry participants to contribute work and attend world-class technical presentations based on rigorously refereed submissions, live, without the need for investing significant travel funds or time out of the office. Suffice to say that CISSE received submissions from more than 50 countries, for whose researchers, this opportunity presented a much more affordable, dynamic and well-planned event to attend and submit their work to, versus a classic, on-the-ground conference. The CISSE conference audio room provided superb audio even over low speed internet connections, the ability to display PowerPoint presentations, and cross-platform compatibility (the conferencing software runs on Windows, Mac, and any other operating system that supports Java). In addition, the conferencing system allowed for an unlimited number of participants, which in turn granted CISSE the opportunity to allow all participants to attend all presentations, as opposed to limiting the number of available seats for each session. The implemented conferencing technology, starting with the submission & review system and ending with the online conferencing capability, allowed CISSE to conduct a very high quality, fulfilling event for all participants. See: www.cissee2005.org, sections: IETA, TENE, EIAE

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design

IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
Author: Valeriy Vyatkin
Publisher:
Total Pages: 0
Release: 2012
Genre: Automatic control
ISBN: 9781936007936

IEC 61499 is the standard for distributed control systems that follows on from the IEC 61131 standard for programmable logic controllers (PLC). This book is a practical guide for component-based development of distributed embedded and control systems as proposed by this international standard.

Distributed Control Applications

Distributed Control Applications
Author: Alois Zoitl
Publisher: CRC Press
Total Pages: 512
Release: 2017-12-19
Genre: Technology & Engineering
ISBN: 1482259060

Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499 discusses the IEC 61499 reference architecture for distributed and reconfigurable control and its adoption by industry. The book provides design patterns, application guidelines, and rules for designing distributed control applications based on the IEC 61499 reference model. Moreover, examples from various industrial domains and laboratory environments are introduced and explored.

Collaboration in a Hyperconnected World

Collaboration in a Hyperconnected World
Author: Hamideh Afsarmanesh
Publisher: Springer
Total Pages: 666
Release: 2016-09-19
Genre: Business & Economics
ISBN: 3319453904

This book constitutes the refereed proceedings of the 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, held in Porto, Portugal, in October 2016. The 57 revised papers were carefully reviewed and selected from 148 submissions. They provide a comprehensive overview of identified challenges and recent advances in various collaborative network (CN) domains and their applications, with a strong focus on the following areas: hyperconnected systems, managing data and knowledge, networked business processes, collective intelligence and decision making, creating supply and production networks, operating and management of networks, collaborative engineering, product services, intelligent product ecosystems, product personalization, service orientation, cloud technology aspects for VOs, design science research, business models in hyperconnected context, agribusiness value chain, and collaborative networks in circular economy.

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus
Author: Kyoung-Yun Kim
Publisher: Springer Nature
Total Pages: 788
Release: 2023-02-03
Genre: Science
ISBN: 3031176294

This book gathers the second volume of the proceedings of the 31st edition of the International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2022, held on June 19 – 23, 2022, in Detroit, Michigan, USA. Covering four thematic areas including Manufacturing Processes, Machine Tools, Manufacturing Systems, and Enabling Technologies, it highlights advances in micro- and nanoscales processes, additive manufacturing, artificial intelligence and robotic applications, human-robot collaboration, as well as quality control, supply chain, industrial monitoring and management strategies. It also discusses important issues related to sustainability, waste management and remanufacturing. All in all, this book provides academicians, engineers and professionals with extensive information on both scientific and industrial advances in the converging fields of manufacturing, production, and automation.

Implementation and Verification of Distributed Control Systems

Implementation and Verification of Distributed Control Systems
Author: Christian Gerber
Publisher: Logos Verlag Berlin GmbH
Total Pages: 131
Release: 2011
Genre: Computers
ISBN: 3832528490

There exist certain key issues to modern industrial automation as modularity, reusability, portability, flexibility, extendibility and reconfigurability to create optimally coordinated automation solution for manufacturing plants. This will feature the operating companies to react fast and flexible to changed customer demands. An appropriate way to realize these issues is an object-oriented control implementation, which has been quite common since the late 90s. This work is focused on the upcoming standard IEC 61499, which defines an object-oriented and event-driven software model, which can be realised by any hardware the engineer prefers. Furthermore, the control implementation is application-oriented and all parts are mapped to available control devices later on. Thus, it is possible to replace one device by another by easily remapping the application. But, does this possibility need certain care during the development of the control application and how could a control engineer be supported to prove the correctness of the plant behaviour in any case? To answer this question the formal model discrete timed Net Condition/Event Systems is used in this work to model in a modular manner the control system and the plant. Both models are connected in closed loop to perform a reachability analysis. It is shown, how a control engineer can examine in a graphical manner the system behaviour for all possible cases by selecting interesting trajectories and drawing them as Gantt-Charts. Since the model of the plant incorporates all sensors and actuators, the state of the corresponding places can be included into the Gantt-Chart.Even if the control engineer has no deep knowledge about the used formal model, this systematic and tool supported way ensures the possibility to analyse the system behaviour in any case, if he changes the control application or remaps it. This will reduce downtimes during production changes and new plant can be brought faster into service.

Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications

Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications
Author: Tarek Sobh
Publisher: Springer Science & Business Media
Total Pages: 529
Release: 2007-09-04
Genre: Technology & Engineering
ISBN: 1402062664

This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Industrial Electronics, Technology, Automation, Telecommunications and Networking. The book includes selected papers from the conference proceedings of the International Conference on Industrial Electronics, Technology, Automation (IETA 2006) and International Conference on Telecommunications and Networking (TeNe 06).

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements
Author: Daw Pérez, Zamira Angélica
Publisher: kassel university press GmbH
Total Pages: 205
Release: 2014-01-01
Genre:
ISBN: 3862197743

Die Entwicklung eingebetteter Systeme wird aufgrund der immer anspruchsvolleren Anwendungen sowie der Verwendung von leistungsfähigeren Hardware-Architekturen (z.B. Multicore-, Hybrid-Systeme) immer komplexer. Modellgetriebene Methoden reduzieren die Komplexität des Systems mittels angemessenen Abstraktionsniveaus. Diese Arbeit stellt die modellgetriebene Entwicklungsmethodik DMOSES (Determi-nistische Modelle für die signalverarbeitenden eingebetteten Systeme) vor. Diese Methodik strebt die Verbesserung der Entwicklung hybrider eingebetteten Systeme (z.B. CPUs und FPGAs) hinsichtlich der Komplexität mittels anpassbarer Abstraktionseben, automatischer Codegenerierung und Systemverifikation an. Systeme werden mittels UML-Verhaltensmodelle spezifiziert, deren erweiterte Semantik relevante funktionale und nicht-funktionale Aspekte hybrider eingebetteten Systemen beschreibt. Eine anpassbare Abstraktionsebene wird durch die Integration von automatischer Code-Generierung und optimierbarem Code erreicht. Außerdem werden Sicherheitsanforderungen durch die Integration von Analysetechniken (Formale Verifikation, Ausführungszeit-Analyse und Software-Verträgen) in die Entwicklungsmethodik verifiziert.