liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Adaptable rule checking tools for HDL
Linköping University, Department of Electrical Engineering.
2009 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Today’s electronics in aviation (avionics) are more complex than ever before. With higher requirements on safety and reliability and with new SoC (System on Chip) technology, the validation and verification of designs meet new challenges. In commercial and military aircraft there are many safety-critical systems that need to be reliable. The consequences of a failure of a safety-critical system onboard a civil or military aircraft are immeasurably more serious than a glitch or a bit-flip in a consumer appliance or Internet service delivery. If possible hazards are found early in the design process, a lot of work can be saved later on. Certain structures in the code are prone to produce glitchy logic and timing problems and should be avoided. This thesis will strengthen Saab Avitronics knowledge of adaptable rule checking tools for HDL, with a market analysis of the tools available. Moreover will it evaluate two of the most suitable tools and finally it will describe some of the design issues that exist when coding safety-critical systems. Finally it is concluded that the introduction of static rule checking tools will help the validator to find dangerous constructs in the code. However, it will not be possible to fully automate rule checking for safety-critical systems, because of the high requirements on reliability.

Place, publisher, year, edition, pages
2009. , 81 p.
Keyword [en]
Lint, rule checking, safety-critical, VHDL
National Category
Other Electrical Engineering, Electronic Engineering, Information Engineering Computer Engineering
Identifiers
URN: urn:nbn:se:liu:diva-16762ISRN: LiTH-ISY-EX--09/4080--SEOAI: oai:DiVA.org:liu-16762DiVA: diva2:173789
Presentation
Nollstället, Linköpings Universitet, Linköping (Swedish)
Uppsok
teknik
Supervisors
Examiners
Available from: 2009-02-19 Created: 2009-02-15 Last updated: 2009-02-19Bibliographically approved

Open Access in DiVA

fulltext(1188 kB)686 downloads
File information
File name FULLTEXT01.pdfFile size 1188 kBChecksum SHA-512
04a55688a5968834eaf7c3c4a64dbf8d8ad152ad0793ac6442cea8a591f71d4be866b34630f4361a65cb940a3c3dae1a7827713f5bfaab9de520512fa349113b
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lord, Mikael
By organisation
Department of Electrical Engineering
Other Electrical Engineering, Electronic Engineering, Information EngineeringComputer Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 686 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: 288 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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