ISBN 9783843907323

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.