Avdelning, Institution
Division, Department
Software and Systems
Department of Computer and Information Science
SE-581 83 Linköping
Datum
Date
2013-03-01
Språk
Language
Svenska/Swedish
Engelska/English
Rapporttyp
Report category
Licentiatavhandling
Examensarbete
C-uppsats
D-uppsats
Övrig rapport
URL för elektronisk version
http://www.ep.liu.se
ISBN
—
ISRN
LIU-IDA/LITH-EX-A-13/005-SE
Serietitel och serienummer
Title of series, numbering
ISSN
—
Titel
Title
Development of an ISO 26262 ASIL D compliant verification system
Författare
Author
Daniel Carlsson
Sammanfattning
Abstract
In 2011 a new functional safety standard for electronic and electrical systems in vehicles was
published, called ISO 26262. This standard concerns the whole lifecycle of the safety critical
elements used in cars, including the development process of such elements. As the correct-
ness of the tools used when developing such an element is critical to the safety of the element,
the standard includes requirements concerning the software tools used in the development,
including verification tools. These requirements mainly specify that a developer of a safety
critical element should provide proof of their confidence in the software tools they are using.
One recommended way to gain this confidence is to use tools developed in accordance to a
“relevant subset of [ISO 26262]”.
This project aims to develop a verification system in accordance to ISO 26262, exploring
how and what specifications should be included in this “relevant subset” of ISO 26262 and
to which extent these can be included in their current form. The work concludes with the
development of a single safety element of the verification system, to give an demonstration
of the viability of such a system.
Nyckelord
Keywords
ISO 26262, Verification Systems, Tool Qualification, Automotive Embedded Systems, Func-
tional Safety
