Result Details
Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems
Kaštil Jan, Ing., Ph.D., DCSY (FIT)
Kotásek Zdeněk, doc. Ing., CSc., DCSY (FIT), UTKO (FEEC)
In this paper, a methodology for reliability and availability analysis of fault tolerant architectures based on partial reconfiguration implemented into FPGA is presented. First, the introduction into the system reliability, Markov models and dependability parametres is given. Then, the priciples of methodology for generation of Markov model for duplex architecture with checkers are shown together with the evaluation of failure rate and repair rate of this architecture. Finally, it is demonstrated how the reliability and availability parameters are derived from this model for different configurations of architecture and faulty modules. The reliability analysis results are shown in the graphs.
reliability, dependability, Markov model, fault tolerant system, FPGA, reconfiguration, soft-error, duplex architecture
In this paper, a methodology for reliability and availability analysis of fault tolerant architectures based on partial reconfiguration implemented into FPGA is presented. First, the introduction into the system reliability, Markov models and dependability parametres is given. Then, the priciples of methodology for generation of Markov model for duplex architecture with checkers are shown together with the evaluation of failure rate and repair rate of this architecture. Finally, it is demonstrated how the reliability and availability parameters are derived from this model for different configurations of architecture and faulty modules. The reliability analysis results are shown in the graphs.
@inproceedings{BUT96988,
author="Martin {Straka} and Jan {Kaštil} and Zdeněk {Kotásek}",
title="Methodology for Reliability Analysis of FPGA-based Fault Tolerant Systems",
booktitle="CSE'2012 International Scientific Conference on Computer Science and Engineering",
year="2012",
pages="146--153",
publisher="The University of Technology Košice",
address="Košice",
isbn="978-80-8143-049-7"
}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
Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification, MŠMT, COST CZ (2011-2017), LD12036, start: 2012-03-01, end: 2015-11-30, completed
National Support for Project Reduced Certification Costs Using Trusted Multi-core Platforms, MŠMT, Společné technologické iniciativy, 7H10013, start: 2010-04-01, end: 2013-03-31, running
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