|
StatusThe thesis was presented on the 15 January, 2010Approved by NCAA on the 18 March, 2010 Abstract– 0.53 Mb / in romanian |
The Ph.D. thesis comprises the introduction, four chapters, conclusions, bibliography (160 titles), 6 appendixes, 120 pages of main text, 46 figures and 14 tables. The obtained results are published in 26 scientific articles.
Key words: computer systems, concurrent processing, direct mapping, hardware description languages, modelling, Petri nets, processing elements, reconfigurable circuits, synthesis, validation, verification.
Domain of study is represented by the theoretical and practical principles of modelling and functional verification of digital systems, as well as the synthesis of concurrent data processing structures.
Goal of work consists in elaboration of methods, techniques and algorithms for synthesis of concurrent data processing structures based on direct mapping of Petri net models in reconfigurable circuits.
Methodology of scientific research is based on computer systems theory, Petri net theory, mathematical modelling methods and object-oriented technologies.
Scientific novelty and originality of the obtained results consists in: defining of a new extension of non-temporized ordinary and safe Petri net – Control Synchronized Petri Net, with the capacity of synchronous firing of all enabled transitions, that allows the realization of the synthesis method and gives the possibility of modelling and validation of digital systems with concurrent data processing; defining of Hard Petri net, that consists of processing elements and connections between them, that allows the conversion of the Petri net model directly into hardware architecture; elaboration of algorithms for structural analysis of Petri net model and generation of mathematical model of Hard Petri Net, elaboration of algorithms for concurrent data processing structures synthesis by direct translation of a Petri net model into an FPGA circuit netlist.
Theoretical significance is made up by the method for modelling, verification and synthesis of concurrent data processing structures based on ordinary and safe Petri nets.
Applicative value of work consists in elaboration of synthesis methods and algorithms that assure the obtaining of concurrent data processing structures, characterised with more reliability and safeness then those, obtaining using known methods. The proposed algorithms are characterized by low complexity and assure an efficient implementation on computer aided design platforms. These features offer the possibility to use the synthesis method for design of concurrent data processing structures in modern computer systems and control systems of technological processes.
Under consideration [1] :
Theses Archive: