Modelling and Synthesis of Printed Circuit Boards Testing Systems based on Timed Hard Petri Nets
Journal Title: ANALELE UNIVERSITATII DIN CRAIOVA - Seria Inginerie electrica - Year 2017, Vol 41, Issue 41
Abstract
This paper presents a synthesis method for delay time evaluation in the printed circuit boards based on Timed Hard Petri Nets. For the specification and modeling of the delay time evaluation system, Timed Synchronous Petri Nets (TSPN) are used, which allow conflicts identification and exclusion related to both the processes time synchronization and processes timing constraints. The developed TSPN model of the delay time evaluation system comprises the test signal generator and the time delay analyzer. The transition to the hardware description of the system is achieved by translating the TSPN into Timed Hard Petri Net (THPN). THPN consists of processing elements and logical connections between them. For each processing element analytical model and AHDL code were developed. The implementation of the delay time evaluation system was done by direct mapping of the THPN into the Field-Programmable Gate Array (FPGA) circuits. FPGA architectures present advantages such as high parallelism, control processing speed-up and reconfigurability option. The direct mapping method has a linear algorithmic complexity and is not affected by state explosion problem. The transparent correspondence between the elements of the initial specification and the components of the resultant circuit ensures that the timing constraints under which the evaluation system is designed are respected.
Authors and Affiliations
Viorica Sudacevschi, Victor Ababii, Dmitri Calugari, Dimitrie Bordian
Keywords
Related Articles
- EP ID EP264065
- DOI -
- Views 117
- Downloads 0
COMPUTER AIDED ANALISYS OF INDUCTION MOTOR
Sometimes the digital control system of an electrical machine has some parameters that are unknown or they are known, but can vary in time. The control circuits with self-tuning controllers are using parameter identifica...
DESIGN AND PERFORMANCES OF COUPLING PASSIVE FILTERS IN THREE-PHASE SHUNT ACTIVE POWER FILTERS
The passive interface filter represents the link between the power grid and the shunt active filter. The interface filter is used both to obtain a good dynamic of the compensating current and to limit the high frequency...
THE SIMULINK MODEL OF A MULTILAYER WALL FOR THE STUDY OF THE THERMAL TRANSFER IN TRANSIENT REGIME
The problem of modeling and simulation of the dynamic regimes of the electrical ovens and of the electro-thermal plants in general, proves to be extremely complex. Such a simulation must take into consideration many para...
ELECTROMAGNETIC FIELD DISTRIBUTION IN VICINITY OF POWER LINES ABOVE REAL EARTH
A method for electromagnetic field components calculation in vicinity of power lines is presented. The electromagnetic field distribution of 2x110 kV power line, which is commonly used in Serbian electric power system, i...
Continuous Monitoring and SCADA Integration of the Sag of Overhead Electricity Transmission Cables Based on the Measurement of their Slope
This paper presents a proposed system for the continuous monitoring of conductor sag values in overhead electricity transmission lines through slope angle measurement, by using a mathematical model based on the catenary...