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 122
- Downloads 0
Finite Volume Method for Electrostatic Problems
In this paper, we examine the problem of determinining the electrostatic potential distribution and field intensity vector in the high voltage divider and around the power line support. The potential is defined as the so...
Some Considerations Concerning Radiated Emissions Produced by a Board Display
The paper presents some considerations related to the radiated emissions from automotive area of interest. Firstly the equipment used for tests dedicated to radiated emissions is presented. Afterward some considerations...
Technical and Economic Analysis of Thermal Energy Storage in the Biomass CHP Plants with ORC Technology
The investments in units of electricity production from the renewable energy sources have an increasing trend in the European Union countries. The production of elec-tricity from renewable energy sources and cogeneration...
Lead Acid Battery Pack Charging Optimization
Still used as a rechargeable power sources, rechargeable batteries pack require attention primarily to ensure higher life operating. One of the factors that influence lifespan is the process of charging and dischar...
CONCEPTUAL DESIGN OF 21 kJ SUPERCONDUCTING MAGNETIC ENERGY STORAGE DEVICE
In this paper, a modular toroidal coil system is analysed for the development of a superconducting energy storage device (SMES) using FEM. The objective of this preliminary design is to determine the approximate dimensio...