Faculty of Information Technology, BUT

Publication Details

FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation

LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant Systems Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 244-251. ISBN 978-1-5386-7376-8.
Czech title
FT-EST Framework: Odhad spolehlivosti pro účely automatického návrhu systémů odolných proti poruchám
Type
conference paper
Language
english
Authors
Lojda Jakub, Ing. (DCSY FIT BUT)
Podivínský Jakub, Ing. (DCSY FIT BUT)
Čekan Ondřej, Ing. (DCSY FIT BUT)
Pánek Richard, Ing. (DCSY FIT BUT)
Kotásek Zdeněk, doc. Ing., CSc. (DCSY FIT BUT)
Keywords
Fault-Tolerant, Fault Tolerance Property Estimation, FT-EST, Verification, High-Level Synthesis, Redundant Data Type.
Abstract
The complexity of today's systems is growing along with the level of chip integration. This results in higher demand for reliability techniques; it also increases the difficulty of incorporating reliability in such systems. For this purpose, we are working on a method to automate reliability insertion; however, for this method, it is necessary to have feedback on the result. In this paper, one component of the automation flow enabling the estimation of the resulting reliability - Fault Tolerance ESTimation (FT-EST) framework - is presented along with an improvement for accelerating the time necessary to reach the estimation. For the purpose of evaluation, we are using our Redundant Data Types approach, which enables us to intentionally insert reliability in a particular operation. The estimation utilizes the concept of fault injection. The results indicate, that the concept of Redundant Data Types is functional, however, also suggest its future improvements (e.g. for the operation of subtraction).
Published
2018
Pages
244-251
Proceedings
Proceedings of the 2018 21st Euromicro Conference on Digital System Design
Conference
21st Euromicro Conference on Digital Systems Design, FIT ČVUT, Thákurova 9, 160 00 Praha 6, CZ
ISBN
978-1-5386-7376-8
Publisher
IEEE Computer Society
Place
Praha, CZ
DOI
BibTeX
@INPROCEEDINGS{FITPUB11707,
   author = "Jakub Lojda and Jakub Podiv\'{i}nsk\'{y} and Ond\v{r}ej \v{C}ekan and Richard P\'{a}nek and Zden\v{e}k Kot\'{a}sek",
   title = "FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation",
   pages = "244--251",
   booktitle = "Proceedings of the 2018 21st Euromicro Conference on Digital System Design",
   year = 2018,
   location = "Praha, CZ",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5386-7376-8",
   doi = "10.1109/DSD.2018.00053",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11707"
}
Back to top