<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3897/jucs.2020.030</article-id>
      <article-id pub-id-type="publisher-id">24073</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>M.0 - KNOWLEDGE ACQUISITION</subject>
          <subject>M.1 - KNOWLEDGE ENGINEERING METHODOLOGIES</subject>
          <subject>M.4 - KNOWLEDGE MODELING</subject>
          <subject>M.8 - KNOWLEDGE REUSE</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Debbech</surname>
            <given-names>Sana</given-names>
          </name>
          <email xlink:type="simple">sana.debbech@gmail.com</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Collart-Dutilleul</surname>
            <given-names>Simon</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Bon</surname>
            <given-names>Philippe</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Université Gustave Eiffel and Université Lille, Lille, France</addr-line>
        <institution>Université Gustave Eiffel and Université Lille</institution>
        <addr-line content-type="city">Lille</addr-line>
        <country>France</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Université Lille Nord de France, Lille, France</addr-line>
        <institution>Université Lille Nord de France</institution>
        <addr-line content-type="city">Lille</addr-line>
        <country>France</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Sana Debbech (<email xlink:type="simple">sana.debbech@gmail.com</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2020</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>05</month>
        <year>2020</year>
      </pub-date>
      <volume>26</volume>
      <issue>5</issue>
      <fpage>549</fpage>
      <lpage>582</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/647262BC-BA69-5E71-A090-1F7A5EBD4DB0">647262BC-BA69-5E71-A090-1F7A5EBD4DB0</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/5508527">5508527</uri>
      <history>
        <date date-type="received">
          <day>11</day>
          <month>03</month>
          <year>2019</year>
        </date>
        <date date-type="accepted">
          <day>06</day>
          <month>04</month>
          <year>2020</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Sana Debbech, Simon Collart-Dutilleul, Philippe Bon</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by-nd/4.0/" xlink:type="simple">
          <license-p>This is an open access article distributed under the terms of the Creative Commons Attribution License (CC BY-ND 4.0). This license allows reusers to copy and distribute the material in any medium or format in unadapted form only, and only so long as attribution is given to the creator. The license allows for commercial use.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Dysfunctional analysis is an essential and demanding task in the early development stages of safety-critical systems (SCSs). Nevertheless, current practices present several drawbacks. Generally, a common dysfunctional analysis conceptualization is missing and it is dependent on safety analysis techniques. Moreover, some safety analysis methods require well-known system behaviors expressed by dynamic models such as sequence diagrams and finite automata. However, the dynamic character of these models increases their susceptibility to changes and then they are not obtainable in the early design stages. Since dysfunctional analysis highly relies on the experience of safety analysts and the feedback (REX) obtained from previous systems development, there is a need to formalize this knowledge domain in a structured way to ensure its future reuse. Furthermore, safety measures derived from this dysfunctional analysis approach must be strongly linked to a goal-oriented perspective and adapted to a specific context. For this purpose, this paper presents a real-world semantics interpretation and conceptualization of dysfunctional analysis related concepts based on the Unified Foundational Ontology (UFO) and well-known standards to avoid ambiguities. The proposed Dysfunctional Analysis Ontology (DAO) aims to provide a systematization of the goal-oriented dysfunctional analysis through a terminological clarification in order to prevent hazards in the first design phases. Then, a DAO formalization is proposed using the Web Ontology Language (OWL). Finally, the DAO pattern is applied to two different real critical scenarios from the railway domain in order to illustrate and evaluate this ontological approach.</p>
      </abstract>
    </article-meta>
  </front>
</article>
