By the same authors

Semi-Automated Safety Analysis for Field Programmable Gate Arrays

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Department/unit(s)

Publication details

Title of host publication16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS
DatePublished - 2009
Pages166-175
Number of pages10
PublisherIEEE COMPUTER SOC
Place of PublicationLOS ALAMITOS
Original languageEnglish
ISBN (Print)978-0-7695-3602-6

Abstract

Field Programmable Gate Arrays (FPGAs) are becoming increasingly popular for use in High-Integrity Safety Related and Safety Critical Systems. FPGAs offer a number of potential benefits over traditional microprocessor based software systems, such as predictable timing performance, the ability to perform highly parallel calculations, predictable emulation of obsolete components, and (in the case of SRAM based FPGAs) the ability to reconfigure to avoid hardware failures. However these abilities do not come for free and often designers are forced to make pessimistic safety and reliability assumptions leading to conservative overall slystem designs. In this paper a modular, and hence more scalable approach, to performing FPGA safety analysis is presented

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations