Verifying arbitrary safety-related rules using Web Ontology Language

Abstract: 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.