PittsburghV1, Hal, Curation, bibRecord, 000548

Software dependability modeling using an industry-standard architecture description language

Identifieur interne : 000548 ( Hal/Curation ); précédent : 000547; suivant : 000549

Software dependability modeling using an industry-standard architecture description language

Auteurs : Ana-Elena Rugina [France] ; Peter Feiler [États-Unis] ; Karama Kanoun [France] ; Mohamed Kaâniche [France]

Source :

RBID : Hal:hal-00323983

Abstract

Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.

Url:

https://hal.archives-ouvertes.fr/hal-00323983

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000552

Links to Exploration step

Hal:hal-00323983

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Software dependability modeling using an industry-standard architecture description language</title>
<author><name sortKey="Rugina, Ana Elena" sort="Rugina, Ana Elena" uniqKey="Rugina A" first="Ana-Elena" last="Rugina">Ana-Elena Rugina</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Feiler, Peter" sort="Feiler, Peter" uniqKey="Feiler P" first="Peter" last="Feiler">Peter Feiler</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID">          <orgName>Software Engineering Institute [Pittsburgh]</orgName>
          <orgName type="acronym">SEI</orgName>
          <desc>            <address>              <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine>
              <country key="US"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Kanoun, Karama" sort="Kanoun, Karama" uniqKey="Kanoun K" first="Karama" last="Kanoun">Karama Kanoun</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Kaaniche, Mohamed" sort="Kaaniche, Mohamed" uniqKey="Kaaniche M" first="Mohamed" last="Kaâniche">Mohamed Kaâniche</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00323983</idno>
<idno type="halId">hal-00323983</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00323983</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00323983</idno>
<date when="2008-01-29">2008-01-29</date>
<idno type="wicri:Area/Hal/Corpus">000552</idno>
<idno type="wicri:Area/Hal/Curation">000552</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Software dependability modeling using an industry-standard architecture description language</title>
<author><name sortKey="Rugina, Ana Elena" sort="Rugina, Ana Elena" uniqKey="Rugina A" first="Ana-Elena" last="Rugina">Ana-Elena Rugina</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Feiler, Peter" sort="Feiler, Peter" uniqKey="Feiler P" first="Peter" last="Feiler">Peter Feiler</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-74311" status="VALID">          <orgName>Software Engineering Institute [Pittsburgh]</orgName>
          <orgName type="acronym">SEI</orgName>
          <desc>            <address>              <addrLine> Carnegie Mellon University 4500 Fifth Avenue Pittsburgh, PA 15213-2612</addrLine>
              <country key="US"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-67135" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-67135" type="direct"><org type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
<author><name sortKey="Kanoun, Karama" sort="Kanoun, Karama" uniqKey="Kanoun K" first="Karama" last="Kanoun">Karama Kanoun</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
<author><name sortKey="Kaaniche, Mohamed" sort="Kaaniche, Mohamed" uniqKey="Kaaniche M" first="Mohamed" last="Kaâniche">Mohamed Kaâniche</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389097" status="VALID">          <orgName>Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique </orgName>
          <orgName type="acronym">LAAS-TSF</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">https://www.laas.fr/public/fr/tsf</ref>
          </desc>
          <listRelation>            <relation active="#struct-459" type="direct"></relation>
            <relation active="#struct-5030" type="indirect"></relation>
            <relation active="#struct-116255" type="indirect"></relation>
            <relation active="#struct-217752" type="indirect"></relation>
            <relation name="UPR8001" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID">          <idno type="RNSR">199517454Y</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="IdRef">199278792</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName>
          <orgName type="acronym">LAAS</orgName>
          <desc>            <address>              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>            <relation active="#struct-5030" type="direct"></relation>
            <relation active="#struct-116255" type="direct"></relation>
            <relation active="#struct-217752" type="direct"></relation>
            <relation name="UPR8001" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID">          <orgName>Institut National Polytechnique [Toulouse]</orgName>
          <orgName type="acronym">INP</orgName>
          <desc>            <address>              <addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.inp-toulouse.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-116255" type="indirect"><org type="institution" xml:id="struct-116255" status="VALID">          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <desc>            <address>              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID">          <orgName>Université Paul Sabatier - Toulouse 3</orgName>
          <orgName type="acronym">UPS</orgName>
          <desc>            <address>              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="nl"><term>AADL</term>
<term>Dependability modeling</term>
<term>evluation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.</div>
</front>
</TEI>
<hal api="V3">          <titleStmt>            <title xml:lang="en">Software dependability modeling using an industry-standard architecture description language</title>
            <author role="aut">              <persName>                <forename type="first">Ana-Elena</forename>
                <surname>Rugina</surname>
              </persName>
              <idno type="halauthorid">173952</idno>
              <affiliation ref="#struct-389097"></affiliation>
            </author>
            <author role="aut">              <persName>                <forename type="first">Peter</forename>
                <forename type="middle">H.</forename>
                <surname>Feiler</surname>
              </persName>
              <idno type="halauthorid">354534</idno>
              <affiliation ref="#struct-74311"></affiliation>
            </author>
            <author role="aut">              <persName>                <forename type="first">Karama</forename>
                <surname>Kanoun</surname>
              </persName>
              <email type="md5">c662f0192538d00592b78e98913c2520</email>
              <email type="domain">laas.fr </email>
              <idno type="idhal" notation="string">karama-kanoun</idno>
              <idno type="idhal" notation="numeric">13943</idno>
              <idno type="halauthorid">1188917</idno>
              <affiliation ref="#struct-389097"></affiliation>
            </author>
            <author role="aut">              <persName>                <forename type="first">Mohamed</forename>
                <surname>Kaâniche</surname>
              </persName>
              <email type="md5">1ee68888caed857a3dcbc2e53f464bff</email>
              <email type="domain">laas.fr</email>
              <idno type="idhal" notation="string">mohamed-kaaniche</idno>
              <idno type="idhal" notation="numeric">13942</idno>
              <idno type="halauthorid">1089028</idno>
              <orgName ref="#struct-389097"></orgName>
              <affiliation ref="#struct-389097"></affiliation>
            </author>
            <editor role="depositor">              <persName>                <forename>Karama</forename>
                <surname>Kanoun</surname>
              </persName>
              <email type="md5">d8c4040a2221c245f2a45f6ebbc9462a</email>
              <email type="domain">laas.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>            <edition n="v1" type="current">              <date type="whenSubmitted">2008-09-23 16:51:25</date>
              <date type="whenWritten">2008-01-29</date>
              <date type="whenModified">2017-01-11 01:04:18</date>
              <date type="whenReleased">2008-09-24 09:26:43</date>
              <date type="whenProduced">2008-01-29</date>
              <date type="whenEndEmbargoed">2008-09-23</date>
              <ref type="file" target="https://hal.archives-ouvertes.fr/hal-00323983/document">                <date notBefore="2008-09-23"></date>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.archives-ouvertes.fr/hal-00323983/file/ERTS2008_0125_paper.pdf">                <date notBefore="2008-09-23"></date>
              </ref>
            </edition>
            <respStmt>              <resp>contributor</resp>
              <name key="122302">                <persName>                  <forename>Karama</forename>
                  <surname>Kanoun</surname>
                </persName>
                <email type="md5">d8c4040a2221c245f2a45f6ebbc9462a</email>
                <email type="domain">laas.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>            <distributor>CCSD</distributor>
            <idno type="halId">hal-00323983</idno>
            <idno type="halUri">https://hal.archives-ouvertes.fr/hal-00323983</idno>
            <idno type="halBibtex">rugina:hal-00323983</idno>
            <idno type="halRefHtml">Rapport LAAS n° 06558. 2008</idno>
            <idno type="halRef">Rapport LAAS n° 06558. 2008</idno>
          </publicationStmt>
          <seriesStmt>            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="LAAS-TSF" p="LAAS-INFORMATIQUE-CRITIQUE">Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université Paul Sabatier - Toulouse III</idno>
            <idno type="stamp" n="LAAS-INFORMATIQUE-CRITIQUE" p="LAAS">LAAS-Informatique Critique</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
          </seriesStmt>
          <notesStmt>            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>            <biblStruct>              <analytic>                <title xml:lang="en">Software dependability modeling using an industry-standard architecture description language</title>
                <author role="aut">                  <persName>                    <forename type="first">Ana-Elena</forename>
                    <surname>Rugina</surname>
                  </persName>
                  <idno type="halauthorid">173952</idno>
                  <affiliation ref="#struct-389097"></affiliation>
                </author>
                <author role="aut">                  <persName>                    <forename type="first">Peter</forename>
                    <forename type="middle">H.</forename>
                    <surname>Feiler</surname>
                  </persName>
                  <idno type="halauthorid">354534</idno>
                  <affiliation ref="#struct-74311"></affiliation>
                </author>
                <author role="aut">                  <persName>                    <forename type="first">Karama</forename>
                    <surname>Kanoun</surname>
                  </persName>
                  <email type="md5">c662f0192538d00592b78e98913c2520</email>
                  <email type="domain">laas.fr </email>
                  <idno type="idhal" notation="string">karama-kanoun</idno>
                  <idno type="idhal" notation="numeric">13943</idno>
                  <idno type="halauthorid">1188917</idno>
                  <affiliation ref="#struct-389097"></affiliation>
                </author>
                <author role="aut">                  <persName>                    <forename type="first">Mohamed</forename>
                    <surname>Kaâniche</surname>
                  </persName>
                  <email type="md5">1ee68888caed857a3dcbc2e53f464bff</email>
                  <email type="domain">laas.fr</email>
                  <idno type="idhal" notation="string">mohamed-kaaniche</idno>
                  <idno type="idhal" notation="numeric">13942</idno>
                  <idno type="halauthorid">1089028</idno>
                  <orgName ref="#struct-389097"></orgName>
                  <affiliation ref="#struct-389097"></affiliation>
                </author>
              </analytic>
              <monogr>                <idno type="localRef">Rapport LAAS n° 06558</idno>
                <imprint></imprint>
              </monogr>
              <idno type="arxiv">0809.4109</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>            <langUsage>              <language ident="en">English</language>
            </langUsage>
            <textClass>              <keywords scheme="author">                <term xml:lang="nl">Dependability modeling</term>
                <term xml:lang="nl">evluation</term>
                <term xml:lang="nl">AADL</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusable modeling patterns for fault-tolerant applications and shows how the presented patterns can be used in the context of a subsystem of a real-life application.</abstract>
          </profileDesc>
        </hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/Hal/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000548 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 000548 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    Hal
   |étape=   Curation
   |type=    RBID
   |clé=     Hal:hal-00323983
   |texte=   Software dependability modeling using an industry-standard architecture description language
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

Software dependability modeling using an industry-standard architecture description language

Software dependability modeling using an industry-standard architecture description language

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri