"Herl'any" . . . "Design Methodology for High Reliable System"@en . . "This paper deals with design methodology of high reliable digital system based on modified duplex system. Our modified duplex system is based on two FPGAs, where every FPGA can be reconfigured when a fault is detected. Design implemented in each FPGAs is based on one of several methods how to ensure the self checking properties. Our design methodology reflects requirements on area overhead and value of dependability parameters. Our modified duplex system is compared with standard duplex system. Our dependability model and dependability calculations are used to quantify proposed solutions. Availability parameters have been calculated by dependability Markov models. The final reliable system is fault tolerant."@en . . "Design Methodology for High Reliable System"@en . "Kubal\u00EDk, Pavel" . "RIV/68407700:21230/06:03121486" . . . "Design Methodology for High Reliable System" . "This paper deals with design methodology of high reliable digital system based on modified duplex system. Our modified duplex system is based on two FPGAs, where every FPGA can be reconfigured when a fault is detected. Design implemented in each FPGAs is based on one of several methods how to ensure the self checking properties. Our design methodology reflects requirements on area overhead and value of dependability parameters. Our modified duplex system is compared with standard duplex system. Our dependability model and dependability calculations are used to quantify proposed solutions. Availability parameters have been calculated by dependability Markov models. The final reliable system is fault tolerant." . "6"^^ . "RIV/68407700:21230/06:03121486!RIV07-GA0-21230___" . "Nen\u00ED k dispozici"@cs . . "Technick\u00E1 univerzita v Ko\u0161iciach" . "Ko1ice" . . "Nen\u00ED k dispozici"@cs . . "21230" . "Kub\u00E1tov\u00E1, Hana" . . . "P(GA102/04/0737), Z(MSM6840770014)" . . . "Nen\u00ED k dispozici"@cs . . . "[4AFE13736A2B]" . . . . . "2"^^ . "Design Methodology for High Reliable System" . "470920" . "2"^^ . . "2006-09-20+02:00"^^ . "274 ; 279" . "80-8073-598-0" . "Proceedings of the Seventh International Scientific Conference on Electronic Computers and Informatics ECI 2006" . "TSC circuit, reliability, dependability, fault-tolerant, FPGA"@en . .