Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems

Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems

[ES] La utilización de sistemas empotrados en cada vez más ámbitos de aplicación está llevando a que su diseño deba enfrentarse a mayores requisitos de rendimiento, consumo de energía y área (PPA). Asimismo, su utilización en aplicaciones críticas provoca que deban cumplir con estrictos requisitos d...

Full description

Bibliographic Details
Main Author: Tuzov, Ilya
Other Authors: Andrés Martínez, David de
Format: Doctoral Thesis
Language:English
Published: Universitat Politècnica de València 2021
Subjects:
Lenguaje de descripción de hardware
Lógica programada
Compuertas lógicas
Confiabilidad evaluativa
Control de confianza
Sistemas embebidos
Dependability assessment
Fault Injection
SRAM-based FPGA
HDL models
Dependability Benchmarking
Design Space Exploration
DAVOS toolkit
VITAL models
ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES
Online Access:http://hdl.handle.net/10251/159883

Internet

http://hdl.handle.net/10251/159883

Similar Items