{"id":"https://openalex.org/W2807531323","doi":"https://doi.org/10.1155/2018/2406968","title":"Study on Formal Modeling and Safety Verification of Train\u2010to\u2010Train Communication","display_name":"Study on Formal Modeling and Safety Verification of Train\u2010to\u2010Train Communication","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2807531323","doi":"https://doi.org/10.1155/2018/2406968","mag":"2807531323"},"language":"en","primary_location":{"id":"doi:10.1155/2018/2406968","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/2406968","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2018/2406968.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/journals/wcmc/2018/2406968.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100611631","display_name":"Haonan Feng","orcid":"https://orcid.org/0000-0001-7279-9390"},"institutions":[{"id":"https://openalex.org/I4210141966","display_name":"China Academy of Railway Sciences","ror":"https://ror.org/051wv2j09","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210141966"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Haonan Feng","raw_affiliation_strings":["Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing 10081, China","The Center of National Railway Intelligent Transportation System Engineering and Technology, Beijing 10081, China","The Center of National Railway Intelligent Transportation System Engineering and Technology, Beijing 10081","Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing 10081"],"raw_orcid":"https://orcid.org/0000-0001-7279-9390","affiliations":[{"raw_affiliation_string":"Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing 10081, China","institution_ids":["https://openalex.org/I4210141966"]},{"raw_affiliation_string":"The Center of National Railway Intelligent Transportation System Engineering and Technology, Beijing 10081, China","institution_ids":[]},{"raw_affiliation_string":"The Center of National Railway Intelligent Transportation System Engineering and Technology, Beijing 10081","institution_ids":[]},{"raw_affiliation_string":"Signal and Communication Research Institute, China Academy of Railway Sciences, Beijing 10081","institution_ids":["https://openalex.org/I4210141966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100611631"],"corresponding_institution_ids":["https://openalex.org/I4210141966"],"apc_list":{"value":2300,"currency":"USD","value_usd":2300},"apc_paid":{"value":2300,"currency":"USD","value_usd":2300},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06023256,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2018","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9889000058174133,"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.9889000058174133,"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/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9873999953269958,"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/computer-science","display_name":"Computer science","score":0.8552042245864868},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5595314502716064},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.48448655009269714},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4745545983314514},{"id":"https://openalex.org/keywords/communications-system","display_name":"Communications system","score":0.4574413299560547},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4373416602611542},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.43283066153526306},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.42149415612220764},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.3752252161502838},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.21267259120941162},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15330156683921814},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1344166398048401},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08028203248977661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8552042245864868},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5595314502716064},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.48448655009269714},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4745545983314514},{"id":"https://openalex.org/C101765175","wikidata":"https://www.wikidata.org/wiki/Q577764","display_name":"Communications system","level":2,"score":0.4574413299560547},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4373416602611542},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.43283066153526306},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42149415612220764},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.3752252161502838},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.21267259120941162},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15330156683921814},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1344166398048401},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08028203248977661},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2018/2406968","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/2406968","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2018/2406968.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:44c86745ebce48058d6bcbf95be7a185","is_oa":false,"landing_page_url":"https://doaj.org/article/44c86745ebce48058d6bcbf95be7a185","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wireless Communications and Mobile Computing, Vol 2018 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2018/2406968","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2018/2406968","pdf_url":"https://downloads.hindawi.com/journals/wcmc/2018/2406968.pdf","source":{"id":"https://openalex.org/S235346","display_name":"Wireless Communications and Mobile Computing","issn_l":"1530-8669","issn":["1530-8669","1530-8677"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wireless Communications and Mobile Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4273508115","display_name":null,"funder_award_id":"61603026","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6836370457","display_name":null,"funder_award_id":"L171004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8008123959","display_name":null,"funder_award_id":"L171004","funder_id":"https://openalex.org/F4320334977","funder_display_name":"Beijing Municipal Natural Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320328872","display_name":"China Academy of Railway Sciences","ror":"https://ror.org/051wv2j09"},{"id":"https://openalex.org/F4320334977","display_name":"Beijing Municipal Natural Science Foundation","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2807531323.pdf","grobid_xml":"https://content.openalex.org/works/W2807531323.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W567957537","https://openalex.org/W1537476827","https://openalex.org/W1830954042","https://openalex.org/W2018720559","https://openalex.org/W2023908692","https://openalex.org/W2026294803","https://openalex.org/W2036554324","https://openalex.org/W2038656647","https://openalex.org/W2103070089","https://openalex.org/W2146383303","https://openalex.org/W2151885320","https://openalex.org/W2371583873","https://openalex.org/W2593452631"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W2041209185","https://openalex.org/W4235160909","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2196991573","https://openalex.org/W2030935018","https://openalex.org/W1785234853","https://openalex.org/W2356154743","https://openalex.org/W2037121848"],"abstract_inverted_index":{"VBTC":[0],"(vehicle\u2010to\u2010vehicle":[1],"communication":[2,80],"based":[3,62],"train":[4],"control)":[5],"has":[6,20],"gradually":[7],"become":[8],"an":[9,112],"important":[10],"research":[11],"trend":[12],"in":[13,22,78],"the":[14,26,35,64,75,79,124],"field":[15],"of":[16,24,28,30,37,44,51,99],"rail":[17],"transit.":[18],"This":[19],"resulted":[21],"advantages":[23],"decreasing":[25],"number":[27],"pieces":[29],"wayside":[31],"equipment":[32],"and":[33,42,57,92,128],"improving":[34],"efficiency":[36],"real\u2010time":[38],"system":[39,89,103],"communication.":[40],"Characteristics":[41],"mechanism":[43],"train\u2010to\u2010train":[45],"communication,":[46],"as":[47,119,121],"key":[48],"implementation":[49],"technology":[50],"safety":[52,76,93,117],"critical":[53],"system,":[54],"are":[55,95],"given":[56],"discussed.":[58],"A":[59],"new":[60],"method,":[61],"on":[63],"LTS":[65,83],"(labelled":[66,101],"transition":[67,102],"system)":[68],"model":[69,88],"checking,":[70],"is":[71,85,111],"proposed":[72],"for":[73],"verifying":[74],"properties":[77],"procedure.":[81],"The":[82,106],"method":[84,114],"adapted":[86],"to":[87,115,122],"behaviours;":[90],"analysis":[91],"verification":[94],"checked":[96],"by":[97],"means":[98],"LTSA":[100],"analyzer)":[104],"software.":[105],"results":[107],"show":[108],"that":[109],"it":[110],"efficient":[113],"verify":[116],"properties,":[118],"well":[120],"assist":[123],"complex":[125],"system\u2019s":[126],"design":[127],"development.":[129]},"counts_by_year":[],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}