umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Säkerhetskritiska standarder och FPGA
Umeå University, Faculty of Science and Technology, Department of Applied Physics and Electronics.
2013 (Swedish)Independent thesis Basic level (university diploma), 10 credits / 15 HE creditsStudent thesisAlternative title
FPGA and safety critical standards (English)
Abstract [sv]

IEC 61508, ISO 26262, DO-254 och CENELEC EN 5012x är alla standarder för utveckling av säkerhetskritiska system. Dessa fyra är applicerbara på bilar upp till 3.5 ton (ISO 26262), flyg (DO-254), tåg (Cenelec EN 5012x) samt IEC 61508 vilket är en standard för flertalet industrigrenar.

När ett säkerhetskritiskt system skall implementeras i en FPGA så kan problem uppstå. Detta för att en FPGA ibland räknas till hårdvara men utvecklingen följer samma mönster som mjukvaruutveckling. Detta examensarbetes huvuduppgift är att klargöra hur de olika standarderna ser på FPGA utveckling samt verifiering med hjälp av utökad funktionell verifiering.

Uppsatsen är uppdelad i två delar. Den första delen behandlar de säkerhetskritiska standarderna. Vi kommer att gå igenom dessa för att få en översikt samt visa vilka skillnader likheter som finns. Hur ställer de sig till FPGA, hårdvara eller mjukvara.

Del två går igenom ett projekt i enlighet med IEC 61508, inklusive metoder för funktionell verifiering ingå. Dessa metoder är ABV (Assertion Based Verification) samt täckningsgrad för verifieringen. Har vi verifierat tillräckligt och vilka krav ställs på ett projekt enligt IEC 61508. I den här delen går vi även igenom hur de olika standarderna ser på FPGA:er samt några rekommendationer gällande FPGA utveckling och säkerhetskritiska system.

Place, publisher, year, edition, pages
2013.
Keyword [sv]
FPGA, ISO 26262, DO-254, IEC 61508, CENELEC EN 5012x, SystemVerilog
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:umu:diva-66929OAI: oai:DiVA.org:umu-66929DiVA: diva2:609855
External cooperation
Epsilon AB
Subject / course
Elektronik
Educational program
Bachelor of Science Programme in Computer and Electrical Engineering
Uppsok
Technology
Supervisors
Examiners
Available from: 2013-06-18 Created: 2013-03-07 Last updated: 2013-06-18Bibliographically approved

Open Access in DiVA

fulltext(1501 kB)343 downloads
File information
File name FULLTEXT01.pdfFile size 1501 kBChecksum SHA-512
9e72590df74572328e7a660f47e0e0586d59a31048001b51e29af64cdcfc6f1059a56f46c921bdb1bb83784e9e541f979165262c193abd2c079cf80c525a81c7
Type fulltextMimetype application/pdf

By organisation
Department of Applied Physics and Electronics
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 343 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 308 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf