Title: High Integrity FPGA Case Study – Anti-lock braking system

Author(s): University of York

Publication Event: Software Systems Engineering Initiative [SSEI] - Released documents

Publication Date: 2011-05-01

Resource URL: https://scsc.uk/r1051.pdf

Abstract:

Field Programmable Gate Arrays (FPGAs) are highly flexible programmable logic devices that are becoming increasingly popular for use in the safety critical domain. Task 8 of the SSEI has produced a number of different reports relating to safety critical development of FPGAs including an approach for fault detection and tracing, which focuses on the issue of alarm placements and VHDL style guidance, but these have not yet been brought together with examples for their practical application.