Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Straka Martin, Ing., Ph.D., UPSY (FIT)
Kaštil Jan, Ing., Ph.D., UIFS (FIT), UPSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., UPSY (FIT), UTKO (FEKT)
Abstrakt

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.

Klíčová slova

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

Rok
2010
Strany
186–193
Sborník
International Scientific Conference on Computer Science and Engineering
Konference
International Scientific Conference on Computer Science and Engineering
ISBN
978-80-8086-164-3
Vydavatel
The University of Technology Košice
Místo
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"
}
Projekty
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Zvyšování spolehlivost a provozuschopnosti v obvodech SoC, GAČR, Standardní projekty, GA102/09/1668, zahájení: 2009-01-01, ukončení: 2011-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru