Ing. Martin Daňhel, Ph.D.

2015

The internal structure of programmable devices is complex and unrevealed, which makes the design of applications with provable dependability and security difficult. At the theoretical level, the interaction between techniques for fault-tolerant and security attack-resistant design is not well understood. The crossing point of both fields, the notions of controllability, observability, and redundancy will be studied. Application architectures, where dependability and security support each other will be designed. Moreover, absorbing their features into the structure of a programmable device will be demonstrated. To prove and evaluate these achievements, methods to construct realistic models of applications will be developed. The gap caused by the complex and obscure structure of the devices will be overcome by model calibrations, that is, by aligning its predictions with the results of real device tests. Currently, the structural complexity of the device prevents design evaluation using detailed models, requiring to simplify and hierarchize the model while maintaining its relevance.

2013

This project is focused on digital system´s design with respect to their hardware area, working frequency, power, realiability issues and testability. Pilot implementations will realized in FPGA. Hign realiability parameters will be achieved by dynamical re-configuration. The test generation methodology will be improved.

2012

This project is focused on digital system´s design with respect to their hardware area, working frequency, power, realiability issues and testability. Pilot implementations will realized in FPGA. Hign realiability parameters will be achieved by dynamical re-configuration. The compressed test generation methodology based on overlapping of the test vectors will be improved using their implicit representation to maximize the test effectivity.

2014

This project is focused on dependable (reliable and secure) digital systems design with respect to their area overhead, working frequency and testability. Hign realiability parameters will be achieved by appropriate redundancy and reconfiguration methods. The mutual relation between fault-tolerant and attack-resistent architectures will be studied. Pilot implementations will be realized in FPGA.

2013

První ročník společného semináře (studentské konference) kateder číslicového návrhu a počítačových systémů FIT s doktorandskými studenty z university Tel Aviv z Izraele. Při návštěvě prof. Ilyi Levina z University Tel Aviv v listopadu 2012 jsme našli společná témata, která odpovídají současným trendům ve výzkumu vestavných systémů. Domluvili jsme užší spolupráci se zaměřením na PhD. studenty. Proto jsem se rozhodli uspořádat v podstatě nultý ročník společného semináře, a to tak, aby náklady akce byly co nejmenší. Předpokládáme přednesení příspěvků na téma vestavných systémů, logické syntézy a číslicového návrhu s ohledem na spolehlivost a bezpečnost, včetně bezpečných síťových přenosů. Účast prof Levina a jeho 5 doktorandů je již domluvená. Předpokládáme, že pozveme kolegy z ostatních českých universit zabývajících se stejnou tématikou podle kapacity střediska Temešvár. Hlavním cílem bude příprava společné konference v roce 2014 s širší účastí PhD. studentů i z dalších evropských států