Publication Details

Methodology for Design of Highly Dependable Systems in FPGA

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. Methodology for Design of Highly Dependable Systems in FPGA. International Scientific Conference on Computer Science and Engineering. Košice: The University of Technology Košice, 2010. p. 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
Straka Martin, Ing., Ph.D.
Kaštil Jan, Ing., Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
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
ISBN
978-80-8086-164-3
Publisher
The University of Technology Košice
Place
Košice
BibTeX
@inproceedings{BUT35527,
  author="Martin {Straka} and Jan {Kaštil} and Zdeněk {Kotásek}",
  title="Methodology for Design of Highly Dependable Systems in FPGA",
  booktitle="International Scientific Conference on Computer Science and Engineering",
  year="2010",
  pages="186--193",
  publisher="The University of Technology Košice",
  address="Košice",
  isbn="978-80-8086-164-3"
}
Back to top