<?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-01055377</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:16+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Ubiquitous Verification of Ubiquitous Systems</title>
            <author role="aut">
              <persName>
                <forename type="first">Reinhard</forename>
                <surname>Wilhelm</surname>
              </persName>
              <idno type="halauthorid">414327-0</idno>
              <affiliation ref="#struct-92733"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Matteo</forename>
                <surname>Maffei</surname>
              </persName>
              <idno type="halauthorid">786183-0</idno>
              <affiliation ref="#struct-92733"/>
            </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 15:34:15</date>
              <date type="whenModified">2024-12-05 14:12:05</date>
              <date type="whenReleased">2014-08-12 15:44:42</date>
              <date type="whenProduced">2010-10-13</date>
              <date type="whenEndEmbargoed">2014-08-12</date>
              <ref type="file" target="https://inria.hal.science/hal-01055377v1/document">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01055377v1/file/main.pdf" id="file-1055377-859800">
                <date notBefore="2014-08-12"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-16256-5_7.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-01055377</idno>
            <idno type="halUri">https://inria.hal.science/hal-01055377</idno>
            <idno type="halBibtex">wilhelm:hal-01055377</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.47-58, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-16256-5_7"&gt;&amp;#x27E8;10.1007/978-3-642-16256-5_7&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.47-58, &amp;#x27E8;10.1007/978-3-642-16256-5_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1055377-859800"/></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">Ubiquitous Verification of Ubiquitous Systems</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Reinhard</forename>
                    <surname>Wilhelm</surname>
                  </persName>
                  <idno type="halauthorid">414327-0</idno>
                  <affiliation ref="#struct-92733"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Matteo</forename>
                    <surname>Maffei</surname>
                  </persName>
                  <idno type="halauthorid">786183-0</idno>
                  <affiliation ref="#struct-92733"/>
                </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">47-58</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-16256-5_7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">timing predictability</term>
                <term xml:lang="en">hard real-time</term>
                <term xml:lang="en">WCET</term>
                <term xml:lang="en">timing analysis</term>
                <term xml:lang="en">networking</term>
                <term xml:lang="en">security</term>
                <term xml:lang="en">verification</term>
                <term xml:lang="en">Embedded systems</term>
              </keywords>
              <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>Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned applications and trends in system design increase this need. Several of these trends, e.g. function integration, concurrency, energy awareness, networking and their consequences for verification are considered in this article. It is described that, already in the past, verification was made possible only due to rules restricting the design and it is argued that even more so in the future the constructive influence on the design of hardware and software will be a necessary condition to keep the verification task tractable.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-92733" status="VALID">
          <idno type="ROR">https://ror.org/01jdpyv68</idno>
          <orgName>Universität des Saarlandes [Saarbrücken] = Saarland University [Saarbrücken]</orgName>
          <desc>
            <address>
              <addrLine>Universität des Saarlandes Campus D-66123 Saarbrücken</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-saarland.de</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>