The Fault-tolerant Single-FPGA Systems with a Self-repair Reconfiguration Controller
Panek, Richard, Lojda, Jakub
Published in 2023 IEEE 14th Latin America Symposium on Circuits and Systems (LASCAS) (27.02.2023)
Published in 2023 IEEE 14th Latin America Symposium on Circuits and Systems (LASCAS) (27.02.2023)
Get full text
Conference Proceeding
Automatically-Designed Fault-Tolerant Systems: Failed Partitions Recovery
Lojda, Jakub, Panek, Richard, Kotasek, Zdenek
Published in 2021 IEEE East-West Design & Test Symposium (EWDTS) (10.09.2021)
Published in 2021 IEEE East-West Design & Test Symposium (EWDTS) (10.09.2021)
Get full text
Conference Proceeding
Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs
Lojda, Jakub, Panek, Richard, Kotasek, Zdenek
Published in 2021 24th Euromicro Conference on Digital System Design (DSD) (01.09.2021)
Published in 2021 24th Euromicro Conference on Digital System Design (DSD) (01.09.2021)
Get full text
Conference Proceeding
Reliability Analysis of the FPGA Control System with Reconfiguration Hardening
Panek, Richard, Lojda, Jakub, Podivinsky, Jakub, Kotasek, Zdenek
Published in 2021 24th Euromicro Conference on Digital System Design (DSD) (01.09.2021)
Published in 2021 24th Euromicro Conference on Digital System Design (DSD) (01.09.2021)
Get full text
Conference Proceeding
Input and Output Generation for the Verification of ALU: A Use Case
Cekan, Ondrej, Panek, Richard, Kotasek, Zdenek
Published in 2018 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2018)
Published in 2018 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2018)
Get full text
Conference Proceeding
Reliability Analysis of Reconfiguration Controller for FPGA-Based Fault Tolerant Systems: Case Study
Panek, Richard, Lojda, Jakub, Podivinsky, Jakub, Kotasek, Zdenek
Published in 2020 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) (01.08.2020)
Published in 2020 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) (01.08.2020)
Get full text
Conference Proceeding
Testing Embedded Software Through Fault Injection: Case Study on Smart Lock
Lojda, Jakub, Panek, Richard, Podivinsky, Jakub, Cekan, Ondrej, Krcma, Martin, Kotasek, Zdenek
Published in 2021 IEEE 22nd Latin American Test Symposium (LATS) (27.10.2021)
Published in 2021 IEEE 22nd Latin American Test Symposium (LATS) (27.10.2021)
Get full text
Conference Proceeding
FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation
Lojda, Jakub, Podivinsky, Jakub, Cekan, Ondrej, Panek, Richard, Kotasek, Zdenek
Published in 2018 21st Euromicro Conference on Digital System Design (DSD) (01.08.2018)
Published in 2018 21st Euromicro Conference on Digital System Design (DSD) (01.08.2018)
Get full text
Conference Proceeding
Hardening of Smart Electronic Lock Software against Random and Deliberate Faults
Lojda, Jakub, Panek, Richard, Podivinsky, Jakub, Cekan, Ondrej, Krcma, Martin, Kotasek, Zdenek
Published in 2020 23rd Euromicro Conference on Digital System Design (DSD) (01.08.2020)
Published in 2020 23rd Euromicro Conference on Digital System Design (DSD) (01.08.2020)
Get full text
Conference Proceeding
Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock
Lojda, Jakub, Panek, Richard, Podivinsky, Jakub, Cekan, Ondrej, Krcma, Martin, Kotasek, Zdenek
Published in 2020 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2020)
Published in 2020 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2020)
Get full text
Conference Proceeding
Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem
Lojda, Jakub, Podivinsky, Jakub, Cekan, Ondrej, Panek, Richard, Krcma, Martin, Kotasek, Zdenek
Published in 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) (01.04.2020)
Published in 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) (01.04.2020)
Get full text
Conference Proceeding
Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation
Panek, Richard, Lojda, Jakub, Podivinsky, Jakub, Kotasek, Zdenek
Published in 2018 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2018)
Published in 2018 IEEE East-West Design & Test Symposium (EWDTS) (01.09.2018)
Get full text
Conference Proceeding
Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks
Podivinsky, Jakub, Lojda, Jakub, Panek, Richard, Cekan, Ondrej, Krcma, Martin, Kotasek, Zdenek
Published in 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS) (01.02.2020)
Published in 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS) (01.02.2020)
Get full text
Conference Proceeding
Reliability Analysis and Improvement of FPGA-Based Robot Controller
Podivinsky, Jakub, Lojda, Jakub, Cekan, Ondrej, Panek, Richard, Kotasek, Zdenek
Published in 2017 Euromicro Conference on Digital System Design (DSD) (01.08.2017)
Published in 2017 Euromicro Conference on Digital System Design (DSD) (01.08.2017)
Get full text
Conference Proceeding
Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards
Cekan, Ondrej, Podivinsky, Jakub, Lojda, Jakub, Panek, Richard, Krcma, Martin, Kotasek, Zdenek
Published in 2019 22nd Euromicro Conference on Digital System Design (DSD) (01.08.2019)
Published in 2019 22nd Euromicro Conference on Digital System Design (DSD) (01.08.2019)
Get full text
Conference Proceeding