Verifying arbitrary safety-related rules using Web Ontology Language
| Autor: | Suresh Raju, Vishnu |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| Druh dokumentu: | Text |
| Popis: | 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. 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. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|