{"id":"https://openalex.org/W1976411917","doi":"https://doi.org/10.4304/jsw.9.6.1553-1560","title":"Hierarchical Modeling and Verification for High-speed Train Control Center by Time Automation","display_name":"Hierarchical Modeling and Verification for High-speed Train Control Center by Time Automation","publication_year":2014,"publication_date":"2014-05-29","ids":{"openalex":"https://openalex.org/W1976411917","doi":"https://doi.org/10.4304/jsw.9.6.1553-1560","mag":"1976411917"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.9.6.1553-1560","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.6.1553-1560","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-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/A5100390843","display_name":"Lei Yuan","orcid":"https://orcid.org/0000-0002-0694-8631"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lei Yuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023929407","display_name":"Shiying Yang","orcid":"https://orcid.org/0000-0002-5785-5240"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shiying Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061331291","display_name":"Dewang Chen","orcid":"https://orcid.org/0000-0002-8660-9700"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dewang Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5005727198","display_name":"Kaicheng Li","orcid":"https://orcid.org/0000-0001-5500-7523"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kaicheng Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6071,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73195955,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"9","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.9904000163078308,"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"}},"topics":[{"id":"https://openalex.org/T11568","display_name":"Railway Systems and Energy Efficiency","score":0.9904000163078308,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9879000186920166,"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/T12720","display_name":"Multimedia Communication and Technology","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9003465175628662},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.6160079836845398},{"id":"https://openalex.org/keywords/center","display_name":"Center (category theory)","score":0.5507628917694092},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.43423473834991455},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3792409896850586},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11205682158470154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9003465175628662},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.6160079836845398},{"id":"https://openalex.org/C2779463800","wikidata":"https://www.wikidata.org/wiki/Q5062222","display_name":"Center (category theory)","level":2,"score":0.5507628917694092},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.43423473834991455},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3792409896850586},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11205682158470154},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.9.6.1553-1560","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.6.1553-1560","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2036026076","https://openalex.org/W2069462872","https://openalex.org/W2103128566","https://openalex.org/W2107646689","https://openalex.org/W2138625191","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Chinese":[0,13],"Train":[1,17],"Control":[2,18],"System":[3,19],"level":[4],"three":[5],"(CTCS-3)":[6],"is":[7,21,94,106,154],"a":[8,50,74,98,133],"major":[9,75],"technical":[10],"system":[11],"in":[12,24,43,77],"high-speed":[14],"rail":[15],"and":[16,54,128,156],"(TCC)":[20],"indispensable":[22],"component":[23],"the":[25,35,61,66,69,78,86,89,136,141,157,161,165],"CTCS-3.":[26],"Current":[27],"researches":[28],"on":[29,34],"TCC":[30,44,62,79,166],"are":[31,45],"mainly":[32],"based":[33],"simulation,":[36],"which":[37],"cannot":[38],"ensure":[39],"that":[40,150],"all":[41],"conditions":[42],"tested.":[46],"This":[47],"paper":[48],"presents":[49],"hierarchical":[51,99],"modeling":[52,152],"method":[53,153],"uses":[55],"time":[56],"automation":[57],"(TA)":[58],"to":[59,96,108,131,139],"model":[60,112,121,158],"software.":[63,167],"We":[64],"take":[65],"design":[67],"of":[68,88,135,164],"active":[70,90,142],"balise":[71,91,143],"telegram":[72,92,144],"editing,":[73],"part":[76],"software,":[80],"as":[81],"an":[82],"example.":[83],"At":[84],"first,":[85],"process":[87],"editing":[93],"analyzed":[95],"obtain":[97],"diagram":[100],"containing":[101],"several":[102],"layers.":[103],"Then,":[104],"TA":[105,111,137],"employed":[107],"build":[109],"one":[110],"for":[113],"each":[114],"layer.":[115],"Lastly,":[116],"we":[117],"use":[118],"UPPAAL":[119],"(a":[120],"validation":[122],"tool,":[123],"developed":[124],"by":[125],"Uppsala":[126],"University":[127],"Aalborg":[129],"University)":[130],"construct":[132],"network":[134],"models":[138],"verify":[140],"editing.":[145],"The":[146],"verification":[147],"results":[148],"demonstrate":[149],"this":[151],"feasible":[155],"can":[159],"meet":[160],"functional":[162],"requirements":[163]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}