{"id":"https://openalex.org/W2904432636","doi":"https://doi.org/10.1109/iccais.2018.8570615","title":"The Research of Hierarchical Synchronization Mechanism About 2-Vote-2 Safety Computer","display_name":"The Research of Hierarchical Synchronization Mechanism About 2-Vote-2 Safety Computer","publication_year":2018,"publication_date":"2018-10-01","ids":{"openalex":"https://openalex.org/W2904432636","doi":"https://doi.org/10.1109/iccais.2018.8570615","mag":"2904432636"},"language":"en","primary_location":{"id":"doi:10.1109/iccais.2018.8570615","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccais.2018.8570615","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on Control, Automation and Information Sciences (ICCAIS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5101373000","display_name":"Gao Yan","orcid":"https://orcid.org/0000-0002-4250-072X"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Gao","raw_affiliation_strings":["School of Electronic And Information Engineering, Beijing Jiao Tong University, Beijng, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronic And Information Engineering, Beijing Jiao Tong University, Beijng, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101838363","display_name":"Lianchuan Ma","orcid":"https://orcid.org/0000-0003-3563-7960"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lianchuan Ma","raw_affiliation_strings":["National Engineering Research, Beijing JiaoTong University, Beijng, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research, Beijing JiaoTong University, Beijng, China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015347934","display_name":"Yuan Cao","orcid":"https://orcid.org/0000-0001-6631-4908"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Cao","raw_affiliation_strings":["National Engineering Research, Beijing JiaoTong University, Beijng, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Engineering Research, Beijing JiaoTong University, Beijng, China","institution_ids":["https://openalex.org/I21193070"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I21193070"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":null,"first_page":"536","last_page":"541"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9984999895095825,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9970999956130981,"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/computer-science","display_name":"Computer science","score":0.8103194832801819},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6733003258705139},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4973187744617462},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.45898258686065674},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4527303874492645},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4363774061203003},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.40346723794937134},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3952105641365051},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39459845423698425},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16105180978775024},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15604257583618164},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09686833620071411},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.08032464981079102}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8103194832801819},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6733003258705139},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4973187744617462},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.45898258686065674},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4527303874492645},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4363774061203003},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.40346723794937134},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3952105641365051},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39459845423698425},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16105180978775024},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15604257583618164},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09686833620071411},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.08032464981079102},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccais.2018.8570615","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccais.2018.8570615","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on Control, Automation and Information Sciences (ICCAIS)","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":17,"referenced_works":["https://openalex.org/W2052525635","https://openalex.org/W2056343052","https://openalex.org/W2062269506","https://openalex.org/W2101508170","https://openalex.org/W2118069185","https://openalex.org/W2353919463","https://openalex.org/W2522221049","https://openalex.org/W2587449885","https://openalex.org/W2741550463","https://openalex.org/W2756154429","https://openalex.org/W2775480225","https://openalex.org/W2782893942","https://openalex.org/W2783138789","https://openalex.org/W2807874407","https://openalex.org/W2911583164","https://openalex.org/W3142555918","https://openalex.org/W6758238014"],"related_works":["https://openalex.org/W2380573388","https://openalex.org/W2369636957","https://openalex.org/W2029465934","https://openalex.org/W4231087120","https://openalex.org/W2544687545","https://openalex.org/W2375357969","https://openalex.org/W2151535469","https://openalex.org/W1631301428","https://openalex.org/W2371841467","https://openalex.org/W2031096545"],"abstract_inverted_index":{"In":[0],"order":[1],"to":[2,61,118,141,191],"improve":[3],"the":[4,9,13,20,24,35,38,51,55,59,69,74,78,85,88,95,107,120,124,143,155,160,175,180,185,192],"safety":[5,10,21,56,80,90,126],"and":[6,34,40,45,71,94,138,146,158,179],"reliability":[7,41],"of":[8,12,26,54,77,83,87,123,154,194],"computer":[11,22,57,91],"next":[14],"generation":[15],"train":[16],"operation":[17],"control":[18,137,156],"system,":[19,50],"using":[23],"structure":[25,86],"2-vote-2":[27,79,89,125],"is":[28,58,92,98,105,112,166,177],"playing":[29],"an":[30],"increasingly":[31],"important":[32],"role,":[33],"requirements":[36,193],"for":[37],"performance":[39],"are":[42],"getting":[43],"higher":[44],"higher.":[46],"As":[47],"a":[48],"real-time":[49],"synchronization":[52,75,96,103,121,188],"problem":[53],"key":[60],"achieving":[62],"reliability.":[63],"Therefore,":[64],"this":[65],"paper":[66],"focuses":[67],"on":[68,73,129,172],"analysis":[70],"studies":[72],"problems":[76],"computer.":[81,127],"First":[82],"all,":[84],"analyzed":[93],"mechanism":[97,104,189],"designed.":[99],"A":[100],"new":[101],"hierarchical":[102,187],"proposed,":[106],"bidirectional":[108],"timing":[109],"supervision":[110],"monitor":[111],"set":[113],"up":[114],"between":[115],"different":[116],"levels":[117],"achieve":[119,159],"process":[122,142],"Based":[128],"this,":[130],"system":[131],"software":[132],"uses":[133],"task":[134,152,161],"cycle":[135,157],"scheduling":[136],"dual-module":[139],"communication":[140],"input,":[144],"calculation":[145],"output":[147],"tasks,":[148],"synchronize":[149],"in":[150],"each":[151],"point":[153],"synchronization.":[162],"The":[163],"system's":[164],"model":[165,176],"built":[167],"by":[168],"UPPAAL":[169],"which":[170],"based":[171],"timed":[173],"automata,":[174],"verified":[178],"verification":[181],"results":[182],"showed":[183],"that":[184],"designed":[186],"conformed":[190],"design":[195],"specifications.":[196]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}