{"id":"https://openalex.org/W1513327484","doi":"https://doi.org/10.1007/978-1-4020-8157-6_60","title":"a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device","display_name":"a Refinement Based Approach to Calculating a Fault-Tolerant Railway Signal Device","publication_year":2008,"publication_date":"2008-04-07","ids":{"openalex":"https://openalex.org/W1513327484","doi":"https://doi.org/10.1007/978-1-4020-8157-6_60","mag":"1513327484"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4020-8157-6_60","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_60","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_60.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_60.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046673754","display_name":"Alistair A. McEwan","orcid":"https://orcid.org/0000-0002-6660-3192"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alistair A. McEwan","raw_affiliation_strings":["Computing Laboratory, University of Kent at Canterbury, UK"],"affiliations":[{"raw_affiliation_string":"Computing Laboratory, University of Kent at Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006626759","display_name":"Jim Woodcock","orcid":"https://orcid.org/0000-0001-7955-2702"},"institutions":[{"id":"https://openalex.org/I20581793","display_name":"University of Kent","ror":"https://ror.org/00xkeyj56","country_code":"GB","type":"education","lineage":["https://openalex.org/I20581793"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. C. P. Woodcock","raw_affiliation_strings":["Computing Laboratory, University of Kent at Canterbury, UK"],"affiliations":[{"raw_affiliation_string":"Computing Laboratory, University of Kent at Canterbury, UK","institution_ids":["https://openalex.org/I20581793"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046673754"],"corresponding_institution_ids":["https://openalex.org/I20581793"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0826691,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"621","last_page":"627"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.679044246673584},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6091343760490417},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.57252436876297},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5638641715049744},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4842759966850281},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42331066727638245},{"id":"https://openalex.org/keywords/byzantine-fault-tolerance","display_name":"Byzantine fault tolerance","score":0.4178037643432617},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3455476760864258},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32892757654190063},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32751578092575073},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3250770568847656},{"id":"https://openalex.org/keywords/seismology","display_name":"Seismology","score":0.1230316162109375},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.10843890905380249},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.1081799566745758},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.06290850043296814}],"concepts":[{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.679044246673584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6091343760490417},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.57252436876297},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5638641715049744},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4842759966850281},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42331066727638245},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.4178037643432617},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3455476760864258},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32892757654190063},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32751578092575073},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3250770568847656},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.1230316162109375},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.10843890905380249},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.1081799566745758},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.06290850043296814}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-1-4020-8157-6_60","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_60","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_60.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-1-4020-8157-6_60","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-1-4020-8157-6_60","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-1-4020-8157-6_60.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.800000011920929,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1513327484.pdf","grobid_xml":"https://content.openalex.org/works/W1513327484.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W765246765","https://openalex.org/W1483063212","https://openalex.org/W1588335385","https://openalex.org/W1591022264","https://openalex.org/W1952997026","https://openalex.org/W2018601806","https://openalex.org/W2103953153","https://openalex.org/W2126924915","https://openalex.org/W2129384397","https://openalex.org/W2611515161","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2886165711","https://openalex.org/W4290996430","https://openalex.org/W1538854713","https://openalex.org/W3119045199","https://openalex.org/W4292223684","https://openalex.org/W2041209185","https://openalex.org/W4235160909","https://openalex.org/W2987468021","https://openalex.org/W1484021165","https://openalex.org/W2145120192"],"abstract_inverted_index":{"In":[0],"this":[1],"extended":[2],"abstract,":[3],"we":[4],"present":[5],"a":[6,9],"technique":[7],"whereby":[8],"new,":[10],"fail-safe":[11],"and":[12,21,55],"fault-tolerant":[13],"architecture":[14,32],"for":[15,30],"an":[16,24],"existing":[17,25],"device":[18],"is":[19,41,57,67],"calculated,":[20],"verified,":[22],"from":[23,34],"abstract":[26],"specification.":[27],"The":[28,39,64],"inspiration":[29],"the":[31,35,51,60],"draws":[33],"Byzantine":[36],"Generals":[37],"problem.":[38],"model":[40,52],"presented":[42],"in":[43],"Hoare\u2019s":[44],"CSP,":[45],"safety":[46],"properties":[47],"are":[48],"proved":[49],"using":[50],"checker":[53],"FDR,":[54],"development":[56],"guided":[58],"by":[59],"laws":[61],"of":[62],"Circus.":[63],"case":[65],"study":[66],"Montigel\u2019s":[68],"Dwarf":[69],"Signal.":[70]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}