Faculty of Information Technology, BUT

Publication Details

Automatizace návrhu spolehlivých systémů a její dílčí komponenty

LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 5-8. ISBN 978-80-261-0814-6.
English title
Fault Tolerant System Design Automation and Its Components
Type
conference paper
Language
czech
Authors
Keywords
Design Automation, HLS, High-Level Synthesis, Fault Tolerance Estimation, Fault Tolerant System.
Abstract
Higher level of chip-level integration allows to implement more complex systems, however, it brings a higher risk of fault manifestation. It is possible to minimize the risk by the usage of fault tolerance techniques and fault masking. The higher complexity, however, makes the task of incorporating such techniques a great challenge. The goal of our research is to develop a method to help automate the process of the transformation of a non-dependable system to its fault tolerant version. We focus on an arbitrary level of abstraction. This paper is focusing on two important processes of the automation method: The redundancy insertion and the result evaluation. The main part of the paper is focusing on presentation of the results obtained through the last year of our research.
Published
2018
Pages
5-8
Proceedings
Počítačové architektury & diagnostika 2018
Conference
Počítačové architektury a diagnostika 2018, Stachy, CZ
ISBN
978-80-261-0814-6
Publisher
University of West Bohemia in Pilsen
Place
Stachy, CZ
BibTeX
@INPROCEEDINGS{FITPUB11760,
   author = "Jakub Lojda and Zden\v{e}k Kot\'{a}sek",
   title = "Automatizace n\'{a}vrhu spolehliv\'{y}ch syst\'{e}m\r{u} a jej\'{i} d\'{i}l\v{c}\'{i} komponenty",
   pages = "5--8",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architektury \& diagnostika 2018",
   year = 2018,
   location = "Stachy, CZ",
   publisher = "University of West Bohemia in Pilsen",
   ISBN = "978-80-261-0814-6",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/11760"
}
Back to top