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
Verifying arbitrary safety-related rules using Web Ontology Language
KTH, School of Electrical Engineering and Computer Science (EECS).
2019 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Verifiera godtyckliga säkerhetsrelaterade regler med hjälp av Web Ontology Language (Swedish)
Abstract [en]

This project work has been undertaken in order to explore the possibility of verifying arbitrary safety-related rules in the context of heavy vehicles subject to ISO26262 functional safety standard of vehicle correctness using semantic web reasoning techniques that are in Linked Data format. The aim is to further use this as a method to claim functional safety for different configuration of vehicles, in a highly automated way. The ability of current system of tools to perform the verification involves manual work and is difficult to perform because of the size and complexity of the data.

The entire work was studied and implemented within Scania, where in the integrated data from system safety department, in the Linked Data format was used for the implementation of the tool. The project work was proceeded in two stages. The initial stage of the project was surveying the existing reasoners and their applications to different problems in verification of rules, on the basis of different comparison criteria’s and benchmark results. The second stage of project involved determining a suitable way to represent the rules, in order to verify them against the available data.

Abstract [sv]

Detta examensarbete har genomförts för att undersöka möjligheten att verifiera godtyckliga säkerhetsrelaterade regler i samband med tunga fordon som omfattas av ISO 26262 funktionell standard för fordonsäkerhet, med hjälp av semantiska webresoneringsmetoder i länkat dataformat. Syftet är att använda detta vidare som en högt automatiserad metod för funktionell säkerhet för olika fordonskonfigurationer. Det nuvarande systemet med verktyg för att utföra verifieringen innebär manuellt arbete och är svårt att använda på grund av datas storlek och komplexitet.

Examensarbetet utfördes inom Scania, där data tillhandahölls av systemsäkerhetsavdelningen. För implementering av verktyget användes länkade data. Arbetets första steg var att kartlägga de befintliga resonerarna och deras tillämpningar på olika problem vid kontrollen av regler baserade på olika jämförelsekriterier och benchmarkresultat. Den andra etappen av projektet var att bestämma ett lämpligt sätt att representera reglerna för att verifiera dem mot tillgängliga data.

Place, publisher, year, edition, pages
2019. , p. 47
Series
TRITA-EECS-EX ; 2019:83
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:kth:diva-251652OAI: oai:DiVA.org:kth-251652DiVA, id: diva2:1316312
External cooperation
Scania
Supervisors
Examiners
Available from: 2019-05-24 Created: 2019-05-17 Last updated: 2019-05-24Bibliographically approved

Open Access in DiVA

fulltext(1277 kB)15 downloads
File information
File name FULLTEXT01.pdfFile size 1277 kBChecksum SHA-512
32b4e0ac3719a94ca34a795cf920c5e24856c541dbaa0803ac02ae07a10829107fa73ae6aa2f83fdc222371b1fb273d6ae14ffc1883a666fdc64a25f0b0d531c
Type fulltextMimetype application/pdf

By organisation
School of Electrical Engineering and Computer Science (EECS)
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 15 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: 59 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