Conference paper

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.
Publication language:czech
Original title:Automatizace návrhu spolehlivých systémů a její dílčí komponenty
Title (en):Fault Tolerant System Design Automation and Its Components
Pages:5-8
Proceedings:Počítačové architektury & diagnostika 2018
Conference:Počítačové architektury a diagnostika 2018
Place:Stachy, CZ
Year:2018
ISBN:978-80-261-0814-6
Publisher:University of West Bohemia in Pilsen
Keywords
Design Automation, HLS, High-Level Synthesis, Fault Tolerance Estimation, Fault Tolerant System.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11760}
}

Your IPv4 address: 3.226.251.81