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 112
- Downloads 0
IMPLEMENTATION OF THE VECTOR CONTROL SYSTEM FOR TRACTION ASYNCHRONOUS MOTORS
The paper describes the InBus-103 electronic equipment for the trolleybus traction system with vector controlled asynchronous motor. Based on the experience acquired during more years and hundreds of equipment installed...
BETWEEN THE SOLAR REFRIGERATION AND THE SOLAR PHOTOVOLTAIC
The human consumption of electrical energy became dangerous for the environment and it is necessary to reconsider our resources notably while making appear the part of the renewable one. Recent researches bring us to not...
Wireless Power Transfer Analysis Using Scattering Parameters
Wireless power transfer systems (WPTS) can be made more efficient from the emitter-receiver and from the active power transfer efficiency point of view by using the scattering parameters S. Using electrical circuit theor...
Improving the Power Quality and Controllability of PV Power Plants for Microgrids Integration
This paper deals with the implementation of the control strategy for a three-phase voltage source inverter (VSI) system with the purpose of improving the power quality and controllability of photovoltaic (PV) system for...
An Improved Numerical Model of Heat Transfer Coefficient Corresponding to a Through Connector
This paper is a continuation of a previous research in which was presented a method to determine heat transfer coefficient values corresponding to crimped connections. Because the differences between numerical values of...