In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be performed- in the paper the lowest level is pre-sented. The definition of dedicated language for the de-scription of possible communication faults is presented. The core generator is used to produce VHDL code describing the behaviour of the checker. 1. Instructions Fault-tolerance is an important system metric for many operating environments, from automotive to space explo-ration. The conventional technique for improving system reliability is through component replication, which usually comes at significant cost: increased design time, testing
This thesis focuses on fault tolerance which is kind of dependable computing implementation. It deal...
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily tolera...
Colloque avec actes et comité de lecture. internationale.International audienceSome distributed syst...
In this paper, a methodology for generating VHDL de-scriptions of hardware checkers is presented. It...
In the thesis, a methodology alternative to existing methods of digital systems design with increase...
The role of automatic formal protocol verifica- tion in hardware design is considered. Principles ar...
This paper describes an environment for fault injection based testing of protocols that implement fa...
Abstract—FPGA-based reconfigurable systems allow the online adaptation to dynamically changing runti...
As computers become faster and more powerful, distributed systems and their communication protocols ...
Modern Field Programmable Gate Arrays (FPGAs) posses small feature sizes, and have gained popularity...
This paper proposes a methodology for designing FPGAs able to self-detect the occurrence of hardware...
This paper deals with on-line error detection in digital circuits implemented in FPGAs. Error detect...
While techniques for offline testing of FPGAs, either manufacturing-oriented or application-oriented...
Abstract In modern VLSI, widespread deployment of on-line test technology has become crucial. In thi...
Nowadays, high-level modelling is becoming more and more popular to build new hardware designs, prov...
This thesis focuses on fault tolerance which is kind of dependable computing implementation. It deal...
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily tolera...
Colloque avec actes et comité de lecture. internationale.International audienceSome distributed syst...
In this paper, a methodology for generating VHDL de-scriptions of hardware checkers is presented. It...
In the thesis, a methodology alternative to existing methods of digital systems design with increase...
The role of automatic formal protocol verifica- tion in hardware design is considered. Principles ar...
This paper describes an environment for fault injection based testing of protocols that implement fa...
Abstract—FPGA-based reconfigurable systems allow the online adaptation to dynamically changing runti...
As computers become faster and more powerful, distributed systems and their communication protocols ...
Modern Field Programmable Gate Arrays (FPGAs) posses small feature sizes, and have gained popularity...
This paper proposes a methodology for designing FPGAs able to self-detect the occurrence of hardware...
This paper deals with on-line error detection in digital circuits implemented in FPGAs. Error detect...
While techniques for offline testing of FPGAs, either manufacturing-oriented or application-oriented...
Abstract In modern VLSI, widespread deployment of on-line test technology has become crucial. In thi...
Nowadays, high-level modelling is becoming more and more popular to build new hardware designs, prov...
This thesis focuses on fault tolerance which is kind of dependable computing implementation. It deal...
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily tolera...
Colloque avec actes et comité de lecture. internationale.International audienceSome distributed syst...