Two Novel Approaches to Online Partial Bitstream Relocation in a Dynamically Reconfigurable System

2007 ◽  
Author(s):  
S. Corbetta ◽  
F. Ferrandi ◽  
M. Morandi ◽  
M. Novati ◽  
M.D. Santambrogio ◽  
...  
Keyword(s):  
Dynamically Reconfigurable ◽  
Reconfigurable System ◽  
Novel Approaches

scholarly journals Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

2010 ◽  
Vol 2010 ◽  
pp. 1-11 ◽  
Author(s):  
Stephanie Drzevitzky ◽  
Uwe Kastens ◽  
Marco Platzner
Keyword(s):  
Software Security ◽  
Reconfigurable Hardware ◽  
Networked Systems ◽  
Equivalence Checking ◽  
Dynamically Reconfigurable ◽  
Prototype Tool ◽  
Reconfigurable System ◽  
Novel Approach ◽  
Verification Problem ◽  
Online Verification

Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in networked systems. The capability to load hardware modules at runtime provides these systems with an unparalleled degree of adaptivity but at the same time poses new challenges for security and safety. In this paper, we elaborate on the presentation of proof carrying hardware (PCH) as a novel approach to reconfigurable system security. PCH takes a key concept from software security, known as proof-carrying code, into the reconfigurable hardware domain. We outline the PCH concept and discuss runtime combinational equivalence checking as a first online verification problem applying the concept. We present a prototype tool flow and experimental results demonstrating the feasibility and potential of the PCH approach.

Building a dynamically reconfigurable system through a high development flow

2015 ◽  
Author(s):  
David De La Fuente ◽  
Jesus Barba ◽  
Xerach Pena ◽  
Juan Carlos Lopez ◽  
Pablo Penil ◽  
...  
Keyword(s):  
Dynamically Reconfigurable ◽  
Reconfigurable System

Research on Hardware-Software Partitioning Method for Dynamically Reconfigurable Embedded System

2012 ◽  
Vol 198-199 ◽  
pp. 606-610
Author(s):  
Xin Zhao ◽  
Lan Ying Li ◽  
Ming Gao
Keyword(s):  
Embedded System ◽  
System Model ◽  
Ant Algorithm ◽  
Task Graph ◽  
List Scheduling ◽  
Dynamically Reconfigurable ◽  
System A ◽  
Application Model ◽  
Reconfigurable System ◽  
Software Partitioning

According to the need of reconfigurable system’s designing, this paper presents a method applied to hardware-software partitioning for dynamically reconfigurable embedded system. A model of dynamically reconfigurable embedded system is built to describe its task; then a merging algorithm of genetic algorithm and ant algorithm is adopt to get results of hardware-software partitioning, according to the system model given and application model described by task graph. Priority-based list scheduling and Configuration-prefetching strategy are used to evaluate these results. Experimental results show that the algorithm in this paper could map the task graphs to reconfigurable system efficiently both in time and space, and have higher performance compared with other algorithms.

Sign in / Sign up

Export Citation Format

Share Document