Result Details

FPGA-based Fault Tolerant Architectures and Their Dependability Analysis

STRAKA, M.; KAŠTIL, J.; KOTÁSEK, Z. FPGA-based Fault Tolerant Architectures and Their Dependability Analysis. MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2012. p. 1 (1 s.).
Type
conference paper
Language
English
Authors
Straka Martin, Ing., Ph.D., DIFS (FIT), DCGM (FIT)
Kaštil Jan, Ing., Ph.D., DCSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
Abstract

In this presentation, a dependability analysis of fault tolerant architectures implemented into the SRAM-based FPGA with reconfiguration controller are presented. The fault tolerant architectures are based on the redundancy of functional units associated with a concurrent error detection technique which uses the principles of PDR as a recovery mechanism from a fault occurrence caused by Single Event Upsets (SEU). Architectures are tested by injecting soft errors into partial bitstreams in FPGA by an SEU injector and the faults coverage of this architecture is obtained. From faults coverage, the failure rate and repair rate are evaluated. Then, Markov dependability models for fault tolerant architectures are created and it is demonstrated how the reliability and availability parameters can be derived from this model for different configurations of architectures. The presentation will be based mainly on the paper, which was presented at the 15th EUROMICRO DSD 2012.

Keywords

reliability, dependability, FPGA

Annotation

In this presentation, a dependability analysis of fault tolerant architectures implemented into the SRAM-based FPGA with reconfiguration controller are presented. The fault tolerant architectures are based on the redundancy of functional units associated with a concurrent error detection technique which uses the principles of PDR as a recovery mechanism from a fault occurrence caused by Single Event Upsets (SEU). Architectures are tested by injecting soft errors into partial bitstreams in FPGA by an SEU injector and the faults coverage of this architecture is obtained. From faults coverage, the failure rate and repair rate are evaluated. Then, Markov dependability models for fault tolerant architectures are created and it is demonstrated how the reliability and availability parameters can be derived from this model for different configurations of architectures. The presentation will be based mainly on the paper, which was presented at the 15th EUROMICRO DSD 2012.

Published
2012
Pages
1–1
Proceedings
MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Publisher
Faculty of Informatics MU
Place
Brno
BibTeX
@inproceedings{BUT192863,
  author="Martin {Straka} and Jan {Kaštil} and Zdeněk {Kotásek}",
  title="FPGA-based Fault Tolerant Architectures and Their Dependability Analysis",
  booktitle="MEMICS'12 -- 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2012",
  pages="1--1",
  publisher="Faculty of Informatics MU",
  address="Brno"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
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
Research groups
Departments
Back to top