Datenbestand vom 13. Juni 2019

Warenkorb Datenschutzhinweis Dissertationsdruck Dissertationsverlag Institutsreihen     Preisrechner

WICHTIGER HINWEIS
DER VERLAG IST IN DER ZEIT VOM 12.06.2019 BIS 23.06.2019 AUSCHLIESSLICH PER EMAIL ERREICHBAR.

aktualisiert am 13. Juni 2019

ISBN 9783843907323

Euro 72,00 inkl. 7% MwSt


978-3-8439-0732-3, Reihe Informatik

André Seffrin
A Process-Algebraic Approach to Security-Aware Scheduling of Dynamic Partial Reconfiguration on FPGA Devices

283 Seiten, Dissertation Technische Universität Darmstadt (2012), Hardcover, A5

Zusammenfassung / Abstract

By means of the method of dynamic partial reconfiguration, the functionality of field-programmable gate array (FPGA) devices can be changed at run-time. The pi-calculus is a process algebra which is suitable for modelling communicating, concurrent processes. In this work, it is investigated whether it is a viable basis for the specification of partially and dynamically reconfigurable hardware systems. For this purpose, it has to be modified first; therefore, the pi-chi-calculus is introduced in this thesis. We present a complete design-flow which allows to generate a reconfigurable hardware system on the basis of the pi-chi-calculus. This includes the automatic generation of placement and interconnect for the target system. Embedded frameworks for the execution of the pi-chi-calculus schedule in both software and hardware are presented. Additionally, the simulation of the schedule is supported. A verification tool is introduced which can determine whether information-flow in a partially reconfigurable system is secure. As an application example, we implement a dynamically reconfigurable design of the cryptographic algorithm PRESENT.