Change search
ReferencesLink to record
Permanent link

Direct link
Generating Modelica-models of ECU HW for functional safety verification
2013 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

For each unique truck constructed at Scania, the embedded hardware contained in that truck may consist of roughly 10-30 ECU’s in different configurations, each possibly con- nected to each other and interfacing to the environment through different sensors and actuators. Due to the vast majority of possible configurations it is hard to verify and analyse each of the configurations from the perspective of Functional Safety in general and the standard for automotive industry, ISO26262 in particular.At Scania they want to investigate the possibility to, given a vehicle identification num- ber, automatically generate a machine readable representation of its electrical system that may be used to generate the required information and tests given by ISO26262.This report covers the implementation of a proof of concept, a toolchain, able to gener- ate simulatable Modelica models of the electrical hardware and the fundamental concepts and datasources needed for it. After identifying that the effects, and handling, of random faults on the hardware is a big part of the parts of the ISO26262 standard covering hard- ware, the possibility to automatically introduce errors was introduced into the toolchain before moving on to the second goal, to show how requirement models for the hardware may be expressed and then implemented in Modelica.The feasibility of using automatically generated simulatable models for functional safety verification was evaluated and, although it is not possible to fulfill all requirements in the standard in an automatic way, it can be shown that having this kind of support may help fulfill many of the requirements given by the standard. But, to achieve this, more structured handling of simulation models will be needed within Scania. Also, to be able to fully utilize the possibilities, and automatically generate both the simulatable models and requirement models there is a need for more developed concepts in this area.

Place, publisher, year, edition, pages
2013. , 73 p.
Keyword [en]
Keyword [sv]
Teknik, ISO26262, generation of embedded hardware, exhaustive simulation, functional safety, requirements modeling, Modelica
URN: urn:nbn:se:ltu:diva-43833Local ID: 1a8e3797-24e6-4b7f-b499-da1a39377088OAI: diva2:1017075
External cooperation
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level
Validerat; 20130901 (global_studentproject_submitter)Available from: 2016-10-04 Created: 2016-10-04Bibliographically approved

Open Access in DiVA

fulltext(1959 kB)0 downloads
File information
File name FULLTEXT02.pdfFile size 1959 kBChecksum SHA-512
Type fulltextMimetype application/pdf
fulltext(1122 kB)0 downloads
File information
File name FULLTEXT03.pdfFile size 1122 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Ulke, Jesper

Search outside of DiVA

GoogleGoogle Scholar
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

ReferencesLink to record
Permanent link

Direct link