TU Darmstadt / ULB / TUbiblio

Tiny-Pi: A Novel Formal Method for Specification, Analysis, and Verification of Dynamic Partial Reconfiguration Processes

Seffrin, André ; Biedermann, Alexander ; Huss, Sorin (2010):
Tiny-Pi: A Novel Formal Method for Specification, Analysis, and Verification of Dynamic Partial Reconfiguration Processes.
In: 13th IEEE Forum on Specification and Design Languages (FDL 2010),
[Conference or Workshop Item]

Abstract

On FPGA-platforms, the feature of dynamic partial recon?guration offers a wide range of applications. We propose a new formal method for design, analysis, and veri?cation of the recon?guration process on such devices. The ?-calculus, also known as the calculus of mobile processes, is a type of process algebra typically used to describe dynamic communicating processes. We propose the ?-calculus as a foundation to model dynamic partial recon?guration of hardware modules. A subset of this calculus that we call tiny-? can be executed in resource-restricted, embedded environments which feature recon?guration properties. As a proof-of-concept, we present a small virtual machine implementation for tiny-?. We have also implemented a compilation ?ow from a textual description of tiny-? speci?cations into executable bytecode.

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Seffrin, André ; Biedermann, Alexander ; Huss, Sorin
Title: Tiny-Pi: A Novel Formal Method for Specification, Analysis, and Verification of Dynamic Partial Reconfiguration Processes
Language: ["languages_typename_1" not defined]
Abstract:

On FPGA-platforms, the feature of dynamic partial recon?guration offers a wide range of applications. We propose a new formal method for design, analysis, and veri?cation of the recon?guration process on such devices. The ?-calculus, also known as the calculus of mobile processes, is a type of process algebra typically used to describe dynamic communicating processes. We propose the ?-calculus as a foundation to model dynamic partial recon?guration of hardware modules. A subset of this calculus that we call tiny-? can be executed in resource-restricted, embedded environments which feature recon?guration properties. As a proof-of-concept, we present a small virtual machine implementation for tiny-?. We have also implemented a compilation ?ow from a textual description of tiny-? speci?cations into executable bytecode.

Title of Book: 13th IEEE Forum on Specification and Design Languages (FDL 2010)
Uncontrolled Keywords: Secure Things
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 31 Dec 2016 00:15
Identification Number: ISS:Seffrin:2010:TinyPiANovel:182
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details