Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Development and evaluation of a framework for semi-automated formalization of automotive requirements.
Blekinge Tekniska Högskola, Fakulteten för teknikvetenskaper, Institutionen för tillämpad signalbehandling.
2015 (engelsk)Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
Abstract [en]

Quantity and intricacy of features implemented in vehicle have expanded rapidly over a past few years. Currently vision of autonomous vehicle is no longer a dream or SF movie, but instead a coming reality. In order to reach the better quality and high safety, advanced verification techniques are required. Simulink Design Verifier is a model checking tool based on formal verification, which can be effectively used to solve problems concerning error detection and testing at earlier stages of project. The transformation of requirements written in traditional form into Simulink Design Verifier objectives can be time consuming as well as requiring knowledge of system model and the verification tools.

In order to reduce time consumption and to guide a user through the system model and the verification tool, the semi-automated framework has been developed. An implementation of restricted English grammar patterns into Simulink objects supports description of patterns to engineers and reduces time consumption. The developed framework is flexible and intuitive hence can be a solution for other branches of industry, but further tests and verification would be required.

This thesis highlights the whole process of transformation system requirements written in natural language into Simulink Design Verifier objectives. The Fuel Level Display System model currently used by almost all Scania’s vehicles is analysed. Limitations and errors encountered during development process like a flexibility of Simulink Design Verifier to capture requirements and the patterns behaviour or ambiguity of system requirements are analysed and described in this thesis.

sted, utgiver, år, opplag, sider
2015.
Emneord [en]
matlab, simulink, requirements, simulink design verifier
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-11644OAI: oai:DiVA.org:bth-11644DiVA, id: diva2:903805
Fag / kurs
ET2566 Master's Thesis (120 credits) in Electrical Engineering with emphasis on Signal processing
Utdanningsprogram
ETASX Master of Science Programme in Electrical Engineering with emphasis on Signal Processing
Presentation
2015-06-26, E41, Gabriela Narutowicza 11/12, Gdansk, 09:00 (engelsk)
Veileder
Examiner
Tilgjengelig fra: 2016-04-12 Laget: 2016-02-16 Sist oppdatert: 2016-04-12bibliografisk kontrollert

Open Access i DiVA

fulltext(4133 kB)177 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 4133 kBChecksum SHA-512
d6f2e82decef5c90efbfcc28afe418ee4ca0b7d47a8437c2257dc7099a503ae03c64ec405d1ed6d55e22aa084114394ebda47e9f7084f8a4566e81a8a87db9f1
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Syrko, Ariel
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 177 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 237 treff
RefereraExporteraLink to record
Permanent link

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