https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Semi-Automated Safety Analysis for Field Programmable Gate Arrays
University of York.
University of York.ORCID-id: 0000-0003-2415-8219
2009 (Engelska)Ingår i: Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, 2009, s. 166-175Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

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.

Ort, förlag, år, upplaga, sidor
2009. s. 166-175
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23801DOI: 10.1109/ECBS.2009.27ISI: 000266039900018Scopus ID: 2-s2.0-67650266699ISBN: 9780769536026 (tryckt)OAI: oai:DiVA.org:mdh-23801DiVA, id: diva2:682469
Konferens
16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009; San Francisco, CA; United States; 13 April 2009 through 16 April 2009
Tillgänglig från: 2013-12-27 Skapad: 2013-12-19 Senast uppdaterad: 2014-05-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Bate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Conmy, PhilippaBate, Iain
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 20 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf