{"id":"https://openalex.org/W1544281820","doi":"https://doi.org/10.1007/978-3-642-02414-6_5","title":"Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support","display_name":"Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W1544281820","doi":"https://doi.org/10.1007/978-3-642-02414-6_5","mag":"1544281820"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-02414-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02414-6_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://hal.inria.fr/inria-00459608","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029213853","display_name":"Junguo Li","orcid":"https://orcid.org/0000-0003-2017-7463"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junguo Li","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101601497","display_name":"Xiangping Chen","orcid":"https://orcid.org/0000-0001-8234-3186"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangping Chen","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033164669","display_name":"Gang Huang","orcid":"https://orcid.org/0000-0001-8393-6469"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Huang","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013024407","display_name":"Mei Hong","orcid":"https://orcid.org/0000-0001-5255-5858"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hong Mei","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015967363","display_name":"Franck Chauvel","orcid":null},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Franck Chauvel","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies, Ministry of Education, School of Electronics Engineering and Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.0239,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8733035,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8698503375053406},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.7697445154190063},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.585538387298584},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.5723633170127869},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5362095236778259},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.48736482858657837},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4756188690662384},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4658758342266083},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4521186947822571},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.4103962481021881},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3396672010421753},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1601918637752533},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15032082796096802},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.06035083532333374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8698503375053406},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.7697445154190063},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.585538387298584},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.5723633170127869},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5362095236778259},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.48736482858657837},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4756188690662384},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4658758342266083},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4521186947822571},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.4103962481021881},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3396672010421753},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1601918637752533},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15032082796096802},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.06035083532333374},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-02414-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-02414-6_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:inria-00459608v1","is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00459608","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International SIGSOFT Symposium on Component-based Software Engineering (CBSE)","raw_type":null},{"id":"pmh:oai:HAL:inria-00459608v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00459608","pdf_url":null,"source":{"id":"https://openalex.org/S4406922276","display_name":"INRIA a CCSD electronic archive server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International SIGSOFT Symposium on Component-based Software Engineering (CBSE), Jun 2009, East Stroudsburg, United States","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00459608v1","is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00459608","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International SIGSOFT Symposium on Component-based Software Engineering (CBSE)","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W111345116","https://openalex.org/W1494640588","https://openalex.org/W1606900254","https://openalex.org/W1715430920","https://openalex.org/W1986391265","https://openalex.org/W2041699422","https://openalex.org/W2046416201","https://openalex.org/W2084608278","https://openalex.org/W2099402694","https://openalex.org/W2102854774","https://openalex.org/W2111313582","https://openalex.org/W2111355426","https://openalex.org/W2115305047","https://openalex.org/W2115309705","https://openalex.org/W2117175291","https://openalex.org/W2118023438","https://openalex.org/W2122149060","https://openalex.org/W2145071552","https://openalex.org/W2147585467","https://openalex.org/W2148278459","https://openalex.org/W2152846401","https://openalex.org/W2158149707","https://openalex.org/W2159375836","https://openalex.org/W2161056315","https://openalex.org/W2162386866","https://openalex.org/W2166956482","https://openalex.org/W2171445445","https://openalex.org/W4239385694","https://openalex.org/W4242620130","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2971479921","https://openalex.org/W2106348006","https://openalex.org/W3145923041","https://openalex.org/W2946906624","https://openalex.org/W841176518","https://openalex.org/W1978919910","https://openalex.org/W2157727563","https://openalex.org/W2101077206","https://openalex.org/W2024212764","https://openalex.org/W2470343202"],"abstract_inverted_index":{"To":[0,53],"build":[1],"highly":[2],"available":[3],"or":[4,77],"reliable":[5],"applications":[6],"out":[7],"of":[8,87,108,145],"unreliable":[9],"third-party":[10],"components,":[11],"some":[12],"software-implemented":[13],"fault-tolerant":[14,43,90,98,103],"mechanisms":[15,44,61],"are":[16,62,92,100,115,134],"introduced":[17],"to":[18,38,72],"gracefully":[19],"deal":[20],"with":[21],"failures":[22],"in":[23,34,49,57],"the":[24,35,40,55,58,81,96,106,109,137,143,146],"components.":[25],"In":[26],"this":[27],"paper,":[28],"we":[29,121],"address":[30],"an":[31],"important":[32],"issue":[33],"approach:":[36],"how":[37],"select":[39],"most":[41],"suitable":[42],"for":[45,112,136],"a":[46,50],"given":[47],"application":[48],"specific":[51],"context.":[52],"alleviate":[54],"difficulty":[56],"selection,":[59],"these":[60],"abstracted":[63],"as":[64,102],"Fault-tolerant":[65],"styles":[66],"(FTSs)":[67],"at":[68],"first,":[69],"which":[70],"helps":[71],"achieve":[73],"required":[74,97,110],"high":[75],"availability":[76],"reliability":[78],"correctly":[79],"because":[80],"complex":[82],"interactions":[83],"among":[84],"functional":[85],"parts":[86],"software":[88],"and":[89,105,132],"mechanism":[91],"explicitly":[93],"modeled.":[94],"Then":[95],"capabilities":[99],"specified":[101],"properties,":[104],"satisfactions":[107],"properties":[111,131],"candidate":[113],"FTSs":[114],"verified":[116],"by":[117],"model":[118],"checking.":[119],"Specifically,":[120],"take":[122],"application-specific":[123],"constraints":[124,133],"into":[125],"consideration":[126],"during":[127],"verification.":[128],"The":[129],"satisfied":[130],"evidences":[135],"selection.":[138],"A":[139],"case":[140],"study":[141],"shows":[142],"effectiveness":[144],"approach.":[147]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}