<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00261314</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-11T18:05:22+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">OASIS: A chain of development for safety-critical embedded real-time systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Damien</forename>
                <surname>Chabrol</surname>
              </persName>
              <idno type="halauthorid">304114-0</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Guy</forename>
                <surname>Vidal-Naquet</surname>
              </persName>
              <idno type="halauthorid">293351-0</idno>
              <affiliation ref="#struct-21400"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>David</surname>
              </persName>
              <email type="md5">612db38db4acf7f667f06038956d1f22</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">vincent-david</idno>
              <idno type="idhal" notation="numeric">754099</idno>
              <idno type="halauthorid" notation="string">217010-754099</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5013-7705</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Aussagues</surname>
              </persName>
              <idno type="halauthorid">301745-0</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stéphane</forename>
                <surname>Louise</surname>
              </persName>
              <email type="md5">8905296d716737fac4c61bcd66842f07</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="string">stephane-louise</idno>
              <idno type="idhal" notation="numeric">866142</idno>
              <idno type="halauthorid" notation="string">304115-866142</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4604-6453</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=3QalTo4AAAAJ</idno>
              <affiliation ref="#struct-40217"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Evelyne</forename>
                <surname>Faivre</surname>
              </persName>
              <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
              <email type="domain">supelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2008-03-06 15:50:59</date>
              <date type="whenModified">2024-09-03 11:16:05</date>
              <date type="whenReleased">2008-03-06 16:13:36</date>
              <date type="whenProduced">2004-01-24</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123536">
                <persName>
                  <forename>Evelyne</forename>
                  <surname>Faivre</surname>
                </persName>
                <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
                <email type="domain">supelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00261314</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-00261314</idno>
            <idno type="halBibtex">chabrol:hal-00261314</idno>
            <idno type="halRefHtml">&lt;i&gt;2nd European Congress Embedded Real Time Software. (ERTS 2004)&lt;/i&gt;, Jan 2004, Toulouse, France. CD-ROM Proceedings - 10 p</idno>
            <idno type="halRef">2nd European Congress Embedded Real Time Software. (ERTS 2004), Jan 2004, Toulouse, France. CD-ROM Proceedings - 10 p</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="SUPELEC">SUPELEC</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="ERTS2004">Proceeding of the 2nd European Congress on Embedded Real Time Systems</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">OASIS: A chain of development for safety-critical embedded real-time systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Damien</forename>
                    <surname>Chabrol</surname>
                  </persName>
                  <idno type="halauthorid">304114-0</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Guy</forename>
                    <surname>Vidal-Naquet</surname>
                  </persName>
                  <idno type="halauthorid">293351-0</idno>
                  <affiliation ref="#struct-21400"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>David</surname>
                  </persName>
                  <email type="md5">612db38db4acf7f667f06038956d1f22</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">vincent-david</idno>
                  <idno type="idhal" notation="numeric">754099</idno>
                  <idno type="halauthorid" notation="string">217010-754099</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5013-7705</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Aussagues</surname>
                  </persName>
                  <idno type="halauthorid">301745-0</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stéphane</forename>
                    <surname>Louise</surname>
                  </persName>
                  <email type="md5">8905296d716737fac4c61bcd66842f07</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="string">stephane-louise</idno>
                  <idno type="idhal" notation="numeric">866142</idno>
                  <idno type="halauthorid" notation="string">304115-866142</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4604-6453</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=3QalTo4AAAAJ</idno>
                  <affiliation ref="#struct-40217"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 2nd European Congress Embedded Real Time Software</title>
                <meeting>
                  <title>2nd European Congress Embedded Real Time Software. (ERTS 2004)</title>
                  <date type="start">2004-01-24</date>
                  <settlement>Toulouse</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">CD-ROM Proceedings - 10 pages</biblScope>
                  <date type="datePub">2004</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In the domain of embedded systems, the design and the realization of performant and safety-critical real-time systems still constitute today a true scientific, technical and economical challenge [STANKOVIC88]. The difficulty is to realize, not only critical real-time systems that include more complex functions, but also to have an easier development, including verification and validation. The new solutions must be as safe as those already existing and be in accordance with the enforced standards ofthe concerned industrial domain, such as DO-178A and ARINC-653 in aerospace or CEI-880 and RFS in nuclear domain. The realization of safety-critical embedded systems with lower costs has resulted into the implementation and integration of several activities on one processor, in order to decrease the hardware costs. These systems run today correctly, but they are still expensive, difficult to maintain and do not guarantee determinism [STANKOVIC90] at the system level, therefore are inapplicable for industry. This paper begins with a presentation of the OASIS approach to mono processor architectures and presents the current research works on the distributed ones.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-21400" status="OLD">
          <orgName>SUPELEC-Campus Gif</orgName>
          <desc>
            <address>
              <addrLine>Plateau du Moulon - 3 rue Joliot-Curie - 91192 Gif-sur-Yvette CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supelec.fr/gif/</ref>
          </desc>
          <listRelation>
            <relation name="300812" active="#struct-303397" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303397" status="VALID">
          <orgName>Ecole Supérieure d'Electricité - SUPELEC (FRANCE)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>