Publication Details

Methodology for Design of Highly Dependable Systems in FPGA

STRAKA Martin, KAŠTIL Jan and KOTÁSEK Zdeněk. Methodology for Design of Highly Dependable Systems in FPGA. In: International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010, pp. 186-193. ISBN 978-80-8086-164-3.
Czech title
Metodika pro návrh vysoce spolehlivého systému v FPGA
Type
conference paper
Language
english
Authors
Keywords

system design, fault tolerance, architecture, reconfiguration, FPGA, soft error, methodology

Abstract

In the paper, a survey of our research activities the goal of which is to develop a methodology allowing to design highly dependable system in FPGA is described. First, our experiences with partial dynamic reconfiguration in FPGA and application of partial reconfiguration as advanced solution for constructing of different types of fault tolerant architectures are described. Secondly, the main principles of methodology and first experiments with real fault tolerant designs based on partial dynamic reconfiguration implemented into Virtex5 and latest Virtex6 FPGAs are demonstrated.

Annotation

In the paper, a survey of our research activities the goal of which is to develop a methodology allowing to design highly dependable system in FPGA is described. First, our experiences with partial dynamic reconfiguration in FPGA and application of partial reconfiguration as advanced solution for constructing of different types of fault tolerant architectures are described. Secondly, the main principles of methodology and first experiments with real fault tolerant designs based on partial dynamic reconfiguration implemented into Virtex5 and latest Virtex6 FPGAs are demonstrated.

Published
2010
Pages
186-193
Proceedings
International Scientific Conference on Computer Science and Engineering
Conference
International Scientific Conference on Computer Science and Engineering, Stará Ľubovňa, SK
ISBN
978-80-8086-164-3
Publisher
The University of Technology Košice
Place
Košice, SK
BibTeX
@INPROCEEDINGS{FITPUB9245,
   author = "Martin Straka and Jan Ka\v{s}til and Zden\v{e}k Kot\'{a}sek",
   title = "Methodology for Design of Highly Dependable Systems in FPGA",
   pages = "186--193",
   booktitle = "International Scientific Conference on Computer Science and Engineering",
   year = 2010,
   location = "Ko\v{s}ice, SK",
   publisher = "The University of Technology Ko\v{s}ice",
   ISBN = "978-80-8086-164-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9245"
}
Back to top