{"id":"https://openalex.org/W2141585437","doi":"https://doi.org/10.1109/dsd.2002.1115366","title":"Fault latencies of concurrent checking FSMs","display_name":"Fault latencies of concurrent checking FSMs","publication_year":2003,"publication_date":"2003-06-26","ids":{"openalex":"https://openalex.org/W2141585437","doi":"https://doi.org/10.1109/dsd.2002.1115366","mag":"2141585437"},"language":"en","primary_location":{"id":"doi:10.1109/dsd.2002.1115366","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsd.2002.1115366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools","raw_type":"proceedings-article"},"type":"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/A5037314869","display_name":"R.E. Goot","orcid":null},"institutions":[{"id":"https://openalex.org/I157943965","display_name":"Holon Institute of Technology","ror":"https://ror.org/02prqh017","country_code":"IL","type":"education","lineage":["https://openalex.org/I157943965"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"R. Goot","raw_affiliation_strings":["Academic Technological Institute, Holon, Israel","Acad. Technol. Inst., Holon, Israel"],"affiliations":[{"raw_affiliation_string":"Academic Technological Institute, Holon, Israel","institution_ids":["https://openalex.org/I157943965"]},{"raw_affiliation_string":"Acad. Technol. Inst., Holon, Israel","institution_ids":["https://openalex.org/I157943965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018635318","display_name":"Ilya Levin","orcid":"https://orcid.org/0000-0002-0298-4547"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"I. Levin","raw_affiliation_strings":["Tel-Aviv University, Israel","Tel-Aviv  University"],"affiliations":[{"raw_affiliation_string":"Tel-Aviv University, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel-Aviv  University","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066991394","display_name":"S. Ostanin","orcid":"https://orcid.org/0000-0002-4204-4808"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"S. Ostanin","raw_affiliation_strings":["Tel-Aviv University, Israel","Tel-Aviv  University"],"affiliations":[{"raw_affiliation_string":"Tel-Aviv University, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel-Aviv  University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5037314869"],"corresponding_institution_ids":["https://openalex.org/I157943965"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.22593425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"174","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9932000041007996,"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/latency","display_name":"Latency (audio)","score":0.8720377683639526},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7691437005996704},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.7312820553779602},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5615966320037842},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5271106362342834},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.4879893660545349},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4104929566383362},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3716888129711151},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.35118502378463745},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3445190191268921},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30741363763809204},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2155640423297882},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.1276898980140686},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10053771734237671}],"concepts":[{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.8720377683639526},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7691437005996704},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.7312820553779602},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5615966320037842},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5271106362342834},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.4879893660545349},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4104929566383362},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3716888129711151},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.35118502378463745},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3445190191268921},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30741363763809204},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2155640423297882},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.1276898980140686},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10053771734237671},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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":1,"locations":[{"id":"doi:10.1109/dsd.2002.1115366","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsd.2002.1115366","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1548975601","https://openalex.org/W1906369229","https://openalex.org/W1932391417","https://openalex.org/W2067409688","https://openalex.org/W2075379212","https://openalex.org/W2751862591","https://openalex.org/W2790825170","https://openalex.org/W6669063669"],"related_works":["https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W127357700","https://openalex.org/W1483156373","https://openalex.org/W2508541108","https://openalex.org/W1480528870","https://openalex.org/W2152996796","https://openalex.org/W2315419748","https://openalex.org/W2560415449","https://openalex.org/W2120954098"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"introduce":[4],"concepts":[5],"of":[6,28,44,51,65,67,74,104,116],"a":[7,12,25],"potential":[8,22],"fault":[9,14,76],"latency":[10,15,23,31,38],"and":[11,114],"real":[13,37],"for":[16,32,49,53,91],"Finite":[17],"State":[18],"Machines":[19],"(FSMs).":[20],"The":[21],"defines":[24],"minimal":[26],"value":[27],"the":[29,36,41,45,68,75,82,88,105,112],"possible":[30],"an":[33,92,101],"FSM,":[34],"while":[35],"relates":[39],"to":[40,111],"certain":[42],"implementation":[43],"FSM":[46,78,84,113],"A":[47],"method":[48],"investigation":[50],"latencies":[52],"online":[54],"checking":[55],"FSMs":[56],"is":[57,61,119],"described":[58],"This":[59,95],"technique":[60],"based":[62],"on":[63],"selection":[64],"trajectories":[66],"Markov":[69],"chain,":[70],"which":[71],"describes":[72],"behavior":[73],"free":[77],"as":[79,81],"well":[80],"faulty":[83],"We":[85],"also":[86],"estimate":[87],"lowest":[89],"bound":[90],"average":[93],"latency.":[94],"estimation":[96],"may":[97],"be":[98],"useful":[99],"at":[100],"initial":[102],"stage":[103],"design":[106],"when":[107],"information":[108],"concerning":[109],"requirements":[110],"conditions":[115],"its":[117],"functioning":[118],"limited.":[120]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}