{"id":"https://openalex.org/W3211246013","doi":"https://doi.org/10.1109/itsc48978.2021.9565121","title":"Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm","display_name":"Generation of FAO System Test Sequence Based on UPPAAL and Improved Backtracking Algorithm","publication_year":2021,"publication_date":"2021-09-19","ids":{"openalex":"https://openalex.org/W3211246013","doi":"https://doi.org/10.1109/itsc48978.2021.9565121","mag":"3211246013"},"language":"en","primary_location":{"id":"doi:10.1109/itsc48978.2021.9565121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc48978.2021.9565121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Intelligent Transportation Systems Conference (ITSC)","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/A5100680251","display_name":"Rong Wang","orcid":"https://orcid.org/0000-0002-1490-206X"},"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":"Rong Wang","raw_affiliation_strings":["School of electronic and information engineering, Beijing Jiaotong University, Beijing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of electronic and information engineering, Beijing Jiaotong University, Beijing, P.R. China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100377324","display_name":"Junfeng Wang","orcid":"https://orcid.org/0000-0002-5102-0736"},"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":"Junfeng Wang","raw_affiliation_strings":["State Key Lab of Rail Traffic Control&Safety, Beijing Jiaotong University, Beijing, P.R. China","State Key Lab of Rail Traffic Control&#x0026","Safety, Beijing Jiaotong University, Beijing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab of Rail Traffic Control&Safety, Beijing Jiaotong University, Beijing, P.R. China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab of Rail Traffic Control&#x0026","institution_ids":[]},{"raw_affiliation_string":"Safety, Beijing Jiaotong University, Beijing, P.R. 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":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"66","issue":null,"first_page":"1786","last_page":"1791"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9961000084877014,"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/T10142","display_name":"Formal Methods in Verification","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.8324997425079346},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.744846522808075},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5836323499679565},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5367160439491272},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4630574882030487},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.45406267046928406},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4488089084625244},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.43176573514938354},{"id":"https://openalex.org/keywords/depth-first-search","display_name":"Depth-first search","score":0.431036114692688},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.421689510345459},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.33808356523513794},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22242802381515503},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20080170035362244},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.09590843319892883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09250175952911377}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.8324997425079346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.744846522808075},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5836323499679565},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5367160439491272},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4630574882030487},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.45406267046928406},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4488089084625244},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.43176573514938354},{"id":"https://openalex.org/C62692426","wikidata":"https://www.wikidata.org/wiki/Q816319","display_name":"Depth-first search","level":3,"score":0.431036114692688},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.421689510345459},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.33808356523513794},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22242802381515503},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20080170035362244},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09590843319892883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09250175952911377},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/itsc48978.2021.9565121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itsc48978.2021.9565121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE International Intelligent Transportation Systems Conference (ITSC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1475201797","display_name":null,"funder_award_id":"RCS2020ZT007","funder_id":"https://openalex.org/F4320323067","funder_display_name":"State Key Laboratory of Rail Traffic Control and Safety"}],"funders":[{"id":"https://openalex.org/F4320323067","display_name":"State Key Laboratory of Rail Traffic Control and Safety","ror":"https://ror.org/01yj56c84"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2736096953","https://openalex.org/W2805363267","https://openalex.org/W2898294387","https://openalex.org/W2899050551","https://openalex.org/W2911020328","https://openalex.org/W2986666882","https://openalex.org/W6770549122"],"related_works":["https://openalex.org/W1598581090","https://openalex.org/W2058798555","https://openalex.org/W2394027715","https://openalex.org/W4253828685","https://openalex.org/W2367889194","https://openalex.org/W191033469","https://openalex.org/W2122680332","https://openalex.org/W1583052623","https://openalex.org/W2610278629","https://openalex.org/W2120609036"],"abstract_inverted_index":{"Compared":[0],"with":[1,58],"CBTC(Communication":[2],"Based":[3],"Train":[4,19,24,31],"Control":[5],"System)":[6],"software,FAO":[7],"(Fully":[8],"Automatic":[9,18,23],"Operation)":[10],"software":[11,79],"increases":[12],"new":[13,68,100,132],"scenarios,such":[14],"as":[15],"the":[16,41,44,67,76,90,103,119,128,131,136],"FAM(Fully":[17],"Operating":[20,25,32],"Mode),":[21,26,33],"CAM(Creep":[22],"and":[27,39,80,117,144],"RRM(Remote":[28],"Restricted":[29],"Supervised":[30],"therefore,it":[34],"is":[35,138],"important":[36],"to":[37,65],"verify":[38],"test":[40,52,66,114,122],"safety":[42,91],"of":[43,70,75,102,121,130],"control":[45,92],"logic":[46,93],"functions.":[47],"In":[48],"this":[49,110],"paper,":[50],"a":[51],"method":[53,111],"based":[54],"on":[55,99],"UPPAAL":[56],"combined":[57],"improved":[59],"backtracking":[60],"algorithm":[61,143],"has":[62,86],"been":[63,87],"introduced":[64],"scenarios":[69,101,133],"FAO":[71,78],"software.":[72,104],"The":[73,105],"conformance":[74],"real":[77],"its":[81],"time":[82],"automata":[83],"specification":[84],"model":[85],"tested.":[88],"Thus":[89],"functions":[94],"are":[95],"verified,which":[96],"mainly":[97],"focus":[98],"experimental":[106],"results":[107],"show":[108],"that":[109],"can":[112,126],"generate":[113],"sequences":[115],"automatically":[116],"improve":[118],"completeness":[120,137],"sequence":[123],"generation,":[124],"which":[125],"detect":[127],"error":[129],"effectively.":[134],"Moreover/":[135],"higher":[139],"than":[140],"depth-first":[141],"search":[142,146],"width-first":[145],"algorithm.":[147]},"counts_by_year":[],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}