Model-Based Failure Management for Distributed Reactive Systems
Identifieur interne : 000654 ( Istex/Corpus ); précédent : 000653; suivant : 000655Model-Based Failure Management for Distributed Reactive Systems
Auteurs : Vina Ermagan ; Ingolf Krüger ; Massimiliano MenariniSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
Abstract: Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.
Url:
DOI: 10.1007/978-3-540-77419-8_4
Links to Exploration step
ISTEX:83D81434A2D5ED9CDD4859C85361833B272D5861Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Model-Based Failure Management for Distributed Reactive Systems</title>
<author><name sortKey="Ermagan, Vina" sort="Ermagan, Vina" uniqKey="Ermagan V" first="Vina" last="Ermagan">Vina Ermagan</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: vermagan@ucsd.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Kruger, Ingolf" sort="Kruger, Ingolf" uniqKey="Kruger I" first="Ingolf" last="Krüger">Ingolf Krüger</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: ikrueger@ucsd.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Menarini, Massimiliano" sort="Menarini, Massimiliano" uniqKey="Menarini M" first="Massimiliano" last="Menarini">Massimiliano Menarini</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: mmenarini@ucsd.edu</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:83D81434A2D5ED9CDD4859C85361833B272D5861</idno>
<date when="2007" year="2007">2007</date>
<idno type="doi">10.1007/978-3-540-77419-8_4</idno>
<idno type="url">https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000654</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Model-Based Failure Management for Distributed Reactive Systems</title>
<author><name sortKey="Ermagan, Vina" sort="Ermagan, Vina" uniqKey="Ermagan V" first="Vina" last="Ermagan">Vina Ermagan</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: vermagan@ucsd.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Kruger, Ingolf" sort="Kruger, Ingolf" uniqKey="Kruger I" first="Ingolf" last="Krüger">Ingolf Krüger</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: ikrueger@ucsd.edu</mods:affiliation>
</affiliation>
</author>
<author><name sortKey="Menarini, Massimiliano" sort="Menarini, Massimiliano" uniqKey="Menarini M" first="Massimiliano" last="Menarini">Massimiliano Menarini</name>
<affiliation><mods:affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</mods:affiliation>
</affiliation>
<affiliation><mods:affiliation>E-mail: mmenarini@ucsd.edu</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2007</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">83D81434A2D5ED9CDD4859C85361833B272D5861</idno>
<idno type="DOI">10.1007/978-3-540-77419-8_4</idno>
<idno type="ChapterID">4</idno>
<idno type="ChapterID">Chap4</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.</div>
</front>
</TEI>
<istex><corpusName>springer</corpusName>
<author><json:item><name>Vina Ermagan</name>
<affiliations><json:string>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</json:string>
<json:string>E-mail: vermagan@ucsd.edu</json:string>
</affiliations>
</json:item>
<json:item><name>Ingolf Krüger</name>
<affiliations><json:string>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</json:string>
<json:string>E-mail: ikrueger@ucsd.edu</json:string>
</affiliations>
</json:item>
<json:item><name>Massimiliano Menarini</name>
<affiliations><json:string>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</json:string>
<json:string>E-mail: mmenarini@ucsd.edu</json:string>
</affiliations>
</json:item>
</author>
<language><json:string>eng</json:string>
</language>
<originalGenre><json:string>OriginalPaper</json:string>
</originalGenre>
<abstract>Abstract: Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.</abstract>
<qualityIndicators><score>8.372</score>
<pdfVersion>1.6</pdfVersion>
<pdfPageSize>430 x 660 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<keywordCount>0</keywordCount>
<abstractCharCount>1116</abstractCharCount>
<pdfWordCount>7898</pdfWordCount>
<pdfCharCount>47248</pdfCharCount>
<pdfPageCount>22</pdfPageCount>
<abstractWordCount>156</abstractWordCount>
</qualityIndicators>
<title>Model-Based Failure Management for Distributed Reactive Systems</title>
<chapterId><json:string>4</json:string>
<json:string>Chap4</json:string>
</chapterId>
<genre><json:string>conference</json:string>
</genre>
<serie><editor><json:item><name>David Hutchison</name>
</json:item>
<json:item><name>Takeo Kanade</name>
</json:item>
<json:item><name>Josef Kittler</name>
</json:item>
<json:item><name>Jon M. Kleinberg</name>
</json:item>
<json:item><name>Friedemann Mattern</name>
</json:item>
<json:item><name>John C. Mitchell</name>
</json:item>
<json:item><name>Moni Naor</name>
</json:item>
<json:item><name>Oscar Nierstrasz</name>
</json:item>
<json:item><name>C. Pandu Rangan</name>
</json:item>
<json:item><name>Bernhard Steffen</name>
</json:item>
<json:item><name>Madhu Sudan</name>
</json:item>
<json:item><name>Demetri Terzopoulos</name>
</json:item>
<json:item><name>Doug Tygar</name>
</json:item>
<json:item><name>Moshe Y. Vardi</name>
</json:item>
<json:item><name>Gerhard Weikum</name>
</json:item>
</editor>
<issn><json:string>0302-9743</json:string>
</issn>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Lecture Notes in Computer Science</title>
<copyrightDate>2007</copyrightDate>
</serie>
<host><editor><json:item><name>Fabrice Kordon</name>
</json:item>
<json:item><name>Oleg Sokolsky</name>
</json:item>
</editor>
<subject><json:item><value>Computer Science</value>
</json:item>
<json:item><value>Computer Science</value>
</json:item>
<json:item><value>Software Engineering</value>
</json:item>
<json:item><value>Programming Techniques</value>
</json:item>
<json:item><value>Programming Languages, Compilers, Interpreters</value>
</json:item>
<json:item><value>Logics and Meanings of Programs</value>
</json:item>
<json:item><value>Computer Communication Networks</value>
</json:item>
<json:item><value>System Performance and Evaluation</value>
</json:item>
</subject>
<isbn><json:string>978-3-540-77418-1</json:string>
</isbn>
<language><json:string>unknown</json:string>
</language>
<eissn><json:string>1611-3349</json:string>
</eissn>
<title>Composition of Embedded Systems. Scientific and Industrial Issues</title>
<bookId><json:string>978-3-540-77419-8</json:string>
</bookId>
<volume>4888</volume>
<pages><last>74</last>
<first>53</first>
</pages>
<issn><json:string>0302-9743</json:string>
</issn>
<genre><json:string>book-series</json:string>
</genre>
<eisbn><json:string>978-3-540-77419-8</json:string>
</eisbn>
<copyrightDate>2007</copyrightDate>
<doi><json:string>10.1007/978-3-540-77419-8</json:string>
</doi>
</host>
<publicationDate>2007</publicationDate>
<copyrightDate>2007</copyrightDate>
<doi><json:string>10.1007/978-3-540-77419-8_4</json:string>
</doi>
<id>83D81434A2D5ED9CDD4859C85361833B272D5861</id>
<score>0.10458182</score>
<fulltext><json:item><original>true</original>
<mimetype>application/pdf</mimetype>
<extension>pdf</extension>
<uri>https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/fulltext/pdf</uri>
</json:item>
<json:item><original>false</original>
<mimetype>application/zip</mimetype>
<extension>zip</extension>
<uri>https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Model-Based Failure Management for Distributed Reactive Systems</title>
<respStmt><resp>Références bibliographiques récupérées via GROBID</resp>
<name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name>
</respStmt>
</titleStmt>
<publicationStmt><authority>ISTEX</authority>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<availability><p>Springer-Verlag Berlin Heidelberg, 2007</p>
</availability>
<date>2007</date>
</publicationStmt>
<sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Model-Based Failure Management for Distributed Reactive Systems</title>
<author xml:id="author-1"><persName><forename type="first">Vina</forename>
<surname>Ermagan</surname>
</persName>
<email>vermagan@ucsd.edu</email>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
</author>
<author xml:id="author-2"><persName><forename type="first">Ingolf</forename>
<surname>Krüger</surname>
</persName>
<email>ikrueger@ucsd.edu</email>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
</author>
<author xml:id="author-3"><persName><forename type="first">Massimiliano</forename>
<surname>Menarini</surname>
</persName>
<email>mmenarini@ucsd.edu</email>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
</author>
</analytic>
<monogr><title level="m">Composition of Embedded Systems. Scientific and Industrial Issues</title>
<title level="m" type="sub">13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers</title>
<idno type="pISBN">978-3-540-77418-1</idno>
<idno type="eISBN">978-3-540-77419-8</idno>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="DOI">10.1007/978-3-540-77419-8</idno>
<idno type="book-ID">978-3-540-77419-8</idno>
<idno type="book-title-ID">159000</idno>
<idno type="book-sequence-number">4888</idno>
<idno type="book-volume-number">4888</idno>
<idno type="book-chapter-count">12</idno>
<editor><persName><forename type="first">Fabrice</forename>
<surname>Kordon</surname>
</persName>
</editor>
<editor><persName><forename type="first">Oleg</forename>
<surname>Sokolsky</surname>
</persName>
</editor>
<imprint><publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<date type="published" when="2007"></date>
<biblScope unit="volume">4888</biblScope>
<biblScope unit="page" from="53">53</biblScope>
<biblScope unit="page" to="74">74</biblScope>
</imprint>
</monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<editor><persName><forename type="first">David</forename>
<surname>Hutchison</surname>
</persName>
</editor>
<editor><persName><forename type="first">Takeo</forename>
<surname>Kanade</surname>
</persName>
</editor>
<editor><persName><forename type="first">Josef</forename>
<surname>Kittler</surname>
</persName>
</editor>
<editor><persName><forename type="first">Jon</forename>
<forename type="first">M.</forename>
<surname>Kleinberg</surname>
</persName>
</editor>
<editor><persName><forename type="first">Friedemann</forename>
<surname>Mattern</surname>
</persName>
</editor>
<editor><persName><forename type="first">John</forename>
<forename type="first">C.</forename>
<surname>Mitchell</surname>
</persName>
</editor>
<editor><persName><forename type="first">Moni</forename>
<surname>Naor</surname>
</persName>
</editor>
<editor><persName><forename type="first">Oscar</forename>
<surname>Nierstrasz</surname>
</persName>
</editor>
<editor><persName><forename type="first">C.</forename>
<surname>Pandu Rangan</surname>
</persName>
</editor>
<editor><persName><forename type="first">Bernhard</forename>
<surname>Steffen</surname>
</persName>
</editor>
<editor><persName><forename type="first">Madhu</forename>
<surname>Sudan</surname>
</persName>
</editor>
<editor><persName><forename type="first">Demetri</forename>
<surname>Terzopoulos</surname>
</persName>
</editor>
<editor><persName><forename type="first">Doug</forename>
<surname>Tygar</surname>
</persName>
</editor>
<editor><persName><forename type="first">Moshe</forename>
<forename type="first">Y.</forename>
<surname>Vardi</surname>
</persName>
</editor>
<editor><persName><forename type="first">Gerhard</forename>
<surname>Weikum</surname>
</persName>
</editor>
<biblScope><date>2007</date>
</biblScope>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="series-Id">558</idno>
</series>
<idno type="istex">83D81434A2D5ED9CDD4859C85361833B272D5861</idno>
<idno type="DOI">10.1007/978-3-540-77419-8_4</idno>
<idno type="ChapterID">4</idno>
<idno type="ChapterID">Chap4</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><creation><date>2007</date>
</creation>
<langUsage><language ident="en">en</language>
</langUsage>
<abstract xml:lang="en"><p>Abstract: Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.</p>
</abstract>
<textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label>
<item><term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass><keywords scheme="Book-Subject-Group"><list><label>I</label>
<label>I14029</label>
<label>I14010</label>
<label>I14037</label>
<label>I1603X</label>
<label>I13022</label>
<label>I13049</label>
<item><term>Computer Science</term>
</item>
<item><term>Software Engineering</term>
</item>
<item><term>Programming Techniques</term>
</item>
<item><term>Programming Languages, Compilers, Interpreters</term>
</item>
<item><term>Logics and Meanings of Programs</term>
</item>
<item><term>Computer Communication Networks</term>
</item>
<item><term>System Performance and Evaluation</term>
</item>
</list>
</keywords>
</textClass>
</profileDesc>
<revisionDesc><change when="2007">Published</change>
<change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-09-22">References added</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item><original>false</original>
<mimetype>text/plain</mimetype>
<extension>txt</extension>
<uri>https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesElectronicISSN>1611-3349</SeriesElectronicISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
</SeriesInfo>
<SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>David</GivenName>
<FamilyName>Hutchison</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName>
<FamilyName>Kanade</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName>
<FamilyName>Kittler</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName>
<GivenName>M.</GivenName>
<FamilyName>Kleinberg</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName>
<FamilyName>Mattern</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>John</GivenName>
<GivenName>C.</GivenName>
<FamilyName>Mitchell</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName>
<FamilyName>Naor</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName>
<FamilyName>Nierstrasz</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>C.</GivenName>
<FamilyName>Pandu Rangan</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName>
<FamilyName>Steffen</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName>
<FamilyName>Sudan</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName>
<FamilyName>Terzopoulos</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Doug</GivenName>
<FamilyName>Tygar</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName>
<GivenName>Y.</GivenName>
<FamilyName>Vardi</FamilyName>
</EditorName>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName>
<FamilyName>Weikum</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" OutputMedium="All" TocLevels="0"><BookID>978-3-540-77419-8</BookID>
<BookTitle>Composition of Embedded Systems. Scientific and Industrial Issues</BookTitle>
<BookSubTitle>13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers</BookSubTitle>
<BookVolumeNumber>4888</BookVolumeNumber>
<BookSequenceNumber>4888</BookSequenceNumber>
<BookDOI>10.1007/978-3-540-77419-8</BookDOI>
<BookTitleID>159000</BookTitleID>
<BookPrintISBN>978-3-540-77418-1</BookPrintISBN>
<BookElectronicISBN>978-3-540-77419-8</BookElectronicISBN>
<BookChapterCount>12</BookChapterCount>
<BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2007</CopyrightYear>
</BookCopyright>
<BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject>
<BookSubject Code="I14010" Priority="2" Type="Secondary">Programming Techniques</BookSubject>
<BookSubject Code="I14037" Priority="3" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject>
<BookSubject Code="I1603X" Priority="4" Type="Secondary">Logics and Meanings of Programs</BookSubject>
<BookSubject Code="I13022" Priority="5" Type="Secondary">Computer Communication Networks</BookSubject>
<BookSubject Code="I13049" Priority="6" Type="Secondary">System Performance and Evaluation</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
</BookInfo>
<BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Fabrice</GivenName>
<FamilyName>Kordon</FamilyName>
</EditorName>
<Contact><Email>Fabrice.Kordon@lip6.fr</Email>
</Contact>
</Editor>
<Editor><EditorName DisplayOrder="Western"><GivenName>Oleg</GivenName>
<FamilyName>Sokolsky</FamilyName>
</EditorName>
<Contact><Email>sokolsky@cis.upenn.edu</Email>
</Contact>
</Editor>
</EditorGroup>
</BookHeader>
<Part ID="Part1"><PartInfo TocLevels="0"><PartID>1</PartID>
<PartSequenceNumber>1</PartSequenceNumber>
<PartTitle>Model Driven Development and Embedded Systems</PartTitle>
<PartChapterCount>4</PartChapterCount>
<PartContext><SeriesID>558</SeriesID>
<BookTitle>Composition of Embedded Systems</BookTitle>
</PartContext>
</PartInfo>
<Chapter ID="Chap4" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>4</ChapterID>
<ChapterDOI>10.1007/978-3-540-77419-8_4</ChapterDOI>
<ChapterSequenceNumber>4</ChapterSequenceNumber>
<ChapterTitle Language="En">Model-Based Failure Management for Distributed Reactive Systems</ChapterTitle>
<ChapterFirstPage>53</ChapterFirstPage>
<ChapterLastPage>74</ChapterLastPage>
<ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName>
<CopyrightYear>2007</CopyrightYear>
</ChapterCopyright>
<ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext><SeriesID>558</SeriesID>
<PartID>1</PartID>
<BookID>978-3-540-77419-8</BookID>
<BookTitle>Composition of Embedded Systems</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Vina</GivenName>
<FamilyName>Ermagan</FamilyName>
</AuthorName>
<Contact><Email>vermagan@ucsd.edu</Email>
<URL>http://sosa.ucsd.edu</URL>
</Contact>
</Author>
<Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Ingolf</GivenName>
<FamilyName>Krüger</FamilyName>
</AuthorName>
<Contact><Email>ikrueger@ucsd.edu</Email>
<URL>http://sosa.ucsd.edu</URL>
</Contact>
</Author>
<Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Massimiliano</GivenName>
<FamilyName>Menarini</FamilyName>
</AuthorName>
<Contact><Email>mmenarini@ucsd.edu</Email>
<URL>http://sosa.ucsd.edu</URL>
</Contact>
</Author>
<Affiliation ID="Aff1"><OrgName>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404</OrgName>
<OrgAddress><Country>USA</Country>
</OrgAddress>
</Affiliation>
</AuthorGroup>
<Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading>
<Para>Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.</Para>
</Abstract>
<KeywordGroup Language="En"><Heading>Keywords</Heading>
<Keyword>Failure Management</Keyword>
<Keyword>Distributed Systems</Keyword>
<Keyword>Ontology</Keyword>
<Keyword>Reactive Systems</Keyword>
</KeywordGroup>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Part>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6"><titleInfo lang="en"><title>Model-Based Failure Management for Distributed Reactive Systems</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA" lang="en"><title>Model-Based Failure Management for Distributed Reactive Systems</title>
</titleInfo>
<name type="personal"><namePart type="given">Vina</namePart>
<namePart type="family">Ermagan</namePart>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
<affiliation>E-mail: vermagan@ucsd.edu</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Ingolf</namePart>
<namePart type="family">Krüger</namePart>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
<affiliation>E-mail: ikrueger@ucsd.edu</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Massimiliano</namePart>
<namePart type="family">Menarini</namePart>
<affiliation>University of California, San Diego, 9500 Gilman Drive, Mail Code 0404, La Jolla, CA 92093-0404, USA</affiliation>
<affiliation>E-mail: mmenarini@ucsd.edu</affiliation>
<role><roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre type="conference" displayLabel="OriginalPaper"></genre>
<originInfo><publisher>Springer Berlin Heidelberg</publisher>
<place><placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">2007</dateIssued>
<copyrightDate encoding="w3cdtf">2007</copyrightDate>
</originInfo>
<language><languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription><internetMediaType>text/html</internetMediaType>
</physicalDescription>
<abstract lang="en">Abstract: Failure management is key to the development of safety-critical, distributed, reactive systems common in such applications as avionics, automotive, and sensor/actuator networks. Specific challenges to effective failure management include (i) developing an understanding of the application domain so as to define what constitutes a failure; (ii) disentangling failure management concepts at design and runtime; and (iii) detecting and mitigating failures at the level of systems-of-systems integration. In this paper, we address (i) and (ii) by developing a failure ontology for logical and deployment architectures, respectively, including a mapping between the two. This ontology is based on the interaction patterns (or services) defining the component interplay in a distributed system. We address (iii) by defining detectors and mitigators at the service/interaction level – we discuss how to derive detectors for a significant subset of the failure ontology directly from the interaction patterns. We demonstrate the utility of our techniques using a large scale oceanographic sensor/actuator network.</abstract>
<relatedItem type="host"><titleInfo><title>Composition of Embedded Systems. Scientific and Industrial Issues</title>
<subTitle>13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers</subTitle>
</titleInfo>
<name type="personal"><namePart type="given">Fabrice</namePart>
<namePart type="family">Kordon</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Oleg</namePart>
<namePart type="family">Sokolsky</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" displayLabel="Proceedings"></genre>
<originInfo><copyrightDate encoding="w3cdtf">2007</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject><genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject><genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14010">Programming Techniques</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13049">System Performance and Evaluation</topic>
</subject>
<identifier type="DOI">10.1007/978-3-540-77419-8</identifier>
<identifier type="ISBN">978-3-540-77418-1</identifier>
<identifier type="eISBN">978-3-540-77419-8</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">159000</identifier>
<identifier type="BookID">978-3-540-77419-8</identifier>
<identifier type="BookChapterCount">12</identifier>
<identifier type="BookVolumeNumber">4888</identifier>
<identifier type="BookSequenceNumber">4888</identifier>
<identifier type="PartChapterCount">4</identifier>
<part><date>2007</date>
<detail type="part"><title>Model Driven Development and Embedded Systems</title>
</detail>
<detail type="volume"><number>4888</number>
<caption>vol.</caption>
</detail>
<extent unit="pages"><start>53</start>
<end>74</end>
</extent>
</part>
<recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title>
</titleInfo>
<name type="personal"><namePart type="given">David</namePart>
<namePart type="family">Hutchison</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Takeo</namePart>
<namePart type="family">Kanade</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Josef</namePart>
<namePart type="family">Kittler</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Jon</namePart>
<namePart type="given">M.</namePart>
<namePart type="family">Kleinberg</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Friedemann</namePart>
<namePart type="family">Mattern</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">John</namePart>
<namePart type="given">C.</namePart>
<namePart type="family">Mitchell</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moni</namePart>
<namePart type="family">Naor</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Oscar</namePart>
<namePart type="family">Nierstrasz</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">C.</namePart>
<namePart type="family">Pandu Rangan</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Bernhard</namePart>
<namePart type="family">Steffen</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Madhu</namePart>
<namePart type="family">Sudan</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Demetri</namePart>
<namePart type="family">Terzopoulos</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Doug</namePart>
<namePart type="family">Tygar</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Moshe</namePart>
<namePart type="given">Y.</namePart>
<namePart type="family">Vardi</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal"><namePart type="given">Gerhard</namePart>
<namePart type="family">Weikum</namePart>
<role><roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo><copyrightDate encoding="w3cdtf">2007</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">83D81434A2D5ED9CDD4859C85361833B272D5861</identifier>
<identifier type="DOI">10.1007/978-3-540-77419-8_4</identifier>
<identifier type="ChapterID">4</identifier>
<identifier type="ChapterID">Chap4</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2007</accessCondition>
<recordInfo><recordContentSource>SPRINGER</recordContentSource>
<recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin>
</recordInfo>
</mods>
</metadata>
<enrichments><json:item><type>multicat</type>
<uri>https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/enrichments/multicat</uri>
</json:item>
<istex:refBibTEI uri="https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/enrichments/refBib"><teiHeader></teiHeader>
<text><front></front>
<body></body>
<back><listBibl><biblStruct xml:id="b0"><analytic><title level="a" type="main">Special Issue on Model-Driven Development</title>
<author><persName><forename type="first">S</forename>
<surname>Mellor</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Clark</surname>
</persName>
</author>
<author><persName><forename type="first">T</forename>
<surname>Futagami</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">IEEE Software</title>
<imprint><publisher>IEEE</publisher>
<date type="published" when="2003"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b1"><analytic><title></title>
</analytic>
<monogr><title level="m">W3C: Web services architecture</title>
<imprint><date type="published" when="2004"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b2"><analytic><title level="a" type="main">Component based design of multitolerant systems</title>
<author><persName><forename type="first">A</forename>
<surname>Arora</surname>
</persName>
</author>
<author><persName><forename type="first">S</forename>
<forename type="middle">S</forename>
<surname>Kulkarni</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">IEEE Transactions on Software Engineering</title>
<imprint><biblScope unit="volume">24</biblScope>
<date type="published" when="1998"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b3"><analytic><title level="a" type="main">Towards Model-Based Failure-Management for Automotive Software</title>
<author><persName><forename type="first">V</forename>
<surname>Ermagan</surname>
</persName>
</author>
<author><persName><forename type="first">I</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Menarini</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<forename type="middle">I</forename>
<surname>Mizutani</surname>
</persName>
</author>
<author><persName><forename type="first">K</forename>
<surname>Oguchi</surname>
</persName>
</author>
<author><persName><forename type="first">D</forename>
<surname>Weir</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the ICSE 2007 Workshop on Software Engineering for Automotive Systems</title>
<meeting>the ICSE 2007 Workshop on Software Engineering for Automotive Systems</meeting>
<imprint><date type="published" when="2007"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b4"><analytic><title></title>
</analytic>
<monogr><title level="j">ITU-TS: Recommendation Z. Message Sequence Chart (MSC)</title>
<imprint><biblScope unit="volume">6120</biblScope>
<date type="published" when="2004"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b5"><monogr><title level="m" type="main">Distributed System Design with Message Sequence Charts</title>
<author><persName><forename type="first">I</forename>
<forename type="middle">H</forename>
<surname>Krüger</surname>
</persName>
</author>
<imprint><date type="published" when="2000"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b6"><monogr><title level="m" type="main">OMG: UML 2.1.1 Superstructure Specification</title>
<imprint><date type="published" when="2007"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b7"><analytic><title level="a" type="main">Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs</title>
<author><persName><forename type="first">I</forename>
<forename type="middle">H</forename>
<surname>Krüger</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">FASE 2003</title>
<editor>Pezzé, M.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2003"></date>
<biblScope unit="page" from="387" to="402"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b8"><analytic><title level="a" type="main">Systematic Development and Exploration of Service- Oriented Software Architectures</title>
<author><persName><forename type="first">I</forename>
<forename type="middle">H</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Mathew</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA)</title>
<meeting>the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA)<address><addrLine>Los Alamitos</addrLine>
</address>
</meeting>
<imprint><publisher>IEEE</publisher>
<date type="published" when="2004"></date>
<biblScope unit="page" from="177" to="187"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b9"><monogr><title level="m" type="main">Safeware: system safety and computers</title>
<author><persName><forename type="first">N</forename>
<forename type="middle">G</forename>
<surname>Leveson</surname>
</persName>
</author>
<imprint><date type="published" when="1995"></date>
<publisher>ACM Press</publisher>
<pubPlace>New York</pubPlace>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b10"><monogr><title level="m" type="main">Architecting With Rm-Odp</title>
<author><persName><forename type="first">J</forename>
<surname>Putman</surname>
</persName>
</author>
<imprint><date type="published" when="2000"></date>
<publisher>Prentice-Hall</publisher>
<pubPlace>Englewood Cliffs</pubPlace>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b11"><analytic><title level="a" type="main">A Model Based Development Approach for Distributed Embedded Systems</title>
<author><persName><forename type="first">F</forename>
<surname>Gilliers</surname>
</persName>
</author>
<author><persName><forename type="first">F</forename>
<surname>Kordon</surname>
</persName>
</author>
<author><persName><forename type="first">D</forename>
<surname>Regep</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">LNCS</title>
<editor>Wirsing, M., Knapp, A., Balsamo, S.</editor>
<imprint><publisher>Springer</publisher>
<publisher>Springer</publisher>
<biblScope unit="volume">2941</biblScope>
<biblScope unit="page" from="137" to="151"></biblScope>
<date type="published" when="2002"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b12"><analytic><title level="a" type="main">Corrected through Construction: A Model-based Approach to Embedded Systems Reality</title>
<author><persName><forename type="first">E</forename>
<forename type="middle">K</forename>
<surname>Jackson</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Sztipanovits</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems</title>
<imprint><publisher>IEEE, Los Alamitos</publisher>
<date type="published" when="2006"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b13"><analytic><title level="a" type="main">Applying Service-Oriented Development to Complex System: a BART case study</title>
<author><persName><forename type="first">I</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Meisinger</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Menarini</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Monterey Workshop 2005</title>
<editor>Kordon, F., Sztipanovits, J.</editor>
<meeting><address><addrLine>Heidelberg</addrLine>
</address>
</meeting>
<imprint><publisher>Springer</publisher>
<date type="published" when="2007"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b14"><analytic><title level="a" type="main">Model-based run-time monitoring of end-to-end deadlines</title>
<author><persName><forename type="first">J</forename>
<surname>Ahluwalia</surname>
</persName>
</author>
<author><persName><forename type="first">I</forename>
<forename type="middle">H</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">W</forename>
<surname>Phillips</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Meisinger</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">EMSOFT 2005. 5th ACM international conference on Embedded Software</title>
<meeting><address><addrLine>New York</addrLine>
</address>
</meeting>
<imprint><publisher>ACM Press</publisher>
<date type="published" when="2005"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b15"><analytic><title level="a" type="main">Component synthesis from service specifications Scenarios: Models, Transformations and Tools</title>
<author><persName><forename type="first">I</forename>
<forename type="middle">H</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Mathew</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">LNCS</title>
<editor>Leue, S., Systä, T.J.</editor>
<imprint><publisher>Springer</publisher>
<publisher>Springer</publisher>
<biblScope unit="volume">3466</biblScope>
<date type="published" when="2005"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b16"><analytic><title level="a" type="main">From mscs to statecharts</title>
<author><persName><forename type="first">I</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">R</forename>
<surname>Grosu</surname>
</persName>
</author>
<author><persName><forename type="first">P</forename>
<surname>Scholz</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Broy</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Distributed and Parallel Embedded Systems</title>
<editor>Rammig , F.J.</editor>
<meeting><address><addrLine>Dordrecht</addrLine>
</address>
</meeting>
<imprint><publisher>Kluwer Academic Publishers</publisher>
<date type="published" when="1999"></date>
<biblScope unit="page" from="61" to="71"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b17"><analytic><title level="a" type="main">Using message sequence charts for component-based formal verification</title>
<author><persName><forename type="first">B</forename>
<surname>Finkbeiner</surname>
</persName>
</author>
<author><persName><forename type="first">I</forename>
<surname>Krüger</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Specification and Verification of Component Based Systems (SAVCBS), Iowa State University Workshop at OOPSLA</title>
<imprint><date type="published" when="2001"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b18"><analytic><title level="a" type="main">Combining Angels, Demons and Miracles in Program Specifications</title>
<author><persName><forename type="first">R</forename>
<surname>Back</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Wright</surname>
</persName>
</author>
</analytic>
<monogr><title level="j">TCS</title>
<imprint><biblScope unit="volume">100</biblScope>
<biblScope unit="issue">2</biblScope>
<biblScope unit="page" from="365" to="383"></biblScope>
<date type="published" when="1992"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b19"><analytic><title level="a" type="main">Rapid Systems of Systems Integration -Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure</title>
<author><persName><forename type="first">I</forename>
<surname>Krüger</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Meisinger</surname>
</persName>
</author>
<author><persName><forename type="first">M</forename>
<surname>Menarini</surname>
</persName>
</author>
<author><persName><forename type="first">S</forename>
<surname>Pasco</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">IEEE International Conference on Information Reuse and Integration IEEE Systems, Man, and Cybernetics Society</title>
<imprint><date type="published" when="2006"></date>
<biblScope unit="page" from="51" to="56"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b20"><analytic><title></title>
</analytic>
<monogr><title level="j">OMG: Fault Tolerant CORBA. OMG</title>
<imprint><biblScope unit="volume">formal</biblScope>
<biblScope unit="page" from="04" to="03"></biblScope>
<date type="published" when="2004"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b21"><analytic><title level="a" type="main">Failure management for ft-corba applications</title>
<author><persName><forename type="first">R</forename>
<surname>Baldoni</surname>
</persName>
</author>
<author><persName><forename type="first">C</forename>
<surname>Marchetti</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Virgillito</surname>
</persName>
</author>
<author><persName><forename type="first">F</forename>
<surname>Zito</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">WORDS 2001. Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems</title>
<meeting><address><addrLine>Los Alamitos</addrLine>
</address>
</meeting>
<imprint><publisher>IEEE</publisher>
<date type="published" when="2001"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b22"><analytic><title level="a" type="main">Verifying fault tolerance of distributed algorithms formally – an example</title>
<author><persName><forename type="first">H</forename>
<surname>Völzer</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the International Conference on Application of Concurrency to System Design</title>
<meeting>the International Conference on Application of Concurrency to System Design<address><addrLine>Los Alamitos</addrLine>
</address>
</meeting>
<imprint><publisher>IEEE</publisher>
<date type="published" when="1998"></date>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b23"><analytic><title level="a" type="main">N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation</title>
<author><persName><forename type="first">L</forename>
<surname>Chen</surname>
</persName>
</author>
<author><persName><forename type="first">A</forename>
<surname>Avizienis</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proc. 8th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-8)</title>
<meeting>. 8th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-8)</meeting>
<imprint><date type="published" when="1978"></date>
<biblScope unit="page" from="3" to="9"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b24"><analytic><title level="a" type="main">Architecture-driven platform independent deterministic replay for distributed hard real-time systems</title>
<author><persName><forename type="first">H</forename>
<surname>Giese</surname>
</persName>
</author>
<author><persName><forename type="first">S</forename>
<surname>Henkler</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis</title>
<meeting>the ISSTA 2006 workshop on Role of software architecture for testing and analysis</meeting>
<imprint><date type="published" when="2006"></date>
<biblScope unit="page" from="28" to="38"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b25"><analytic><title level="a" type="main">Design of self-managing dependable systems with UML and fault tolerance patterns</title>
<author><persName><forename type="first">M</forename>
<surname>Tichy</surname>
</persName>
</author>
<author><persName><forename type="first">D</forename>
<surname>Schilling</surname>
</persName>
</author>
<author><persName><forename type="first">H</forename>
<surname>Giese</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems</title>
<meeting>the 1st ACM SIGSOFT workshop on Self-managed systems</meeting>
<imprint><date type="published" when="2004"></date>
<biblScope unit="page" from="105" to="109"></biblScope>
</imprint>
</monogr>
</biblStruct>
<biblStruct xml:id="b26"><analytic><title level="a" type="main">Software Black Box: an Alternative Mechanism for Failure Analysis</title>
<author><persName><forename type="first">S</forename>
<surname>Elbaum</surname>
</persName>
</author>
<author><persName><forename type="first">J</forename>
<surname>Munson</surname>
</persName>
</author>
</analytic>
<monogr><title level="m">International Symposium on Software Reliability Engineering</title>
<imprint><date type="published" when="2000"></date>
<biblScope unit="page" from="365" to="376"></biblScope>
</imprint>
</monogr>
</biblStruct>
</listBibl>
</back>
</text>
</istex:refBibTEI>
<json:item><type>refBibs</type>
<uri>https://api.istex.fr/document/83D81434A2D5ED9CDD4859C85361833B272D5861/enrichments/refBibs</uri>
</json:item>
</enrichments>
</istex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/CyberinfraV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000654 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000654 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Ticri/CIDE |area= CyberinfraV1 |flux= Istex |étape= Corpus |type= RBID |clé= ISTEX:83D81434A2D5ED9CDD4859C85361833B272D5861 |texte= Model-Based Failure Management for Distributed Reactive Systems }}
This area was generated with Dilib version V0.6.25. |