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
Optimering av testning av säkerhetskritiska funktioner
KTH, School of Electrical Engineering (EES), Automatic Control.
2007 (Swedish)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [sv]

Inom industrin används olika testmetoder för att uppnå hög kvalitet i mjukvarukontrollerade system. Kvalitetskraven är särskilt höga för säkerhetskritiska system t.ex. styr- och reglersystem i fordon. I det här examensarbetet används två analysmetoder (Fault Mode and Effects Analysis och Fault Tree Analysis) för att ta fram ett nytt säkerhetstest för ett broms- och växlingssystem som Scania tillverkar. Det studeras även hur formella metoder kan användas för att ytterligare öka kvalitet ochh tillförlitlighet. Modellkontroll  med NuSMV och Computational Tree Logic (CTL) appliceras på viss funktionalitet av de studerade systemen och en formell verifiering av att funktionaliteten uppfyller specifikationen utförs.

Abstract [en]

In the industry various testing methods are used to achieve high quality in software controlled systems. The demands on quality are especially high for safety critical systems, for instance control systems in vehicles. In this thesis two analysis methods (Fault Mode and Effects Analysis and Fault Tree Analysis) are used to develop a new safety test for a brake and gearbox control system made by Scania. It is also analyzed how formal development methods can be used to further increase quality and reliability. Model checking using NuSMV and Computational Tree Logic (CTL) is applied to a part of the studied systems and it is formally verified that the implementation fulfills the specification.

Place, publisher, year, edition, pages
2007. , 68 p.
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-106233OAI: oai:DiVA.org:kth-106233DiVA: diva2:573391
Subject / course
Automatic Control
Educational program
Master of Science in Engineering
Uppsok
Technology
Examiners
Available from: 2012-12-03 Created: 2012-11-30 Last updated: 2012-12-03Bibliographically approved

Open Access in DiVA

fulltext(2213 kB)31 downloads
File information
File name FULLTEXT01.pdfFile size 2213 kBChecksum SHA-512
3b473cda5f0e2ce93d7e9a39a4403bbd71b41964bace4f0d392c1431d488728856f37efe0ec374eeb0ff25f458a53f44fd3a66df42b992c2321f4b2b94755c3d
Type fulltextMimetype application/pdf

By organisation
Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 31 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: 47 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