乐胖代购免代理版

{"id":"https://openalex.org/W2166752259","doi":"https://doi.org/10.1109/dsn.2004.1311889","title":"Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation","display_name":"Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2166752259","doi":"https://doi.org/10.1109/dsn.2004.1311889","mag":"2166752259"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2004.1311889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019070738","display_name":"Wilfried Steiner","orcid":"https://orcid.org/0000-0003-0652-5943"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"W. Steiner","raw_affiliation_strings":["Real-Time Systems Group, Technische Universit\u00e4t Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Real-Time Systems Group, Technische Universit\u00e4t Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020087247","display_name":"John Rushby","orcid":"https://orcid.org/0000-0002-6604-9953"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Rushby","raw_affiliation_strings":["Computer Science Laboratory, SRI International, Inc., USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Inc., USA","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026532148","display_name":"Maria Sorea","orcid":null},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"M. Sorea","raw_affiliation_strings":["Abteilung K\u00fcnstliche Intelligenz, Universi\u00e4t Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Abteilung K\u00fcnstliche Intelligenz, Universi\u00e4t Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083678014","display_name":"Holger Pfeifer","orcid":null},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"education","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"H. Pfeifer","raw_affiliation_strings":["Abteilung K\u00fcnstliche Intelligenz, Universi\u00e4t Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"Abteilung K\u00fcnstliche Intelligenz, Universi\u00e4t Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":11.456,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":73,"citation_normalized_percentile":{"value":0.967255,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"189","last_page":"198"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.999,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.999,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9989,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/software-fault-tolerance","display_name":"Software fault tolerance","score":0.48810157},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.4726148}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7577093},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.57281077},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.56801057},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5547541},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5309486},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.48810157},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.4726148},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.46864173},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.45204028},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.43934655},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40854684},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3714105},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32730725},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.108863324},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.102663726},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2004.1311889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":15,"referenced_works":["https://openalex.org/W1487606492","https://openalex.org/W1523509419","https://openalex.org/W1586536757","https://openalex.org/W1597285054","https://openalex.org/W1612681298","https://openalex.org/W1989746243","https://openalex.org/W2084608278","https://openalex.org/W2098784258","https://openalex.org/W2104978174","https://openalex.org/W2113820327","https://openalex.org/W2133740077","https://openalex.org/W2148762176","https://openalex.org/W2171514411","https://openalex.org/W2538607326","https://openalex.org/W4242346029"],"related_works":["https://openalex.org/W4300923837","https://openalex.org/W3145923041","https://openalex.org/W2971479921","https://openalex.org/W2946906624","https://openalex.org/W2742111403","https://openalex.org/W2355966237","https://openalex.org/W2121043529","https://openalex.org/W2098626762","https://openalex.org/W2083209667","https://openalex.org/W2032374522"],"abstract_inverted_index":{"The":[0],"increasing":[1],"performance":[2],"of":[3,14,18,40,126],"modern":[4],"model-checking":[5],"tools":[6,127],"offers":[7],"high":[8],"potential":[9],"for":[10,82,109],"the":[11,37,48,83,99,104,124],"computer-aided":[12],"design":[13,100],"fault-tolerant":[15,31,120],"algorithms.":[16],"Instead":[17],"relying":[19],"on":[20],"human":[21],"imagination":[22],"to":[23,28,47,55,95,116],"generate":[24],"taxing":[25],"failure":[26,60],"scenarios":[27],"probe":[29],"a":[30,41,78],"algorithm":[32,81],"during":[33],"development,":[34],"we":[35,72],"define":[36],"fault":[38,67,75],"behavior":[39],"faulty":[42],"process":[43],"at":[44],"its":[45],"interfaces":[46],"remaining":[49],"system":[50],"and":[51,87,112,118],"use":[52,103],"model":[53],"checking":[54],"automatically":[56],"examine":[57],"all":[58],"possible":[59],"scenarios.":[61],"We":[62,102],"call":[63],"this":[64,70,90],"approach":[65,91,115],"\"exhaustive":[66],"simulation\".":[68],"In":[69],"paper":[71],"illustrate":[73],"exhaustive":[74],"simulation":[76],"using":[77],"new":[79],"startup":[80],"time-triggered":[84],"architecture":[85],"(TTA)":[86],"show":[88],"that":[89,122],"is":[92],"fast":[93],"enough":[94],"be":[96],"deployed":[97],"in":[98],"loop.":[101],"SAL":[105],"toolset":[106],"from":[107],"SRI":[108],"our":[110],"experiments":[111],"describe":[113],"an":[114],"modeling":[117],"analyzing":[119],"algorithms":[121],"exploits":[123],"capabilities":[125],"such":[128],"as":[129],"this.":[130]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2166752259","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2024-12-09T22:32:43.424342","created_date":"2016-06-24"}