{"id":"https://openalex.org/W4414604590","doi":"https://doi.org/10.1109/qrs65678.2025.00037","title":"Towards Automated and Accurate Understanding of ARINC Standard in Heterogeneous Data Formats","display_name":"Towards Automated and Accurate Understanding of ARINC Standard in Heterogeneous Data Formats","publication_year":2025,"publication_date":"2025-07-16","ids":{"openalex":"https://openalex.org/W4414604590","doi":"https://doi.org/10.1109/qrs65678.2025.00037"},"language":"en","primary_location":{"id":"doi:10.1109/qrs65678.2025.00037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-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/A5104241185","display_name":"Cuifeng Gao","orcid":"https://orcid.org/0000-0003-0672-1485"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cuifeng Gao","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119761511","display_name":"Wenzhang Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I235331625","display_name":"Jiangsu Second Normal University","ror":"https://ror.org/00e6ytg41","country_code":"CN","type":"education","lineage":["https://openalex.org/I235331625"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenzhang Yang","raw_affiliation_strings":["Institute of AI for Industries,Nanjing,Jiangsu,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of AI for Industries,Nanjing,Jiangsu,China","institution_ids":["https://openalex.org/I235331625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025652176","display_name":"Xianchang Luo","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianchang Luo","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083669929","display_name":"Yinxing Xue","orcid":"https://orcid.org/0000-0002-2979-7151"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinxing Xue","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China,Anhui,Hefei,China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28822156,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.45910000801086426,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10876","display_name":"Fault Detection and Control Systems","score":0.45910000801086426,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10317","display_name":"Advanced Database Systems and Queries","score":0.453900009393692,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.45190000534057617,"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/ontology","display_name":"Ontology","score":0.7652999758720398},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6762999892234802},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5701000094413757},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5422999858856201},{"id":"https://openalex.org/keywords/relationship-extraction","display_name":"Relationship extraction","score":0.4794999957084656},{"id":"https://openalex.org/keywords/formal-ontology","display_name":"Formal ontology","score":0.4740999937057495},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.43309998512268066},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4153999984264374},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.3889000117778778}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8223000168800354},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7652999758720398},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6762999892234802},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5701000094413757},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5422999858856201},{"id":"https://openalex.org/C153604712","wikidata":"https://www.wikidata.org/wiki/Q7310755","display_name":"Relationship extraction","level":3,"score":0.4794999957084656},{"id":"https://openalex.org/C2778177438","wikidata":"https://www.wikidata.org/wiki/Q1437388","display_name":"Formal ontology","level":4,"score":0.4740999937057495},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45500001311302185},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4271000027656555},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4153999984264374},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40059998631477356},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.3889000117778778},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.37389999628067017},{"id":"https://openalex.org/C195807954","wikidata":"https://www.wikidata.org/wiki/Q1662562","display_name":"Information extraction","level":2,"score":0.36640000343322754},{"id":"https://openalex.org/C22550185","wikidata":"https://www.wikidata.org/wiki/Q7095047","display_name":"Ontology-based data integration","level":3,"score":0.3544999957084656},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.35030001401901245},{"id":"https://openalex.org/C72634772","wikidata":"https://www.wikidata.org/wiki/Q386824","display_name":"Data integration","level":2,"score":0.3467999994754791},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.34529998898506165},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.3425999879837036},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.33660000562667847},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.328000009059906},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3206000030040741},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3018999993801117},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.28760001063346863},{"id":"https://openalex.org/C2987255567","wikidata":"https://www.wikidata.org/wiki/Q33002955","display_name":"Knowledge graph","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C2776207758","wikidata":"https://www.wikidata.org/wiki/Q5303302","display_name":"Downstream (manufacturing)","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs65678.2025.00037","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3988094133","display_name":"\u57fa\u4e8e\u5dee\u5f02\u6bd4\u8f83\u4ee5\u653b\u51fb\u9762\u4e3a\u5bfc\u5411\u7684\u7070\u76d2\u6a21\u7cca\u6d4b\u8bd5\u7cfb\u7edf\u7814\u7a76","funder_award_id":"61972373","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5954519879","display_name":null,"funder_award_id":"BK20201192","funder_id":"https://openalex.org/F4320334982","funder_display_name":"Basic Research Program of Jiangsu Province"},{"id":"https://openalex.org/G7988716837","display_name":null,"funder_award_id":"202103a05020009","funder_id":"https://openalex.org/F4320326650","funder_display_name":"Anhui Provincial Department of Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326650","display_name":"Anhui Provincial Department of Science and Technology","ror":"https://ror.org/01e70gy59"},{"id":"https://openalex.org/F4320334982","display_name":"Basic Research Program of Jiangsu Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1971486022","https://openalex.org/W1977237988","https://openalex.org/W2001496424","https://openalex.org/W2035231354","https://openalex.org/W2101149626","https://openalex.org/W2106943575","https://openalex.org/W2123442489","https://openalex.org/W2141178378","https://openalex.org/W2250417532","https://openalex.org/W2250539671","https://openalex.org/W2250560707","https://openalex.org/W2261812172","https://openalex.org/W2396950412","https://openalex.org/W2617307387","https://openalex.org/W2618267215","https://openalex.org/W2652625053","https://openalex.org/W2757101400","https://openalex.org/W2761236351","https://openalex.org/W2775712289","https://openalex.org/W2891383691","https://openalex.org/W2901934569","https://openalex.org/W2963691697","https://openalex.org/W2964349647","https://openalex.org/W2970959783","https://openalex.org/W2977668296","https://openalex.org/W2997591266","https://openalex.org/W3162445290","https://openalex.org/W4298447450"],"related_works":[],"abstract_inverted_index":{"Accuracy":[0],"and":[1,48,110,119,133,141,146,180,194],"rigor":[2],"are":[3],"vital":[4],"indicators":[5],"of":[6,117,154,160],"the":[7,12,25,65,100,115,121,127,158,167,176,182],"specification":[8,21,197],"document,":[9],"especially":[10],"for":[11,64,84,99,136,149,196],"ARINC653":[13,118,178],"aviation":[14],"industry":[15],"standard.":[16],"A":[17],"high-quality":[18],"standard":[19,88],"or":[20,93],"should":[22],"clearly":[23],"depict":[24],"system":[26],"behaviors":[27],"yet":[28],"leave":[29],"no":[30],"fatal":[31],"vulnerability.":[32],"Formal":[33],"verification":[34],"could":[35],"definitely":[36],"help":[37],"achieve":[38],"this":[39,104,173],"goal,":[40],"but":[41],"it":[42],"requires":[43],"intensive":[44],"professional":[45],"domain":[46,168],"knowledge":[47,62,70,192],"overwhelming":[49],"manpower.":[50],"Recently,":[51],"fast-growing":[52],"natural":[53],"language":[54],"processing":[55],"(NLP)":[56],"techniques":[57,129],"do":[58],"well":[59],"in":[60,139],"harvesting":[61],"extraction":[63,145,151],"downstream":[66],"tasks.":[67],"However,":[68],"since":[69],"about":[71],"an":[72],"entity":[73,137],"is":[74],"scattered":[75],"over":[76],"heterogeneous":[77],"contents":[78,96],"(plain":[79],"text,":[80],"pseudocode,":[81],"XML,":[82],"etc.)":[83],"almost":[85],"all":[86,95],"such":[87],"documents,":[89],"a":[90,108],"single":[91],"content":[92],"not":[94],"cannot":[97],"account":[98],"entire":[101],"knowledge.":[102],"To":[103],"end,":[105],"we":[106,125],"propose":[107],"novel":[109],"practical":[111],"approach":[112,174,188],"to":[113,175],"construct":[114,191],"Ontology":[116,140,162],"extract":[120],"logical":[122],"guards.":[123],"Technically,":[124],"combine":[126],"NLP":[128],"with":[130],"domainspecific":[131],"naming":[132],"lexical":[134],"rules":[135],"recognition":[138],"then":[142],"apply":[143,172],"information":[144],"relation":[147,150],"formalization":[148],"(in":[152],"terms":[153],"guards).":[155],"We":[156,170],"evaluate":[157,181],"quality":[159],"our":[161,187],"against":[163],"that":[164,186],"induced":[165],"by":[166],"professor.":[169],"further":[171],"historical":[177],"standards":[179],"performance.":[183],"Results":[184],"show":[185],"indeed":[189],"helps":[190],"integration":[193],"aid":[195],"understanding.":[198]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}