<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Analysis of ISO 26262 Compliant Techniques for the Automotive Domain</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>S. Manoj Kannan</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yanja Dajsuren</string-name>
          <email>y.dajsuren@cwi.nl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yaping Luo</string-name>
          <email>y.luo2@tue.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ion Barosan</string-name>
          <email>i.barosan@tue.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Centrum Wiskunde &amp; Informatica</institution>
          ,
          <addr-line>Amsterdam</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Eindhoven University of Technology</institution>
          ,
          <addr-line>Eindhoven</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The ISO 26262 standard de nes functional safety for automotive E/E systems. Since the publication of the rst edition of this standard in 2011, many di erent safety techniques complying to the ISO 26262 have been developed. However, it is not clear which parts and (sub-) phases of the standard are targeted by these techniques and which objectives of the standard are particularly addressed. Therefore, we carried out a gap analysis to identify gaps between the safety standard objectives of the part 3 till 7 and the existing techniques. In this paper the results of the gap analysis are presented such as we identi ed that there is a lack of mature tool support for the ASIL sub-phase and a need for a common platform for the entire product development cycle.</p>
      </abstract>
      <kwd-group>
        <kwd>ISO 26262</kwd>
        <kwd>vehicle safety</kwd>
        <kwd>safety standard</kwd>
        <kwd>gap analysis</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        Development of innovative features such as advanced driver assistance systems
in modern day automobiles have led to an increased complexity in product
development and maintenance. This imposes an increased risk in terms of system
failure that could lead to unacceptable hazards. Thus it becomes crucial to
ensure functional safety. The ISO 26262 standard [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] de nes functional safety for
automotive Electric/Electronic (E/E) safety-related systems. Its objective is to
address possible hazards caused by the malfunctioning behavior of E/E systems
throughout the product development cycle.
      </p>
      <p>
        Most of the automotive companies have already started using safety analysis,
veri cation and validation techniques to ensure vehicle safety [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ]. One of the
main objectives of the ISO 26262 is that these techniques should be applied as
a standardized methodology for all automobile manufacturers. These techniques
focus mainly on traceability which is the ability to track the safety requirements
from initial concept design till the production and operation phase. Upon trying
to improve the traceability, the researchers seek more techniques for e ective
product development process.
      </p>
      <p>The introduction of the ISO 26262 functional safety standard provides more
speci c development processes that help to avoid the hazards and threats in
the development phases. Following steps should be taken to ensure compliance
with the standard: a) The manufacturers should adopt the development
processes; b) The manufacturers should determine the Automotive Safety Integrity
Level (ASIL) for safety-critical systems; c) The manufacturers should satisfy the
additional requirements.</p>
      <p>
        The standardization process requires the consistency of methods, languages
and tools across all the sub-phases of the software lifecycle as well as system and
hardware development phases as stated in the section 5.4.4 of the ISO 26262 Part
6 [15, p. 4]. In recent years, safety related platforms such as OPENCOSS [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] and
AutoFOCUS3 [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] have been developed. OPENCOSS provides a common safety
certi cation platform for the railway, avionics and automotive markets.
AutoFOCUS3 provides a model-based tool for distributed, reactive, embedded software
systems. The consistency can be assured through the availability of a tool that
ensures the compatibility within the ISO 26262 (sub-) phases. The automobile
manufacturers are challenged in the selection of the optimal techniques to
ensure this compatibility which helps to prove the functional safety. This paper
focuses on examining the gap between the ISO 26262 standard objectives and
state-of-the-art safety related techniques.
      </p>
      <p>The remainder of the paper is organized as follows: In Section 2 we provide
background information on the V-model of the ISO 26262 standard. In Section 3,
we describe the systematic literature review process and the summary of the
papers selected for the analysis. Section 4 presents the gap analysis results and
Section 5 discusses the ndings. Finally, we present the concluding remarks and
some related future works.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Background</title>
      <p>
        The safety standard ISO 26262 [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ] is an adaptation of the functional safety
standard IEC 61508 [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] for automotive E/E systems. Similar to IEC 61508,
ISO 26262 is also a risk-based safety standard. It provides a risk-driven safety
life-cycle for developing safety-critical systems in the automotive domain.
      </p>
      <p>The ISO 26262 consists of ten parts as shown in Figure 1. Part 1, 2, and Part
8 to 10 are out of the scope of this paper, because Part 3 to Part 7 correspond to
the safety life-cycle. The main part of ISO 26262 is structured based upon the
V-model, as well as Part 5 and Part 6. Part 3 and Part 7 focus on the vehicle
level. The main goal of Part 3 is to identify system hazards and risks through
Hazard Analysis and Risk Assessment (HARA), then derive safety goals and
Functional Safety Concepts (FSC) from them. Part 4 focuses on the system level.
In this part, Technical Safety Requirements (TSR) are derived from FSC. Then
system design can be carried out based on TSR. Part 5 and Part 6 focus on the
subsystem/component level. In these two parts more detailed safety requirements
are derived from TSR. Those safety requirements are assigned to the concrete
subsystems or components for implementation.</p>
      <p>
        In the following section, we present state-of-the-art techniques complying to
the ISO 26262 standard.
We use a Systematic Literature Review (SLR) methodology [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] to obtain
stateof-the-art information on the techniques in the area of the ISO 26262 standard.
In a comprehensive SLR analysis, documents that contain ISO 26262 related
information are analyzed. Sources are collected from various popular resources
such as IEEE [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], ACM [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], Springer [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], SAE [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ], and FISITA [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. Scienti c
journal articles, research papers, and industrial technical reports are considered.
      </p>
      <p>Peer-reviewed articles on the topics \ISO 26262" and \vehicle safety",
published between 2008 and 2015, are included. We exclude duplicate reports of the
same or similar studies as well as white papers are excluded. After the search and
inclusion/exclusion processes, we identify 120 unique papers. In our ndings, we
discover that higher number of papers are published in the concept phase (63
papers) than the development phases (51 papers) i.e., product development,
software development, and hardware development phases of the ISO 26262
Vmodel. The remaining six papers are considered as general publications, since
they cover all the phases of the V-model. To further narrow down the search
results, citations are used as a key tool to assess the quality of the identi ed
papers. Publications between 2013 and 2015 are included.</p>
      <p>In the case of concept and product development phases, more than half of
the papers have been cited at least once and number of papers cited more than
ve are 18. Figure 2 shows the trend of papers published in each sub-phases from
the selected sources. It can be inferred that the focus of the papers are more on
the improvement of FSC (Functional Safety Concepts) in the conceptual phase
and IVTA (Integration,Validation,Testing and Assessment) in the development
phase. This shows the following observations:
{ More additional standardized procedures have been implemented from the
IEC 61508 standard on the conceptual and development phases where
automobile manufacturers required clear process for implementation.
{ Engineers and researchers were involved in the development of methodologies
to ensure safety compliance of the system at these phases.</p>
      <p>The summary of the selected papers mapped to the standard phases is presented
in Table 1. Following section presents the gap analysis results between the ISO
26262 standard and the techniques identi ed from the selected papers.
4</p>
    </sec>
    <sec id="sec-3">
      <title>Gap Analysis</title>
      <p>
        A gap analysis helps to understand the shortcoming of existing approaches
suggested by literatures. The gap analysis is carried out between the ISO 26262
objectives of the Part 3 till Part 7 sub-phases.
i.e., Item De nition, Functional Safety Concept, and ASIL [
        <xref ref-type="bibr" rid="ref12 ref13 ref18 ref19 ref20">13, 19, 20, 12, 18</xref>
        ] is
presented in the Table 2.
4.2
      </p>
      <sec id="sec-3-1">
        <title>Gap Analysis for the Product Development Phase</title>
        <p>
          From the gap analysis of the product development phase, it is observed that there
are few tools [
          <xref ref-type="bibr" rid="ref21 ref23">23, 21</xref>
          ] suggested by literature and industrial technical report for
requirement speci cation. These tools support only for speci c sub-phases and
there are more opportunities to integrate these tools with testing and validation
tools [
          <xref ref-type="bibr" rid="ref17 ref4">4, 17</xref>
          ]. By this integration, it becomes more sophisticated to perform all
the activities of a phase using single technique. This also gives clear way of
understanding the standard norms to the developers and verifying it by testers
using same platform. The nding of this gap analysis can be found in the Table 3
on the previous page.
4.3
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>Gap Analysis for the Software Development Phase</title>
        <p>
          Similar to the system architecture level, more techniques are used for the software
level [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]. Some of the common architecture description languages are
EASTADL [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] and AADL [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] which help to reduce the development cost and time.
In addition, such techniques provide a way to make the veri cation of safety
requirements easier. But there is no tool available that integrates both
architectural design and safety veri cation together. This is found to be one of the gap.
Table 4 on the previous page shows the gap analysis performed for the software
development phase.
4.4
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>Gap Analysis for the Hardware Development Phase</title>
        <p>
          In the case of hardware development phase, only few literatures are published
about the development required for the evaluation of safety violation. These
literatures provide techniques mainly to support two claims. One is hardware
architectural metrics and second is evaluation of safety goal violations.
Techniques like UML based meta-model [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] support for design process and help to
perform safety evaluation in a uni ed model based environment. The ndings of
the gap analysis for the hardware development phase are shown in the Table 5.
Following section discusses the main results of the gap analysis.
5
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Discussion</title>
      <p>Based on the gap analysis, the shortcoming and challenges of the techniques
suggested by literature while ful lling the standard objectives are found. In the
concept phase, gap analysis identi ed the lack of mature techniques that provide
wider possible solutions for ASIL decomposition. It showcases the opportunity
for integrating various techniques within the phase. For product development
phase, gap analysis shows similar results. There are tools used for each sub
phases of the product development but there is no common platform where all
sub phase activities can be performed. This tool integration could facilitate the
understanding and correct interpretation of the standard norms.</p>
      <p>For the software and hardware development phase, same type of architecture
description languages, such as EAST-ADL and AADL, are used. But there is a
lack of common platform that supports both design and safety evaluations.
6</p>
    </sec>
    <sec id="sec-5">
      <title>Conclusion and Future Work</title>
      <p>Since the ISO 26262 standard does not specify which techniques to be applied
in ful lling the safety requirements, variety of techniques are developed for each
phase of the ISO 26262 standard. However, a general overview of existing and
emerging ISO 26262 related techniques is lacking. Therefore, in this paper, we
carried out a gap analysis to identify the challenges and future trends to ful ll
the ISO 26262 (part 3 to Part 7) safety objectives. We identi ed that the focus
of research techniques is for the concept and product development phases.
However, more techniques are needed for ful lling the objectives of the software and
hardware phases.</p>
      <p>As a future work, we plan to conduct similar study on the remaining phases of
the ISO 26262 and develop a method for the software and hardware development
phases. Furthermore, our analysis focused on the research results rather than the
practical application of the standard. This requires further survey on the gap
between research results and the practical applicability of the standard to re ect
the actual situation in the automotive industry.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1. ACM. http://dl.acm.org/. Accessed:
          <fpage>2015</fpage>
          -04-24.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2. AutoFOCUS3. http://af3.fortiss.org/research/. Accessed:
          <fpage>2015</fpage>
          -09-16.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3. FISITA. http://www.fisita.com/publications/papers. Accessed:
          <fpage>2015</fpage>
          -04-24.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>IBM</given-names>
            <surname>Rhapsody</surname>
          </string-name>
          . http://www-03.ibm.com/software/products/en/ratidoor. Accessed:
          <fpage>2015</fpage>
          -06-02.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5. IEEE. http://ieeexplore.ieee.org/. Accessed:
          <fpage>2015</fpage>
          -04-27.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6. OPENCOSS. http://www.opencoss-project.eu/. Accessed:
          <fpage>2015</fpage>
          -09-16.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7. SAE. http://digitallibrary.sae.org/. Accessed:
          <fpage>2015</fpage>
          -04-24.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8. Springer. http://link.springer.com/. Accessed:
          <fpage>2015</fpage>
          -04-27.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>N.</given-names>
            <surname>Adler</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Otten</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Cuenot</surname>
          </string-name>
          , and
          <string-name>
            <given-names>K.</given-names>
            <surname>Mu</surname>
          </string-name>
          ller-Glaser.
          <article-title>Performing safety evaluation on detailed hardware level according to ISO 26262. SAE International journal of passenger cars-electronic and electrical systems, 6(</article-title>
          <year>2013</year>
          -01-0182):
          <volume>102</volume>
          {
          <fpage>113</fpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>D.</given-names>
            <surname>Chen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Johansson</surname>
          </string-name>
          , H. Lonn,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Papadopoulos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Sandberg</surname>
          </string-name>
          , F. Torner, and M. Torngren.
          <article-title>Modelling support for design of safety-critical automotive embedded systems</article-title>
          . In Computer Safety, Reliability,&amp;
          <string-name>
            <surname>Security</surname>
          </string-name>
          , pages
          <volume>72</volume>
          {
          <fpage>85</fpage>
          . Springer,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Dajsuren</surname>
          </string-name>
          , M. G. van den Brand, A. Serebrenik, and
          <string-name>
            <given-names>R.</given-names>
            <surname>Huisman</surname>
          </string-name>
          .
          <article-title>Automotive ADLs: A study on enforcing consistency through multiple architectural levels</article-title>
          .
          <source>In ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)</source>
          , pages
          <fpage>71</fpage>
          {
          <fpage>80</fpage>
          . ACM,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>M. S. Dhouibi</surname>
          </string-name>
          ,
          <string-name>
            <surname>J.-M. Perquis</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          <string-name>
            <surname>Saintis</surname>
            , and
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Barreau</surname>
          </string-name>
          .
          <article-title>Automatic Decomposition and Allocation of Safety Integrity Level Using System of Linear Equations</article-title>
          .
          <source>Complex Syst</source>
          , pages
          <fpage>1</fpage>
          <issue>{5</issue>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>T.</given-names>
            <surname>Fujiwara</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. M.</given-names>
            <surname>Estevez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Satoh</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Yamada</surname>
          </string-name>
          .
          <article-title>A Calculation Method for Software Safety Integrity Level</article-title>
          .
          <source>In Proceedings of the 1st Workshop on Critical Automotive applications: Robustness &amp; Safety</source>
          , pages
          <volume>31</volume>
          {
          <fpage>34</fpage>
          . ACM,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>IEC</surname>
          </string-name>
          .
          <article-title>Functional Safety of Electrical/electronic /programmable Electronic Safetyrelated Systems</article-title>
          . IEC 26262, International Electrotechnical Commission,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15. International Standardization Organization. ISO 26262:
          <string-name>
            <surname>Road</surname>
          </string-name>
          Vehicles - Functional safety,
          <source>International Organization for Standardization</source>
          .
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>B.</given-names>
            <surname>Kitchenham</surname>
          </string-name>
          .
          <article-title>Procedures for Performing Systematic Reviews</article-title>
          . Keele, UK, Keele University,
          <volume>33</volume>
          (
          <year>2004</year>
          ):
          <volume>1</volume>
          {
          <fpage>26</fpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <given-names>R.</given-names>
            <surname>Mader</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Griessnig</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Armengaud</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Leitner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Kreiner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Q.</given-names>
            <surname>Bourrouilh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Steger</surname>
          </string-name>
          , and
          <string-name>
            <given-names>R.</given-names>
            <surname>Weiss</surname>
          </string-name>
          .
          <article-title>A bridge from system to software development for safetycritical automotive embedded systems</article-title>
          .
          <source>In Software Engineering and Advanced Applications (SEAA)</source>
          , pages
          <fpage>75</fpage>
          {
          <fpage>79</fpage>
          . IEEE,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <given-names>A.</given-names>
            <surname>Murashkin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L. S.</given-names>
            <surname>Azevedo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Guo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Zulkoski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. H.</given-names>
            <surname>Liang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Czarnecki</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D.</given-names>
            <surname>Parker</surname>
          </string-name>
          .
          <source>Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers. SAE International Journal of Passenger Cars-Electronic and Electrical Systems</source>
          ,
          <volume>8</volume>
          (
          <fpage>2015</fpage>
          -01-0156):
          <volume>70</volume>
          {
          <fpage>78</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Papadopoulos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Walker</surname>
          </string-name>
          , M.
          <article-title>-</article-title>
          <string-name>
            <surname>O. Reiser</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Weber</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Chen</surname>
            , M. Torngren,
            <given-names>D.</given-names>
          </string-name>
          <string-name>
            <surname>Servat</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Abele</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Stappert</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          <string-name>
            <surname>Lonn</surname>
          </string-name>
          , et al.
          <article-title>Automatic Allocation of Safety Integrity Levels</article-title>
          .
          <source>In Proceedings of the 1st workshop on critical automotive applications: robustness &amp; safety</source>
          , pages
          <volume>7</volume>
          {
          <fpage>10</fpage>
          . ACM,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <given-names>D.</given-names>
            <surname>Parker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Walker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L. S.</given-names>
            <surname>Azevedo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Papadopoulos</surname>
          </string-name>
          , and
          <string-name>
            <given-names>R. E.</given-names>
            <surname>Araujo</surname>
          </string-name>
          .
          <article-title>Automatic Decomposition and Allocation of Safety Integrity Levels Using a PenaltyBased Genetic Algorithm</article-title>
          . pages
          <fpage>449</fpage>
          {
          <fpage>459</fpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <given-names>P.</given-names>
            <surname>Peranandam</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Raviram</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Satpathy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Yeolekar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Gadkari</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Ramesh</surname>
          </string-name>
          .
          <article-title>An integrated test generation tool for enhanced coverage of Simulink/State ow models</article-title>
          .
          <source>In Design,Automation &amp; Test in Europe Conference &amp; Exhibition (DATE)</source>
          , pages
          <fpage>308</fpage>
          {
          <fpage>311</fpage>
          . IEEE,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <given-names>A.</given-names>
            <surname>Saberi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Luo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Cichosz</surname>
          </string-name>
          , M. van den Brand, and
          <string-name>
            <given-names>S.</given-names>
            <surname>Janseny</surname>
          </string-name>
          .
          <article-title>An Approach for Functional Safety Improvement of an Existing Automotive System</article-title>
          .
          <source>In 8th Annual IEEE System Conference</source>
          , pages
          <volume>277</volume>
          {
          <fpage>282</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <given-names>S.</given-names>
            <surname>Siegl</surname>
          </string-name>
          , K.-S. Hielscher,
          <string-name>
            <given-names>R.</given-names>
            <surname>German</surname>
          </string-name>
          , and
          <string-name>
            <given-names>C.</given-names>
            <surname>Berger</surname>
          </string-name>
          .
          <article-title>Formal speci cation and systematic model-driven testing of embedded automotive systems</article-title>
          .
          <source>In Design, Automation &amp; Test in Europe Conference &amp; Exhibition</source>
          , pages
          <fpage>1</fpage>
          <article-title>{6</article-title>
          . IEEE,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>