Generating Modelica-models of ECU HW for functional safety verification
Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
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.
Teknik, ISO26262, generation of embedded hardware, exhaustive simulation, functional safety, requirements modeling, Modelica
IdentifiersURN: urn:nbn:se:ltu:diva-43833Local ID: 1a8e3797-24e6-4b7f-b499-da1a39377088OAI: oai:DiVA.org:ltu-43833DiVA: diva2:1017075
Subject / course
Student thesis, at least 30 credits
Computer Science and Engineering, master's level
Validerat; 20130901 (global_studentproject_submitter)2016-10-042016-10-04Bibliographically approved