Result 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.
Type
conference paper
Language
English
Authors
Straka Martin, Ing., Ph.D., DCSY (FIT)
Kaštil Jan, Ing., Ph.D., DIFS (FIT), DCSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
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.

Keywords

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

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
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"
}
Projects
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
SoC circuits reliability and availability improvement, GACR, Standardní projekty, GA102/09/1668, start: 2009-01-01, end: 2011-12-31, completed
Research groups
Departments
Back to top