{"id":"https://openalex.org/W1975650187","doi":"https://doi.org/10.4304/jsw.9.4.800-806","title":"Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method","display_name":"Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W1975650187","doi":"https://doi.org/10.4304/jsw.9.4.800-806","mag":"1975650187"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.9.4.800-806","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.4.800-806","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/A5038539339","display_name":"Jiufu Liu","orcid":"https://orcid.org/0000-0002-5463-8611"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiufu Liu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100570421","display_name":"Jianyong Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jianyong Zhou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065058741","display_name":"Chunsheng Liu","orcid":"https://orcid.org/0000-0001-5516-2486"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chunsheng Liu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041522287","display_name":"Zhongliang Yang","orcid":"https://orcid.org/0000-0002-2790-243X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhong Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100757054","display_name":"Zhisheng Wang","orcid":"https://orcid.org/0000-0002-0390-5679"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhisheng Wang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100376960","display_name":"Yifan Zhang","orcid":"https://orcid.org/0000-0003-1289-2192"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yifan Zhang","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.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.11002274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"9","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"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.8978995084762573},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.738618791103363},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5121831893920898},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.47227606177330017},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.4325876832008362},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4033251702785492},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2392261028289795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8978995084762573},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.738618791103363},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5121831893920898},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.47227606177330017},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.4325876832008362},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4033251702785492},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2392261028289795}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.9.4.800-806","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.4.800-806","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":15,"referenced_works":["https://openalex.org/W184965696","https://openalex.org/W1502014168","https://openalex.org/W2011422041","https://openalex.org/W2017561525","https://openalex.org/W2044215459","https://openalex.org/W2065916174","https://openalex.org/W2073863764","https://openalex.org/W2090491800","https://openalex.org/W2125348082","https://openalex.org/W2131538533","https://openalex.org/W2136805860","https://openalex.org/W2185094885","https://openalex.org/W2769657276","https://openalex.org/W4254354208","https://openalex.org/W6661849199"],"related_works":["https://openalex.org/W2387087283","https://openalex.org/W2359043774","https://openalex.org/W2103939680","https://openalex.org/W2101953902","https://openalex.org/W2489425329","https://openalex.org/W2374395319","https://openalex.org/W1553991707","https://openalex.org/W2020544977","https://openalex.org/W1951066104","https://openalex.org/W2368891820"],"abstract_inverted_index":{"B":[0,34,42,71,87,96,104],"is":[1,61,67,89,108,113],"a":[2,70],"formal":[3],"method":[4,43,88],"which":[5],"enables":[6],"the":[7,32,46,53,57,82,93,122,125],"automatic":[8],"generation":[9],"of":[10,38,48,56,84,98,128,131],"an":[11,18],"executable":[12],"code":[13],"through":[14],"successive":[15],"refinements":[16],"from":[17],"abstract":[19,72],"specification.":[20],"Unified":[21],"Modeling":[22],"Language":[23],"(UML)":[24],"specifications":[25,40],"can":[26,44],"be":[27],"formally":[28],"verified":[29],"by":[30],"analyzing":[31],"corresponding":[33],"specification,":[35],"and":[36,41,63,103,110],"integration":[37],"UML":[39,102],"overcomes":[45],"drawbacks":[47],"UML.":[49],"In":[50],"this":[51],"paper":[52],"Class":[54],"diagram":[55],"flight":[58,75,99,106],"control":[59,76,100,107,127],"system":[60],"presented":[62,80,119],"each":[64],"class":[65],"operation":[66],"mapped":[68],"to":[69,91,120],"machine.":[73],"The":[74,86],"software":[77],"behaviors":[78],"are":[79,118],"in":[81],"form":[83],"statecharts":[85,94],"adopted":[90],"translate":[92],"into":[95],"specification":[97],"software.Using":[101],"method,":[105],"refined":[109],"failure":[111],"management":[112],"added.":[114],"Finally":[115],"proof":[116],"obligations":[117],"ensure":[121],"safety":[123],"for":[124],"ertical":[126],"artificial":[129],"navigation":[130],"UAV.":[132]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}