Detail publikace

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications

Originální název

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications

Anglický název

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications

Jazyk

en

Originální abstrakt

The aim of this paper is to present a new platform for estimating the fault-tolerance quality of electro-mechanical applications based on FPGAs. We demonstrate one working example of such EM application that was evaluated using our platform: the mechanical robot and its electronic controller in an FPGA. Different building blocks of the electronic robot controller allow to model different effects of faults on the whole mission of the robot (searching a path in a maze). In the experiments, the mechanical robot is simulated in the simulation environment, where the effects of faults injected into its controller can be seen. In this way, it is possible to differentiate between the fault that causes the failure of the system and the fault that only decreases the performance. Further extensions of the platform focus on the interconnection of the platform with the functional verification environment working directly in FPGA that allows automation and speed-up of checking the correctness of the system after the injection of faults.

Anglický abstrakt

The aim of this paper is to present a new platform for estimating the fault-tolerance quality of electro-mechanical applications based on FPGAs. We demonstrate one working example of such EM application that was evaluated using our platform: the mechanical robot and its electronic controller in an FPGA. Different building blocks of the electronic robot controller allow to model different effects of faults on the whole mission of the robot (searching a path in a maze). In the experiments, the mechanical robot is simulated in the simulation environment, where the effects of faults injected into its controller can be seen. In this way, it is possible to differentiate between the fault that causes the failure of the system and the fault that only decreases the performance. Further extensions of the platform focus on the interconnection of the platform with the functional verification environment working directly in FPGA that allows automation and speed-up of checking the correctness of the system after the injection of faults.

BibTex


@inproceedings{BUT111616,
  author="Jakub {Podivínský} and Ondřej {Čekan} and Marcela {Zachariášová} and Zdeněk {Kotásek}",
  title="The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-mechanical Applications",
  annote="The aim of this paper is to present a new platform for estimating the
fault-tolerance quality of electro-mechanical applications based on FPGAs. We
demonstrate one working example of such EM application that was evaluated using
our platform: the mechanical robot and its electronic controller in an FPGA.
Different building blocks of the electronic robot controller allow to model
different effects of faults on the whole mission of the robot (searching a path
in a maze). In the experiments, the mechanical robot is simulated in the
simulation environment, where the effects of faults injected into its controller
can be seen. In this way, it is possible to differentiate between the fault that
causes the failure of the system and the fault that only decreases the
performance. Further extensions of the platform focus on the interconnection of
the platform with the functional verification environment working directly in
FPGA that allows automation and speed-up of checking the correctness of the
system after the injection of faults.",
  address="IEEE Computer Society",
  booktitle="17th Euromicro Conference on Digital Systems Design",
  chapter="111616",
  doi="10.1109/DSD.2014.57",
  edition="NEUVEDEN",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2014",
  month="august",
  pages="312--319",
  publisher="IEEE Computer Society",
  type="conference paper"
}