<?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-01055387</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-21T15:07:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics</title>
            <author role="aut">
              <persName>
                <forename type="first">José</forename>
                <surname>Rufino</surname>
              </persName>
              <idno type="halauthorid">724464-0</idno>
              <affiliation ref="#struct-264056"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">João</forename>
                <surname>Craveiro</surname>
              </persName>
              <idno type="halauthorid">725294-0</idno>
              <affiliation ref="#struct-264056"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paulo</forename>
                <surname>Verissimo</surname>
              </persName>
              <idno type="halauthorid">674507-0</idno>
              <affiliation ref="#struct-264056"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-08-12 16:03:10</date>
              <date type="whenModified">2025-12-18 08:52:04</date>
              <date type="whenReleased">2014-08-12 16:12:20</date>
              <date type="whenProduced">2010-10-13</date>
              <date type="whenEndEmbargoed">2014-08-12</date>
              <ref type="file" target="https://inria.hal.science/hal-01055387v1/document">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01055387v1/file/SAMPLE_RufCraveiroPjv_SEUS2010_AIR.pdf" id="file-1055387-859810">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-16256-5_18.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01055387</idno>
            <idno type="halUri">https://inria.hal.science/hal-01055387</idno>
            <idno type="halBibtex">rufino:hal-01055387</idno>
            <idno type="halRefHtml">&lt;i&gt;8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)&lt;/i&gt;, Oct 2010, Waidhofen/Ybbs, Austria. pp.179-190, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-16256-5_18"&gt;&amp;#x27E8;10.1007/978-3-642-16256-5_18&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.179-190, &amp;#x27E8;10.1007/978-3-642-16256-5_18&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1055387-859810"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-LNCS-6399" corresp="IFIP-LNCS">Software Technologies for Embedded and Ubiquitous Systems</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC10" corresp="IFIP-TC">IFIP-TC10</idno>
            <idno type="stamp" n="IFIP-2010">IFIP-2010</idno>
            <idno type="stamp" n="IFIP-SEUS">Software Technologies for Embedded and Ubiquitous Systems</idno>
            <idno type="stamp" n="IFIP-WG10-2">Embedded Systems</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">Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics</title>
                <author role="aut">
                  <persName>
                    <forename type="first">José</forename>
                    <surname>Rufino</surname>
                  </persName>
                  <idno type="halauthorid">724464-0</idno>
                  <affiliation ref="#struct-264056"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">João</forename>
                    <surname>Craveiro</surname>
                  </persName>
                  <idno type="halauthorid">725294-0</idno>
                  <affiliation ref="#struct-264056"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paulo</forename>
                    <surname>Verissimo</surname>
                  </persName>
                  <idno type="halauthorid">674507-0</idno>
                  <affiliation ref="#struct-264056"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)</title>
                  <date type="start">2010-10-13</date>
                  <date type="end">2010-10-15</date>
                  <settlement>Waidhofen/Ybbs</settlement>
                  <country key="AT">Austria</country>
                </meeting>
                <editor>Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Software Technologies for Embedded and Ubiquitous Systems</biblScope>
                  <biblScope unit="volume">LNCS-6399</biblScope>
                  <biblScope unit="pp">179-190</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-16256-5_18</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dl">Computer Science [cs]/Digital Libraries [cs.DL]</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>Future space systems require innovative computing system architectures, on account of their size, weight, power consumption, cost, safety and maintainability requisites. The AIR (ARINC 653 in Space Real-Time Operating System) architecture answers the interest of the space industry, especially the European Space Agency, in transitioning to the flexible and safe approach of having onboard functions of different criticalities share hardware resources, while being functionally separated in logical containers (partitions). Partitions are separated in the time and space domains. In this paper we present the evolution of the AIR architecture, from its initial ideas to the current state of the art. We describe the research we are currently performing on AIR, which aims to obtain an industrial-grade product for future space systems, and lay the foundations for further work.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-264056" status="INCOMING">
          <orgName>Faculty of Sciences, LaSIGE</orgName>
          <desc>
            <address>
              <country key="PT"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1114557" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1114557" status="VALID">
          <idno type="IdRef">238704718</idno>
          <idno type="ISNI">0000 0001 2181 4263</idno>
          <idno type="ROR">https://ror.org/01c27hj86</idno>
          <idno type="Wikidata">Q1122926</idno>
          <orgName>Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa]</orgName>
          <orgName type="acronym">ULISBOA</orgName>
          <desc>
            <address>
              <addrLine>Alameda da Universidade 1649-004 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://www.ulisboa.pt/en</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>