Datenbestand vom 13. Juni 2019
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
DER VERLAG IST IN DER ZEIT VOM 12.06.2019 BIS 23.06.2019 AUSCHLIESSLICH PER EMAIL ERREICHBAR.
aktualisiert am 13. Juni 2019
978-3-8439-0732-3, Reihe Informatik
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
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.