<?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.3217/jucs-021-02-0177</article-id>
      <article-id pub-id-type="publisher-id">22957</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>B.1.3 - Control Structure Reliability</subject>
          <subject> Testing</subject>
          <subject> and Fault-Tolerance</subject>
          <subject>C.3 - SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS</subject>
          <subject>D.2.11 - Software Architectures</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Safe Motor Controller in a Mixed-Critical Environment with Runtime Updating Capabilities</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Gutiérrez-Rivas</surname>
            <given-names>Jose Luis</given-names>
          </name>
          <email xlink:type="simple">jlgutierrez@ugr.es</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Holmbacka</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>Míndez-Macías</surname>
            <given-names>Miguel</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Lund</surname>
            <given-names>Wictor</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Lafond</surname>
            <given-names>Sebastien</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Lilius</surname>
            <given-names>Johan</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Díaz-Alonso</surname>
            <given-names>Javier</given-names>
          </name>
          <xref ref-type="aff" rid="A4">4</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">University of Granada, Granada, Spain</addr-line>
        <institution>University of Granada</institution>
        <addr-line content-type="city">Granada</addr-line>
        <country>Spain</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Åbo Akademi University, Turku, Finland</addr-line>
        <institution>Åbo Akademi University</institution>
        <addr-line content-type="city">Turku</addr-line>
        <country>Finland</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Seven Solutions Inc., Granada, Spain</addr-line>
        <institution>Seven Solutions Inc.</institution>
        <addr-line content-type="city">Granada</addr-line>
        <country>Spain</country>
      </aff>
      <aff id="A4">
        <label>4</label>
        <addr-line content-type="verbatim">University of Granada, Grenada, Spain</addr-line>
        <institution>University of Granada</institution>
        <addr-line content-type="city">Grenada</addr-line>
        <country>Spain</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Jose Luis Gutiérrez-Rivas (<email xlink:type="simple">jlgutierrez@ugr.es</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2015</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>11</month>
        <year>2015</year>
      </pub-date>
      <volume>21</volume>
      <issue>2</issue>
      <fpage>177</fpage>
      <lpage>205</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/3D845DEA-7769-5814-86F7-BE4BA020585B">3D845DEA-7769-5814-86F7-BE4BA020585B</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/5504803">5504803</uri>
      <history>
        <date date-type="received">
          <day>20</day>
          <month>05</month>
          <year>2014</year>
        </date>
        <date date-type="accepted">
          <day>28</day>
          <month>01</month>
          <year>2015</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Jose Luis Gutiérrez-Rivas, Simon Holmbacka, Miguel Míndez-Macías, Wictor Lund, Sebastien Lafond, Johan Lilius, Javier Díaz-Alonso</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>Safety-critical systems and certification standards are the bare essential elements for the development process of avionics, automotive and industrial embedded systems. The necessity of including non-safety capabilities to reduce the price of these systems has resulted in a new type of critical systems, the mixed-criticality ones. These systems should be able to execute safety-critical applications but, at the same time, to run non-safety-critical functionalities without affecting the integrity of the safety-critical tasks. This paper presents a new system architecture which includes safety-critical and non-safety-critical parts in order to form a mixed-criticality system. The system consists of a reliable platform with a dual-core processor (implemented using a FPGA) architecture designed as open-hardware, running two isolated real-time operating systems which are connected through a safe core-to-core communication channel that executes the safety-critical applications. Moreover, the safety-critical system is connected to an external processor, an ARM9, which is used as an external sensing system. The ARM9 runs the non-safety-critical applications and allows the system to insert modifications updating without affecting the safety capabilities of the safety-critical part. This platform is described providing evidences of the isolation between safety-critical (SC) and non-safety-critical (NSC) applications, as well as describing an updating methodology for non-safety-critical applications. This system is validated using a complete and reliable application for safe emergency stop applications for industrial machinery.</p>
      </abstract>
    </article-meta>
  </front>
</article>
