During the last decade programmable devices have gained an impressive diffusion, tackling some traditional ASIC marked domains. In particular multi-million gate FPGAs have become a very appealing low-cost solution eve...
详细信息
ISBN:
(纸本)9783981080117
During the last decade programmable devices have gained an impressive diffusion, tackling some traditional ASIC marked domains. In particular multi-million gate FPGAs have become a very appealing low-cost solution even for consumer applications. However one of the big issues that can arise with modem FPGA devices is the need for large and expensive external non-volatile memory to keep the configuration data. In this work we developed an alternative technique to compress FPGA bitstreams based on the knowledge of the device internal structure. The proposed method performs a two-step coder: in the first step the bitstream is adaptively filtered to remove data redundancy, while in the second step an arithmetic coder is used to actually compress the information. The effectiveness of the proposed technique has been demonstrated on a set of case studies. As a result conventional approaches are outperformed reaching a compression ratio of 4.26 against 3.3 times.
In this paper, we propose an architecture for context-based adaptive Variable Length Coding using programmablelogic array. This design is focused in optimizing the hardware cost and enhancing the speed of encoding. T...
详细信息
ISBN:
(纸本)9781424405480
In this paper, we propose an architecture for context-based adaptive Variable Length Coding using programmablelogic array. This design is focused in optimizing the hardware cost and enhancing the speed of encoding. The proposed architecture has been simulated using ModelSim, and implemented by UMC 0. 18 um cell library. Simulation results illustrates that, the proposed design satisfies the real time constrains, required by various video applications with 2475 logic gates at 2 10 MHz.
This paper presents a design of programmable logic controllers that can be used in manufacturing automation and process control systems. Most of controllers have been import from oversea. This research focuses on PLC ...
详细信息
ISBN:
(纸本)0769525040
This paper presents a design of programmable logic controllers that can be used in manufacturing automation and process control systems. Most of controllers have been import from oversea. This research focuses on PLC local development by KMITL. The PLC system consists of CPU unit, Digital I/O RTU unit and Analog RTU unit. The experimental model is used to measure PLC scan time. The result can let us know controller performance to be applied in appropriate scale of plant in the manufacturing automation. In this article, there are many benefits to industries especially to support SW that can use local technology.
This paper addresses scalability of model-checking using the NuSMV model-checker. To avoid or at least limit combinatory explosion, an efficient representation of PLC programs is proposed. This representation includes...
详细信息
ISBN:
(纸本)1424400538
This paper addresses scalability of model-checking using the NuSMV model-checker. To avoid or at least limit combinatory explosion, an efficient representation of PLC programs is proposed. This representation includes only the states that are meaningful for properties proof. A method to translate PLC programs developed in Structured Text into NuSMV models based on this representation is described and exemplified on several examples. The results, state space size and verification time, obtained with models constructed using this method are compared to those obtained with previously published methods so as to assess efficiency of the proposed representation.
The design of PLD (programmablelogic Devices used for various applications needs both high-speed and low-power operation. One of the design methods suited to this requirement is wave-pipeline technique. In this paper...
详细信息
ISBN:
(纸本)9781424405480
The design of PLD (programmablelogic Devices used for various applications needs both high-speed and low-power operation. One of the design methods suited to this requirement is wave-pipeline technique. In this paper, we describe the wave-pipelining of PLD-design. This is applied to PRNG (Pseudo-Random Number Generator) circuit that is a sequential circuit. According to the result of the gate level simulation, the waved- PRNG circuit contributes to speed-up and low-power operation. In addition, this circuit is able to easily generate various random number sequences by controlling the operation clock frequency.
Designing component-based SoC (System On Chip) has become a communication design problem. The reuse of Intellectual Property (IP) cores in Multiprocessor SoC is facilitated by the concept of packaging and wrapping. In...
详细信息
ISBN:
(纸本)9781424402717
Designing component-based SoC (System On Chip) has become a communication design problem. The reuse of Intellectual Property (IP) cores in Multiprocessor SoC is facilitated by the concept of packaging and wrapping. In this paper, we present an approach to automate the integration process of hardware accelerators/coprocessors. This approach gives an interface modelling considering communication adaptation concepts/context throughout the integration steps. Graph formalism has been established to specify the interface considering the IP execution cycle accurate behaviour. This allows for automatic generation of interface architecture for simulation towards its synthesis. We illustrate the utility of the proposed framework that enables faster simulation times compared to existing methodologies which allow the designer to quickly evaluate alternative system implementations.
programmable logic controllers (PLCs) are still the workhorse of industrial automation. The programming and adaptation of the software for PLCs - i.e. the implementation of the control algorithms - are expensive and c...
详细信息
ISBN:
(纸本)9780780397583
programmable logic controllers (PLCs) are still the workhorse of industrial automation. The programming and adaptation of the software for PLCs - i.e. the implementation of the control algorithms - are expensive and cumbersome tasks. Today the re-implementation of an existing PLC program on a new platform, as it is supported by industrial tools on a low level, requires considerable manual re-working by a specialist. Known re-implementation processes do not allow a fully automatic transfer to a new platform. Furthermore they lack re-documentation of the code which makes it hard to understand and to follow the implemented algorithms. To avoid these problems, this paper proposes a reimplementation concept for existing PLC programs based on formal methods. An application of this concept to a lab system is presented to assess its applicability. http://***/stamp/***?tp=&arnumber=4178179&tag=1
programmable logic controllers (PLC) with network interfaces have become standard industrial control devices. However because of their relatively low computation power they cannot be used as standalone devices for imp...
详细信息
ISBN:
(纸本)1424402093
programmable logic controllers (PLC) with network interfaces have become standard industrial control devices. However because of their relatively low computation power they cannot be used as standalone devices for implementing complicated control algorithms such as predictive control. The work presented in this paper addresses the issue of implementing these algorithms by distributing their computations to more than one such devices which can communicate between each other over an industrial network. Specifically, the computations of the Predictive Control Algorithms that can be executed in parallel are identified. The way these computations can be scheduled to run in parallel on different architectures of control devices are studied. The feasibility of realizing the execution of the algorithms on the studied architectures is verified by presenting the results of the experimental realization or an application on a test bed facility which is a network of 12 PLCs and a computer-based plant simulator built according to the Profibus-DP standard.
This paper presents the distributed implementation of the Local Modular Control structure using Industrial Ethernet as communication protocol among controllers in the context of Supervisory Control Theory. From a spec...
详细信息
ISBN:
(纸本)9781424407255
This paper presents the distributed implementation of the Local Modular Control structure using Industrial Ethernet as communication protocol among controllers in the context of Supervisory Control Theory. From a specific implementation model, this work treats practical issues of programmable logic controllers when the physical control system is distributed. According to implementation model used, the present work deals with vertical distribution, which Operational Procedures are implemented in different programmable logic controllers and the Modular Supervisors and Product System in a unique controller. Finally, the work shows an example of a manufacturing system in which is proposed a physical topology of control structure.
Agile and flexible manufacturing system makes it mandatory that a control program should have a features such as agility, flexibility, and reusability in order to meet fast changing customer demands. Proper modeling a...
详细信息
ISBN:
(纸本)0769525040
Agile and flexible manufacturing system makes it mandatory that a control program should have a features such as agility, flexibility, and reusability in order to meet fast changing customer demands. Proper modeling and fast formation of the control logics using graphical and mathematical tools is one of the most peculiar ways to make the control logic more feasible for rapid product prototyping, concurrent engineering, flexible, and agile manufacturing. This paper illustrates efficient conversion of Petri nets model into programmablelogic controller like LLD (Ladder logic Diagram) in a very convenient way using one-to-one mapping technique. Furthermore, property analysis has been briefly explained to generate flawless control code for better operational performance. An example of painting robots has been demonstrated to prove the proposed method.
暂无评论