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

Direct link
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
URN: urn:nbn:se:liu:diva-16762ISRN: LiTH-ISY-EX--09/4080--SEOAI: diva2:173789
Nollstället, Linköpings Universitet, Linköping (Swedish)
Available from: 2009-02-19 Created: 2009-02-15 Last updated: 2009-02-19Bibliographically approved

Open Access in DiVA

fulltext(1188 kB)595 downloads
File information
File name FULLTEXT01.pdfFile size 1188 kBChecksum SHA-512
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: 595 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

Total: 269 hits
ReferencesLink to record
Permanent link

Direct link