Publication result detail

The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs

PODIVÍNSKÝ, J.; KOTÁSEK, Z.

Original Title

The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs

English Title

The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

The aim of this paper is to present a new platform for evaluating impact of faults on electro-mechanical systems based on SRAM-based FPGAs. Functional verification together with the fault injector serve as a tool for the fault tolerance evaluation. The article demonstrates the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. Our system consists of mechanical robot and its electronic controller implemented into FPGA. The experimental results gained from the verification process are also presented and discussed in the paper.

English abstract

The aim of this paper is to present a new platform for evaluating impact of faults on electro-mechanical systems based on SRAM-based FPGAs. Functional verification together with the fault injector serve as a tool for the fault tolerance evaluation. The article demonstrates the use of the verification environment for evaluating impacts of faults in electro-mechanical systems. Our system consists of mechanical robot and its electronic controller implemented into FPGA. The experimental results gained from the verification process are also presented and discussed in the paper.

Keywords

FPGA
functional verification
robot controller
fault tolerance
fault injection

Key words in English

FPGA
functional verification
robot controller
fault tolerance
fault injection

Authors

PODIVÍNSKÝ, J.; KOTÁSEK, Z.

RIV year

2018

Released

29.06.2017

Publisher

Faculty of Information Technology, Czech Technical University

Location

Roztoky u Prahy

ISBN

978-80-01-06178-7

Book

Proceedings of the 5th Prague Embedded Systems Workshop

Pages from

81

Pages to

82

Pages count

2

URL

https://www.fit.vut.cz/research/publication/11452/

BibTex

@inproceedings{BUT144443,
  author="Jakub {Podivínský} and Zdeněk {Kotásek}",
  title="The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs",
  booktitle="Proceedings of the 5th Prague Embedded Systems Workshop",
  year="2017",
  pages="81--82",
  publisher="Faculty of Information Technology, Czech Technical University",
  address="Roztoky u Prahy",
  isbn="978-80-01-06178-7",
  url="https://www.fit.vut.cz/research/publication/11452/"
}

Documents

PESW_2017_podivinsky