Estudio de la viabilidad de un sistema software de inyección de fallos para un microprocesador Cortex-M1 empotrado en FPGA

Este proyecto trata del estudio de la viabilidad de inyección de fallos programada en un sistema constituido por un microprocesador Cortex-M1 empotrado en una FPGA de Actel. En el proyecto se estudian los conceptos necesarios en cuanto a la arquitectura del microprocesador y de la placa de pruebas de Actel, así como de las herramientas de ayuda para diseñar e implementar el sistema empotrado (componentes hardware y software) y realizar la depuración del mismo. Además, aporta tutoriales de ayuda en pasos que pueden resultar difíciles o en los cuales no hay información suficiente. Los resultados de las pruebas realizadas muestran cómo habría que proceder para realizar una inyección de fallos y qué herramientas serían necesarias. ______________________________________________________________________________________________________________________This project studies the feasibility of performing fault injection in a microprocessor-based system that consists in aCortex-M1 core embedded in a FPGA from Actel. The project presents the necessary concepts regarding the architecture of the microprocessor and the evaluation FPGA board from Actel, as well as, the software tools used to design and implement the embedded system (hardware and software components) and to perform debugging. In addition, helpful tutorials are included in order to guide on steps that can be difficult or don’t have enough information. The results of the tests show how should proceed to make a fault injection and what tools would be needed.Ingeniería Industria