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

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.

2005 ◽  
Vol 22 (5) ◽  
pp. 452-460 ◽  
Author(s):  
J. Resano ◽  
D. Mozos ◽  
D. Verkest ◽  
F. Catthoor

2017 ◽  
Vol 21 (2) ◽  
pp. 454-473 ◽  
Author(s):  
Arnon Sturm ◽  
Daniel Gross ◽  
Jian Wang ◽  
Eric Yu

Purpose The purpose of this paper is to report on research that aims to make knowledge, and in particular know-how, more easily accessible to both academic and industrial communities, as well as to the general public. The paper proposes a novel approach to map out know-how information, so all knowledge stakeholders are able to contribute to the knowledge and expertise accumulation, as well as using that knowledge for research and applying expertise to address problems. Design/methodology/approach This research followed a design science approach in which mapping of the know-how information was done by the research team and then tested with graduate students. During this research, the mapping approach was continuously evaluated and refined, and mapping guidelines and a prototype tool were developed. Findings Following an evaluation with graduate students, it was found that the know-how maps produced were easy to follow, allowed continuous evolution, facilitated easy modification through provided modularity capabilities, further supported reasoning about know-how and overall provided adequate expressiveness. Furthermore, we applied the approach with various domains and found that it was a good fit for its purpose across different knowledge domains. Practical implications This paper argues that mapping out know-how within research and industry communities can further improve resource (knowledge) utilization, reduce the phenomena of “re-inventing the wheel” and further create linkage across communities. Originality/value With the qualities mentioned above, know-how maps can both ease and support the increase of access to expert knowledge to various communities, and thus, promote re-use and expansion of knowledge for various purposes. Having an explicit representation of know-how further encourages innovation, as knowledge from various domains can be mapped, searched and reasoned, and gaps can be identified and filled.


Author(s):  
Hiroshi Nakada ◽  
Kiyoshi Oguri ◽  
Norbert Imlig ◽  
Minoru Inamori ◽  
Ryusuke Koniski ◽  
...  

2009 ◽  
Vol 2009 ◽  
pp. 1-9 ◽  
Author(s):  
Christophe Bobda ◽  
Kevin Cheng ◽  
Felix Mühlbauer ◽  
Klaus Drechsler ◽  
Jan Schulte ◽  
...  

We present a methodology based on self-organization to manage resources in networked embedded systems based on reconfigurable hardware. Two points are detailed in this paper, the monitoring system used to analyse the system and the Local Marketplaces Global Symbiosis (LMGS) concept defined for self-organization of dynamically reconfigurable nodes.


Sign in / Sign up

Export Citation Format

Share Document